Turing's 1939 paper 'Systems of Logic Based on Ordinals'
GPTKB entity
Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:author |
gptkb:Alan_Turing
|
| gptkbp:explores |
relative computability
oracle machines extension of formal systems hierarchies of logical systems |
| https://www.w3.org/2000/01/rdf-schema#label |
Turing's 1939 paper 'Systems of Logic Based on Ordinals'
|
| gptkbp:influenced |
gptkb:logic
proof theory recursion theory |
| gptkbp:influencedBy |
gptkb:Kurt_Gödel
|
| gptkbp:language |
English
|
| gptkbp:publicationYear |
1939
|
| gptkbp:publishedIn |
gptkb:Proceedings_of_the_London_Mathematical_Society
|
| gptkbp:subject |
gptkb:logic
computability theory incompleteness theorems ordinal logic |
| gptkbp:bfsParent |
gptkb:o-machine
|
| gptkbp:bfsLayer |
7
|