Great Formal Machinery Works - Theories of Deduction Computation At Origins of Digital Age

"Von Plato's book is a lively and provocative history of mathematical logic, centered on the game-changing discoveries of Godel, Turing, and Gentzen. Every mathematician interested in foundations will enjoy this book, and will likely lose some misconceptions as well as gain new insights."--John Stillwell, author of Elements of Mathematics: From Euclid to Godel
"Von Plato covers an immense territory with an impressive amount of novel things to say. He has written a very original book that is a major scholarly contribution to the history of logic."--Paolo Mancosu, author of The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940
"This is a fine book that offers an informed and informative discussion of the development of modern mathematical logic."--Raymond Turner, professor emeritus, University of Essex

About the author

Jan von Plato is professor of philosophy at the University of Helsinki. His books include Elements of Logical Reasoning and Structural Proof Theory.

Summary

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digita

Additional text

"This book presents an informed and informative hisotry of a crucially important part of mathematics. . . . a valuable addition to our corporate understanding."---Rob Ashmore, Mathematics Today

Product details

• Authors: Jan Von Plato, Jan von Plato, Jan (University of Helsinki) Von Plato
• Publisher: Princeton University Press
• Languages: English
• Product format: Hardback
• Released: 02.08.2017
• EAN: 9780691174174
• ISBN: 978-0-691-17417-4
• No. of pages: 392
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > IT, data processing > IT; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; SCIENCE / History, PHILOSOPHY / Logic, COMPUTERS / Computer Science, MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, computer science, History of Science, Philosophy of Mathematics, Mathematical theory of computation, History of mathematics, Mathematical logic, Philosophy: logic