Incomputability

Translation of "incomputability" into Russian

Noun

incomputability

incomputabilities pl

Термин теоретической информатики; свойство не поддаваться вычислению алгоритмом

The incomputability of the halting problem is a cornerstone of theoretical computer science.

Невычислимость проблемы останова является краеугольным камнем теоретической информатики.

Additional translations

Синоним, употребляется в логике и теоретической информатике

Adjective

incomputability

Attributive use: e.g., "an incomputability result"

Additional translations

невычислимостный

Редкое техническое прилагательное; употребляется атрибутивно

Noun

The state or quality of being impossible to compute by any algorithm.

The incomputability of the halting problem is a cornerstone of theoretical computer science.

A problem, function, or phenomenon that cannot be computed.

Researchers investigate various incomputabilities arising in higher-order arithmetic.

Adjective

Relating to or involving incomputability.

The paper presents several incomputability proofs.