|
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Hardback
Main Details
| Title |
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
|
| Authors and Contributors |
By (author) Jan von Plato
|
| Physical Properties |
| Format:Hardback | | Pages:400 | | Dimensions(mm): Height 235,Width 152 |
|
| Category/Genre | Philosophy - logic
History of science
Computer science
Mathematical theory of computation |
|---|
| ISBN/Barcode |
9780691174174
|
| Classifications | Dewey:004.09 |
|---|
| Audience | | Postgraduate, Research & Scholarly | | Undergraduate | |
|---|
|
Publishing Details |
| Publisher |
Princeton University Press
|
| Imprint |
Princeton University Press
|
| Publication Date |
2 August 2017 |
| Publication Country |
United States
|
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
Author Biography
Jan von Plato is professor of philosophy at the University of Helsinki. His books include Elements of Logical Reasoning and Structural Proof Theory.
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 Plato's 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
|
