Proof Theory History and Philosophical Significance
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining...
Other Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht
Springer Netherlands
2000, 2000
|
Edition: | 1st ed. 2000 |
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. Review of Proof Theory
- Highlights in Proof Theory
- 2. The Background of Hilbert’s Proof Theory
- The Empiricist Roots of Hilbert’s Axiomatic Approach
- The Calm Before the Storm: Hilbert’s Early Views on Foundations
- Toward Finitist Proof Theory
- 3. Brouwer and Weyl on Proof Theory and Philosophy of Mathematics
- The Development of Brouwer’s Intuitionism
- Did Brouwer’s Intuitionistic Analysis Satisfy its own Epistemological Standards?
- The Significance of Weyl’s Das Kontinuum
- Herman Weyl on the Concept of Continuum
- 4. Modern Views and Results from Proof Theory
- Relationships between Constructive, Predicative and Classical Systems of Analysis