Alan Turing's Systems of Logic : : The Princeton Thesis / / ed. by Andrew W. Appel.
A facsimile edition of Alan Turing's influential Princeton thesisBetween 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...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Backlist 2000-2013 |
---|---|
MitwirkendeR: | |
HerausgeberIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2022] ©2012 |
Year of Publication: | 2022 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (160 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 08016nam a22018615i 4500 | ||
---|---|---|---|
001 | 9781400843213 | ||
003 | DE-B1597 | ||
005 | 20220629043637.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 220629t20222012nju fo d z eng d | ||
020 | |a 9781400843213 | ||
024 | 7 | |a 10.1515/9781400843213 |2 doi | |
035 | |a (DE-B1597)602101 | ||
035 | |a (OCoLC)1291507367 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a nju |c US-NJ | ||
072 | 7 | |a COM014000 |2 bisacsh | |
082 | 0 | 4 | |a 511.3 |
245 | 0 | 0 | |a Alan Turing's Systems of Logic : |b The Princeton Thesis / |c ed. by Andrew W. Appel. |
264 | 1 | |a Princeton, NJ : |b Princeton University Press, |c [2022] | |
264 | 4 | |c ©2012 | |
300 | |a 1 online resource (160 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
505 | 0 | 0 | |t Frontmatter -- |t Contents -- |t Preface -- |t The Birth of Computer Science at Princeton in the 1930s -- |t Turing's Thesis -- |t Notes on the manuscript -- |t Systems of Logic Based on Ordinals -- |t A remarkable Bibliography -- |t Contributors |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |a A facsimile edition of Alan Turing's influential Princeton thesisBetween 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 mathematical logic. Some of the greatest logicians in the world—including Alonzo Church, Kurt Gödel, 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. This book presents a facsimile of the original typescript of Turing's fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton.A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal—a logical system to formalize mathematical 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 formal 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. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jun 2022) | |
650 | 7 | |a COMPUTERS / Computer Science. |2 bisacsh | |
653 | |a Alan Perlis. | ||
653 | |a Alan Turing. | ||
653 | |a Algorithm. | ||
653 | |a Alonzo Church. | ||
653 | |a Applicable mathematics. | ||
653 | |a Automated theorem proving. | ||
653 | |a Axiomatic system. | ||
653 | |a Boolean algebra. | ||
653 | |a Boolean satisfiability problem. | ||
653 | |a C++. | ||
653 | |a Calculus of constructions. | ||
653 | |a Cantor's diagonal argument. | ||
653 | |a Central limit theorem. | ||
653 | |a Church–Turing thesis. | ||
653 | |a Computability theory. | ||
653 | |a Computability. | ||
653 | |a Computable function. | ||
653 | |a Computable number. | ||
653 | |a Computation. | ||
653 | |a Computer architecture. | ||
653 | |a Computer program. | ||
653 | |a Computer science. | ||
653 | |a Computer scientist. | ||
653 | |a Computer. | ||
653 | |a Computing Machinery and Intelligence. | ||
653 | |a Computing. | ||
653 | |a Coq. | ||
653 | |a Cryptography. | ||
653 | |a Decision problem. | ||
653 | |a Donald Gillies. | ||
653 | |a EDVAC. | ||
653 | |a ENIAC. | ||
653 | |a Enigma machine. | ||
653 | |a Entscheidungsproblem. | ||
653 | |a Formal system. | ||
653 | |a Foundations of mathematics. | ||
653 | |a Georges Gonthier. | ||
653 | |a Gödel's incompleteness theorems. | ||
653 | |a Haskell Curry. | ||
653 | |a Howard Aiken. | ||
653 | |a Instance (computer science). | ||
653 | |a Iteration. | ||
653 | |a J. Barkley Rosser. | ||
653 | |a John Tukey. | ||
653 | |a John von Neumann. | ||
653 | |a Kenneth Appel. | ||
653 | |a Kepler conjecture. | ||
653 | |a Konrad Zuse. | ||
653 | |a Lecture. | ||
653 | |a Lisp (programming language). | ||
653 | |a Logic for Computable Functions. | ||
653 | |a Logic in computer science. | ||
653 | |a Logic. | ||
653 | |a Logical framework. | ||
653 | |a Marvin Minsky. | ||
653 | |a Mathematica. | ||
653 | |a Mathematical analysis. | ||
653 | |a Mathematical logic. | ||
653 | |a Mathematical proof. | ||
653 | |a Mathematician. | ||
653 | |a Mathematics. | ||
653 | |a Model of computation. | ||
653 | |a Monotonic function. | ||
653 | |a Natural number. | ||
653 | |a Notation. | ||
653 | |a Number theory. | ||
653 | |a Numerical analysis. | ||
653 | |a Oswald Veblen. | ||
653 | |a Parameter (computer programming). | ||
653 | |a Peano axioms. | ||
653 | |a Peter Landin. | ||
653 | |a Presburger arithmetic. | ||
653 | |a Probability theory. | ||
653 | |a Processing (programming language). | ||
653 | |a Programming language. | ||
653 | |a Proof assistant. | ||
653 | |a Quantifier (logic). | ||
653 | |a Recursion (computer science). | ||
653 | |a Recursion. | ||
653 | |a Result. | ||
653 | |a Rice's theorem. | ||
653 | |a Riemann zeta function. | ||
653 | |a Satisfiability modulo theories. | ||
653 | |a Scientific notation. | ||
653 | |a Simultaneous equations. | ||
653 | |a Skewes' number. | ||
653 | |a Solomon Feferman. | ||
653 | |a Solomon Lefschetz. | ||
653 | |a Systems of Logic Based on Ordinals. | ||
653 | |a The Unreasonable Effectiveness of Mathematics in the Natural Sciences. | ||
653 | |a Theorem. | ||
653 | |a Theory of computation. | ||
653 | |a Theory. | ||
653 | |a Topology. | ||
653 | |a Traditional mathematics. | ||
653 | |a Turing Award. | ||
653 | |a Turing machine. | ||
653 | |a Turing's proof. | ||
653 | |a Variable (computer science). | ||
653 | |a Variable (mathematics). | ||
700 | 1 | |a Appel, Andrew W., |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Appel, Andrew W., |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
700 | 1 | |a Fefermn, Solomon, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
700 | 1 | |a Turing, Alan, |e contributor. |4 ctb |4 https://id.loc.gov/vocabulary/relators/ctb | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t Princeton University Press eBook-Package Backlist 2000-2013 |z 9783110442502 |
856 | 4 | 0 | |u https://doi.org/10.1515/9781400843213?locatt=mode:legacy |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9781400843213 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9781400843213/original |
912 | |a 978-3-11-044250-2 Princeton University Press eBook-Package Backlist 2000-2013 |c 2000 |d 2013 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_CHCOMSGSEN | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_CHCOMSGSEN | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_PPALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA18STMEE | ||
912 | |a PDA5EBK |