Book ID: CBB573478690

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

unapi

Plato, Jan von (Author)


Princeton University Press


Publication Date: 2017
Physical Details: 400 pp.
Language: English

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.

...More
Reviewed By

Review 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). unapi

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). unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB573478690/

Similar Citations

Article Cooper, S. Barry; (2012)
Incomputability after Alan Turing (/isis/citation/CBB001211736/)

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 David E. Dunning; (2021)
The Logician in the Archive: John Venn’s Diagrams and Victorian Historical Thinking (/isis/citation/CBB413337671/)

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/)

Authors & Contributors
Luciano, Erika
Nobrega, Hugo
Viana, Petrucio
Cerioli, Márcia R.
Silveira, Guilherme
Strahm, Thomas
Concepts
Mathematics
Logic
Computer science
Philosophy of mathematics
Computers and computing
Deduction
Time Periods
20th century, early
19th century
20th century
Ancient
18th century
Places
Italy
Great Britain
England
United States
Germany
Institutions
Princeton University
Cambridge University
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment