сверхтьюринговые вычисления
Sign in to saveAlso known as hypercomputer, super-Turing computation
Hypercomputation or super-Turing computation is a set of hypothetical models of computation that can provide outputs that are not Turing-computable. For example, a machine that could solve the halting problem would be a hypercomputer; so too would one that could correctly evaluate every statement in Peano arithmetic.
Wikidata facts
Show 1 more fact
- Stack Exchange tag
- cstheory.stackexchange.com/tags/hypercomputation
Sources (1)
via Wikidata · CC0
Article · Русский
Сверхтьюринговыми вычислениями (или гипервычислениями (англ. hypercomputation)) называются такие вычисления, которые не могут быть проделаны на машине Тьюринга. Они включают в себя разнообразные гипотетические методы, основанные на , а также некоторые другие типы вычислений — например, . Термин гипервычисления (англ. hypercomputation) был впервые введён и . Возможность физической реализации таких вычислений активно обсуждается.
Abstract from DBpedia / Wikipedia · CC BY-SA