Systems of Logic Based on Ordinals
GPTKB entity
Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:author |
gptkb:Alan_Turing
|
| gptkbp:countryOfOrigin |
gptkb:United_Kingdom
|
| gptkbp:hasPart |
analysis of formal systems
discussion of consistency proofs discussion of constructive ordinals |
| https://www.w3.org/2000/01/rdf-schema#label |
Systems of Logic Based on Ordinals
|
| gptkbp:influenced |
computability theory
recursion theory |
| gptkbp:influencedBy |
gptkb:Kurt_Gödel
|
| gptkbp:language |
English
|
| gptkbp:notableFor |
introduction of ordinal logic
work on incompleteness theorems |
| gptkbp:publicationYear |
1939
|
| gptkbp:publishedIn |
gptkb:Proceedings_of_the_London_Mathematical_Society
|
| gptkbp:subject |
gptkb:logic
proof theory ordinal logic |
| gptkbp:bfsParent |
gptkb:Alan_Turing
|
| gptkbp:bfsLayer |
3
|