하이퍼 계산
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
Connections
computable function
Entity
PSPACE
Entity
computable number
Entity
Black hole
Concept
Alan Turing
Entity
quantum mechanics
Entity
International Standard Book Number
Entity
natural number
Entity
real number
Entity
Kurt Gödel
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Hermann Weyl
Entity
Turing machine
Entity
Q180686
Entity
physical constant
Entity
inductive reasoning
Entity
JSTOR
Organization
bibcode
Entity
Q118398
Entity