About: Systems of Logic Based on Ordinals

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Doctoral thesis written by Alan Turing

Property	Value
dbo:description	artículu científicu (ast) wetenschappelijk artikel (nl) doctoral thesis written by Alan Turing (en) tesi doctoral d'Alan Turing (ca) مقالة بحثية (ar) докторська дисертація Алана Тюрінга (uk)
dbo:wikiPageExternalLink	https://web.archive.org/web/20121023103503/https:/webspace.princeton.edu/users/jedwards/Turing%20Centennial%202012/Mudd%20Archive%20files/12285_AC100_Turing_1938.pdf https://rauterberg.employee.id.tue.nl/lecturenotes/DDM110%20CAS/Turing/Turing-1939%20Sysyems%20of%20logic%20based%20on%20ordinals.pdf http://math.stanford.edu/~feferman/papers/turingnotices.pdf http://www.princeton.edu/turing/alan/dissertation/ https://www.dcc.fc.up.pt/~acm/turing-phd.pdf
dbo:wikiPageWikiLink	dbr:Oracle_machine dbc:History_of_logic dbr:Georg_Cantor dbr:Gödel's_incompleteness_theorems dbc:Ordinal_numbers dbr:Ordinal_number dbr:Transfinite_induction dbr:Alan_Turing dbc:Alan_Turing dbr:Martin_Davis_(mathematician) dbr:Theoretical_computer_science dbr:Kurt_Gödel dbr:Alonzo_Church dbc:Systems_of_formal_logic dbc:Mathematics_papers dbr:Mathematician dbr:Ordinal_logic dbr:Polynomial_time_hierarchy
dbp:wikiPageUsesTemplate	dbt:Cite_web dbt:Reflist dbt:Cite_journal dbt:Citation dbt:ProQuest dbt:Alan_Turing dbt:Mathlogic-stub dbt:Mathematics-lit-stub dbt:Short_description
dct:subject	dbc:History_of_logic dbc:Ordinal_numbers dbc:Alan_Turing dbc:Systems_of_formal_logic dbc:Mathematics_papers
gold:hypernym	dbr:Dissertation
rdfs:label	Systems of Logic Based on Ordinals (en)
owl:sameAs	freebase:Systems of Logic Based on Ordinals yago-res:Systems of Logic Based on Ordinals wikidata:Systems of Logic Based on Ordinals dbpedia-global:Systems of Logic Based on Ordinals
prov:wasDerivedFrom	wikipedia-en:Systems_of_Logic_Based_on_Ordinals?oldid=1296216775&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Systems_of_Logic_Based_on_Ordinals
is dbo:wikiPageWikiLink of	dbr:1938_in_science dbr:1938_in_philosophy dbr:Church–Turing_thesis dbr:Index_of_logic_articles dbr:Alan_Turing dbr:List_of_important_publications_in_mathematics dbr:List_of_mathematical_logic_topics dbr:Ordinal_logic dbr:Turing_machine dbr:Hypercomputation dbr:Jane_Eliza_Procter_Fellowship
is foaf:primaryTopic of	wikipedia-en:Systems_of_Logic_Based_on_Ordinals