Proof Theory: History and Philosophical Significance - Softcover

Softcover

ISBN 10: 940172797X ISBN 13: 9789401727976

Publisher: Springer, 2014

Synopsis

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.

Edition details

• Publisher: Springer
• Publication date: 2014
• Language: English
• ISBN 10: 940172797X
• ISBN 13: 9789401727976
• Binding: Paperback
• Number of pages: 272
• Editor: Hendricks Vincent F, Pedersen Stig Andur, Jorgensen Klaus Frovin