Plato, Jan von (Author)
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 digital revolution. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later. Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
...MoreReview John W. Dawson Jr (2018) Review of "The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age". British Journal for the History of Mathematics (pp. 196-197).
Review Lukas M. Verburgt (2018) Review of "The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age". Isis: International Review Devoted to the History of Science and Its Cultural Influences (pp. 655-656).
Book
Jan von Plato;
(2017)
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
(/isis/citation/CBB610005573/)
Book
McKay, Sinclair;
(2010)
The Secret Life of Bletchley Park: The History of the Wartime Codebreaking Centre by the Men and Women Who Were There
(/isis/citation/CBB001212751/)
Article
Cooper, S. Barry;
(2012)
Incomputability after Alan Turing
(/isis/citation/CBB001211736/)
Article
Konstantinos Nikolantonakis;
(2016)
Le contenu mathématique et les structures déductives des trois livres du traité "Les Sphériques" de Théodose de Tripoli
(/isis/citation/CBB188489627/)
Book
Turing, Alan Mathison;
Appel, Andrew W.;
Feferman, Solomon;
(2012)
Alan Turing's Systems of Logic: The Princeton Thesis
(/isis/citation/CBB001213136/)
Book
Giovanni Sommaruga;
Thomas Strahm;
(2016)
Turing’s Revolution: The Impact of His Ideas about Computability
(/isis/citation/CBB732084224/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Article
Franks, Curtis;
(2010)
Cut as Consequence
(/isis/citation/CBB001210978/)
Article
Xing, Ying-rui;
(2011)
Husserl's Early Philosophy of Arithmetic
(/isis/citation/CBB001250699/)
Article
Campos, Daniel G.;
(2007)
Peirce on the Role of Poietic Creation in Mathematical Reasoning
(/isis/citation/CBB001023426/)
Article
Schlimm, Dirk;
(2011)
On the Creative Role of Axiomatics. The Discovery of Lattices by Schröder, Dedekind, Birkhoff, and Others
(/isis/citation/CBB001211472/)
Article
David E. Dunning;
(2021)
The Logician in the Archive: John Venn’s Diagrams and Victorian Historical Thinking
(/isis/citation/CBB413337671/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Article
Luciano, Erika;
(2006)
At the Origins of Functional Analysis: G. Peano and M. Gramegna on Ordinary Differential Equations
(/isis/citation/CBB000770911/)
Article
Dea, Shannon;
(2006)
“Merely a veil over the living thought”: Mathematics and Logic in Peirce's Forgotten Spinoza Review
(/isis/citation/CBB001023424/)
Book
Künne, Wolfgang;
(2010)
Die Philosophische Logik Gottlob Freges: ein Kommentar; mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I--IV
(/isis/citation/CBB001210615/)
Article
Despeaux, Sloan Evans;
(2014)
Questions/ réponses dans les périodiques britanniques des XVIIIe et XIXe siècles: un genre éditorial à la croisée de deux pratiques mathématiques
(/isis/citation/CBB001451430/)
Article
Márcia R. Cerioli;
Hugo Nobrega;
Guilherme Silveira;
Petrucio Viana;
(2022)
On the (In)Dependence of the Peano Axioms for Natural Numbers
(/isis/citation/CBB173126247/)
Book
Elena Anne Corie Marchisotto;
Francisco Rodriguez-Consuegra;
James T. Smith;
(2021)
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
(/isis/citation/CBB763111584/)
Article
Luciano, Erika;
(2018)
I contributi di Giovanni Vacca alla storia della logica matematica fra erudizione e critica storiografica
(/isis/citation/CBB973030261/)
Be the first to comment!