Turing's 1939 paper 'Systems of Logic Based on Ordinals'

URI: https://gptkb.org/entity/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
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
https://www.w3.org/2000/01/rdf-schema#label Turing's 1939 paper 'Systems of Logic Based on Ordinals'