The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
(Hardback)
Publishing Details
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
By (Author) Jan von Plato
Princeton University Press
Princeton University Press
10th October 2017
United States
Classifications
Tertiary Education
Non Fiction
Mathematical logic
Computer science
History of mathematics
Philosophy of mathematics
Philosophy: logic
004.09
Physical Properties
Hardback
392
Width 152mm, Height 235mm
680g
Description
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 digita
Reviews
"An important contribution to the study of the history of mathematics, and any student, educator, or practitioner of mathematics or computer science, would benefit from reading this work."---Mark Causapin, MAA Reviews
"In reading von Platos book the attention of the scholarly reader will be always captured."---L. Bellotti, History and Philosophy of Logic
"This book presents an informed and informative hisotry of a crucially important part of mathematics. . . . a valuable addition to our corporate understanding."---Rob Ashmore, Mathematics Today
Author Bio
Jan von Plato is professor of philosophy at the University of Helsinki. His books include Elements of Logical Reasoning and Structural Proof Theory.
