Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Vincent Hendricks, Stig A. Pedersen, Klaus F. Jørgensen (Eds.): Proof Theory – History and Philosophical Significance

Vincent Hendricks, Stig A. Pedersen, Klaus F. Jørgensen (Eds.): Proof Theory – History and... Vincent Hendricks, Stig A. Pedersen, Klaus F. Jørgensen (Eds.): Proof Theory – History and Philosophical Significance (Synthese Library 292) Dordrecht: Kluwer Academic Publishers 2000 The book under review contains a collection of papers presented at a conference under the same title held at the University of Roskilde in 1997. It comprises 9 papers in 4 sections and an introduction by the editors: 0. Hendricks, Pedersen and Jørgensen: Introduction, 7 pages Part 1. Review of Proof Theory 1. Solomon Feferman: Highlights in Proof Theory, 20 pages Part 2. The Background of Hilbert’s Proof Theory 2. Leo Corry: The Empiricist Roots of Hilbert’s Axiomatic Approach, 19 pages 3. David Rowe: The Calm Before the Storm: Hilbert’s Early Views on Foundations, 38 pages 4. Wilfried Sieg: Toward Finitist Proof Theory, 19 pages Part 3. Brouwer and Weyl on Proof Theory and Philosophy of Mathematics 5. Dirk van Dalen: The Development of Brouwer’s Intuitionism, 35 pages 6. Moritz Epple: Did Brouwer’s Intuitionistic Analysis Satisfy its own Epis- temological Standards? 25 pages 7. Solomon Feferman: The Significance of Weyl’s Das Kontinuum, 15 pages 8. Erhard Scholz: Herman[sic!] Weyl on the Concept of Continuum, 22 pages Part 4. Modern Views and Results From Proof Theory http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png History of Philosophy and Logical Analysis Brill

Vincent Hendricks, Stig A. Pedersen, Klaus F. Jørgensen (Eds.): Proof Theory – History and Philosophical Significance

History of Philosophy and Logical Analysis , Volume 6 (1): 10 – Apr 5, 2003

Loading next page...
 
/lp/brill/vincent-hendricks-stig-a-pedersen-klaus-f-j-rgensen-eds-proof-theory-MzG4Eys08Q
Publisher
Brill
Copyright
Copyright © Koninklijke Brill NV, Leiden, The Netherlands
ISSN
2666-4283
eISSN
2666-4275
DOI
10.30965/26664275-00601014
Publisher site
See Article on Publisher Site

Abstract

Vincent Hendricks, Stig A. Pedersen, Klaus F. Jørgensen (Eds.): Proof Theory – History and Philosophical Significance (Synthese Library 292) Dordrecht: Kluwer Academic Publishers 2000 The book under review contains a collection of papers presented at a conference under the same title held at the University of Roskilde in 1997. It comprises 9 papers in 4 sections and an introduction by the editors: 0. Hendricks, Pedersen and Jørgensen: Introduction, 7 pages Part 1. Review of Proof Theory 1. Solomon Feferman: Highlights in Proof Theory, 20 pages Part 2. The Background of Hilbert’s Proof Theory 2. Leo Corry: The Empiricist Roots of Hilbert’s Axiomatic Approach, 19 pages 3. David Rowe: The Calm Before the Storm: Hilbert’s Early Views on Foundations, 38 pages 4. Wilfried Sieg: Toward Finitist Proof Theory, 19 pages Part 3. Brouwer and Weyl on Proof Theory and Philosophy of Mathematics 5. Dirk van Dalen: The Development of Brouwer’s Intuitionism, 35 pages 6. Moritz Epple: Did Brouwer’s Intuitionistic Analysis Satisfy its own Epis- temological Standards? 25 pages 7. Solomon Feferman: The Significance of Weyl’s Das Kontinuum, 15 pages 8. Erhard Scholz: Herman[sic!] Weyl on the Concept of Continuum, 22 pages Part 4. Modern Views and Results From Proof Theory

Journal

History of Philosophy and Logical AnalysisBrill

Published: Apr 5, 2003

There are no references for this article.