Turing degree of the halting problem
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Turing_degree
|
| gptkbp:alsoKnownAs |
0'
|
| gptkbp:isHigh |
false
|
| gptkbp:isJumpOf |
computable degree (0)
|
| gptkbp:isLow |
false
|
| gptkbp:isMinimalNonzeroDegree |
true
|
| gptkbp:isNotComputable |
true
|
| gptkbp:isTuringDegreeOf |
halting problem
the set K the set of Turing machines that halt |
| gptkbp:isTuringEquivalentTo |
K
halting problem 0' |
| gptkbp:isUpperBoundFor |
computably enumerable degrees
|
| gptkbp:bfsParent |
gptkb:Turing_degrees
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Turing degree of the halting problem
|