Alan Turing's Systems of Logic: The Princeton Thesis
On Sale Now! Save 2% on the Alan Turing's Systems of Logic: The Princeton Thesis by Princeton University Press at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. 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
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 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.
|Manufacturer:||Princeton University Press|
|Publisher:||Princeton University Press|
|Studio:||Princeton University Press|
|Item Weight:||1.13 pounds|
|Item Size:||0.5 x 10 x 10 inches|
|Package Weight:||1.1 pounds|
|Package Size:||6.8 x 0.8 x 0.8 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Princeton University Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Brand: Springer
mpn: 60 black & white illustrations, 3 black, ean: 9783540741121, isbn: 3540741127,
Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theorie...
By Morgan Kaufmann
ean: 9780123704979, isbn: 0123704979,
Digital Design and Computer Architecture is designed for courses that combine digital logic design with computer organization/architecture or that teach these subjects as a two-course sequence. Digital Design and Computer Architecture begins with a m...
ean: 9780521670890, isbn: 0521670896,
The second edition of this textbook provides an introductionto formal reasoning that is both relevant to the needs of modern computerscience and rigorous enough for practical application. The presentation is clearand simple. A key feature is the full...
sku: 0070024693:0:1:1, ean: 9780070024694, isbn: 0070024693,
The second edition contains updated and expanded coverage of how to use Simulation Program with Integrated Circuit Emphasis, and SPICE-based programs, to simulate and predict the performance of electronic circuits. Features description of the device ...
By Brand: Course Technology
ean: 9780534373863, isbn: 0534373860,
LOGIC AND STRUCTURED DESIGN is an introduction to the logic of data processing. It is intended for those who plan, but have not yet begun, to study programming, particularly those with little background in mathematics or logic. The author avoids refe...
By Clarendon Press
mpn: bibliography, ean: 9780198149385, isbn: 0198149387,
This is the first study devoted to the classical literary tradition as a whole, together with the apparatus of critical scholarship which was part of that tradition. The work of the ancient critics provides some access to the interpretative conventio...
ean: 9780471657200, isbn: 0471657204,
A hands-on troubleshooting guide for VLSI network designersThe primary goal in VLSI (very large scale integration) powernetwork design is to provide enough power lines across a chip toreduce voltage drops from the power pads to the center of the chip...
ean: 9780123914958, isbn: 0123914957,
Op Amps for Everyone is an indispensable guide and reference for designing circuits that are reliable, have low power consumption, and are as small and low-cost as possible. Operational amplifiers are essential in modern electronics design, and are u...
mpn: biography, ean: 9783642173356, isbn: 3642173357,
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations...
By CreateSpace Independent Publishing Platform
ean: 9781719528405, isbn: 1719528403,
MACHINE LEARNING - PYTHONBuy the Paperback version of this book, and get the Kindle eBook version included for FREE! Do You Want to Become An Expert Of Machine Learning?? Start Getting this Book and Follow My Step by Step Explanations! Click Add To ...