Internal Logic Foundations of Mathematics from Kronecker to Hilbert
Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proo...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2002, 2002
|
| Edition: | 1st ed. 2002 |
| Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1. Introduction. Foundations of Mathematics
- 2. From Hilbert to Kronecker
- 3. The Consistency of Arithmetic Revisited
- 4. The Internal Consistency of Arithmetic with Infinite Descent
- 5. From Kronecker to Brouwer
- 6. Hilbert and the Foundations of Physics
- 7. Conclusion. Internal logic: From Kronecker to Hilbert and Beyond
- References
- Name Index