The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital AgePrinceton University Press, 2 d’ag. 2017 - 400 pàgines 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. |
Continguts
1 | |
5 | |
2 The Emergence of Foundational Study | 29 |
3 The Algebraic Tradition of Logic | 81 |
4 Freges Discovery of Formal Reasoning | 94 |
Adding Quantifiers to Peanos Logic | 128 |
6 The Point of Constructivity | 140 |
Altres edicions - Mostra-ho tot
The Great Formal Machinery Works: Theories of Deduction and Computation at ... Jan von Plato Previsualització limitada - 2017 |