The Great Formal Machinery Works : : Theories of Deduction and Computation at the Origins of the Digital Age / / Jan von Plato.
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 computatio...
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter Princeton University Press Complete eBook-Package 2017 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2017] ©2017 |
| Year of Publication: | 2017 |
| Language: | English |
| Online Access: | |
| Physical Description: | 1 online resource (400 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- Contents
- Preface
- Prologue
- 1. An Ancient Tradition
- 2. The Emergence of Foundational Study
- 3. The Algebraic Tradition of Logic
- 4. Frege's Discovery of Formal Reasoning
- 5. Russell: Adding Quantifiers to Peano's Logic
- 6. The Point of Constructivity
- 7. The Göttingers
- 8. Gödel's Theorem: An End and a Beginning
- 9. The Perfection of Pure Logic
- 10. The Problem of Consistency
- References
- Index