Abstract
Preface. Contributing Authors. Introduction. Part 1: Review of Proof Theory. Highlights in Proof Theory S. Feferman. Part 2: The Background of Hilbert's Proof Theory. The Empiricist Roots of Hilbert's Axiomatic Approach L. Corry. The Calm Before the Storm: Hilbert's Early Views on Foundations D. Rowe. Toward Finitist Proof Theory W. Sieg. Part 3: Brouwer and Weyl on Proof Theory and Philosophy of Mathematics. The Development of Brouwer's Intuitionism D. van Dalen. Did Brouwer's Intuitionistic Analysis Satisfy its own Epistemological Standards? M. Epple. The Significance of Weyl's Das Kontinuum S. Feferman. Herman Weyl on the Concept of Continuum E. Scholz. Part 4: Modern Views and Results from Proof Theory. Relationships between Constructive, Predicative and Classical Systems of Analysis S. Feferman. Index.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.