Matches in SemOpenAlex for { <https://semopenalex.org/work/W628243924> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W628243924 abstract "Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study Some of the greatest logicians in the world--including Alonzo Church, Kurt Gdel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. Though less well known than his other work, Turing's 1938 Princeton PhD thesis, Systems of Logic Based on Ordinals, which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This book presents a facsimile of the original typescript of the thesis along with essays by Andrew Appel and Solomon Feferman that explain its still-unfolding significance. A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal--a logical system to formalize proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that mathematical reasoning can be done, and should be done, in mechanizable logic. Turing's vision of constructive systems of logic for practical use has become reality: in the twenty-first century, automated formal methods are now routine. Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science." @default.
- W628243924 created "2016-06-24" @default.
- W628243924 creator A5004766305 @default.
- W628243924 date "2012-05-27" @default.
- W628243924 modified "2023-09-23" @default.
- W628243924 title "Alan Turing's Systems of Logic: The Princeton Thesis" @default.
- W628243924 hasPublicationYear "2012" @default.
- W628243924 type Work @default.
- W628243924 sameAs 628243924 @default.
- W628243924 citedByCount "4" @default.
- W628243924 countsByYear W6282439242016 @default.
- W628243924 countsByYear W6282439242018 @default.
- W628243924 crossrefType "book" @default.
- W628243924 hasAuthorship W628243924A5004766305 @default.
- W628243924 hasConcept C108710211 @default.
- W628243924 hasConcept C111472728 @default.
- W628243924 hasConcept C131671149 @default.
- W628243924 hasConcept C138885662 @default.
- W628243924 hasConcept C15190523 @default.
- W628243924 hasConcept C154945302 @default.
- W628243924 hasConcept C167729594 @default.
- W628243924 hasConcept C179061269 @default.
- W628243924 hasConcept C199360897 @default.
- W628243924 hasConcept C21176728 @default.
- W628243924 hasConcept C2524010 @default.
- W628243924 hasConcept C2778701210 @default.
- W628243924 hasConcept C29248071 @default.
- W628243924 hasConcept C31402856 @default.
- W628243924 hasConcept C33923547 @default.
- W628243924 hasConcept C41008148 @default.
- W628243924 hasConcept C45374587 @default.
- W628243924 hasConcept C80469333 @default.
- W628243924 hasConcept C98045186 @default.
- W628243924 hasConcept C9870796 @default.
- W628243924 hasConceptScore W628243924C108710211 @default.
- W628243924 hasConceptScore W628243924C111472728 @default.
- W628243924 hasConceptScore W628243924C131671149 @default.
- W628243924 hasConceptScore W628243924C138885662 @default.
- W628243924 hasConceptScore W628243924C15190523 @default.
- W628243924 hasConceptScore W628243924C154945302 @default.
- W628243924 hasConceptScore W628243924C167729594 @default.
- W628243924 hasConceptScore W628243924C179061269 @default.
- W628243924 hasConceptScore W628243924C199360897 @default.
- W628243924 hasConceptScore W628243924C21176728 @default.
- W628243924 hasConceptScore W628243924C2524010 @default.
- W628243924 hasConceptScore W628243924C2778701210 @default.
- W628243924 hasConceptScore W628243924C29248071 @default.
- W628243924 hasConceptScore W628243924C31402856 @default.
- W628243924 hasConceptScore W628243924C33923547 @default.
- W628243924 hasConceptScore W628243924C41008148 @default.
- W628243924 hasConceptScore W628243924C45374587 @default.
- W628243924 hasConceptScore W628243924C80469333 @default.
- W628243924 hasConceptScore W628243924C98045186 @default.
- W628243924 hasConceptScore W628243924C9870796 @default.
- W628243924 hasLocation W6282439241 @default.
- W628243924 hasOpenAccess W628243924 @default.
- W628243924 hasPrimaryLocation W6282439241 @default.
- W628243924 hasRelatedWork W105839149 @default.
- W628243924 hasRelatedWork W1452466506 @default.
- W628243924 hasRelatedWork W1506780401 @default.
- W628243924 hasRelatedWork W2041833446 @default.
- W628243924 hasRelatedWork W2052264251 @default.
- W628243924 hasRelatedWork W2287471198 @default.
- W628243924 hasRelatedWork W2410696879 @default.
- W628243924 hasRelatedWork W2414907226 @default.
- W628243924 hasRelatedWork W2501822528 @default.
- W628243924 hasRelatedWork W2530822437 @default.
- W628243924 hasRelatedWork W2554529868 @default.
- W628243924 hasRelatedWork W2563708259 @default.
- W628243924 hasRelatedWork W2605370246 @default.
- W628243924 hasRelatedWork W2741845266 @default.
- W628243924 hasRelatedWork W3133158608 @default.
- W628243924 hasRelatedWork W434931221 @default.
- W628243924 hasRelatedWork W595947030 @default.
- W628243924 hasRelatedWork W61515587 @default.
- W628243924 hasRelatedWork W66857009 @default.
- W628243924 hasRelatedWork W2337047092 @default.
- W628243924 isParatext "false" @default.
- W628243924 isRetracted "false" @default.
- W628243924 magId "628243924" @default.
- W628243924 workType "book" @default.