The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Normaler Preis
$41.00
Sonderpreis
$41.00
Normaler Preis
$41.00
Ausverkauft
Einzelpreis
pro 

Author/Contributor(s): Von Plato, Jan
Publisher: Princeton University Press
Date: 08/02/2017
Binding: Hardcover
Condition: NEW

"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