Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computing machine
|
| gptkbp:alsoKnownAs |
oracle machine
|
| gptkbp:canSolve |
problems unsolvable by Turing machines
|
| gptkbp:describedBy |
gptkb:Turing's_1939_paper_'Systems_of_Logic_Based_on_Ordinals'
|
| gptkbp:generalizes |
Technical Machine
|
| gptkbp:hasComponent |
gptkb:Oracle
|
| https://www.w3.org/2000/01/rdf-schema#label |
o-machine
|
| gptkbp:inventedBy |
gptkb:Alan_Turing
|
| gptkbp:studiedIn |
recursion theory
theoretical computer science |
| gptkbp:usedIn |
gptkb:logic
computability theory |
| gptkbp:bfsParent |
gptkb:oracle_Turing_machine
|
| gptkbp:bfsLayer |
6
|