The Great Formal Machinery Works
Theories of Deduction and Computation at the Origins of the Digital Age
Versandkostenfrei!
Nicht lieferbar
"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 Reas...
"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