28%OFF
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Jan Von Plato
€ 42.99
€ 30.86
FREE Delivery in Ireland
Description for The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Hardback. Num Pages: 392 pages. BIC Classification: PDX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152. .
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 Schroder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder ... Read more
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 Schroder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder ... Read more
Product Details
Publisher
Princeton University Press
Format
Hardback
Publication date
2017
Condition
New
Number of Pages
400
Place of Publication
New Jersey, United States
ISBN
9780691174174
SKU
V9780691174174
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1
About Jan Von Plato
Jan von Plato is professor of philosophy at the University of Helsinki. His books include Elements of Logical Reasoning and Structural Proof Theory.
Reviews for The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
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 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. ... Read more