Preface
Part I. L. E. J. Brouwer
Brouwer's Intuitionist ProgrammeWalter P. van Stigt:
1: Brouwer, Intuitionist Set Theory
2: Brouwer, Does Every Real Number Have a Decimal Expansion?
3: Brouwer, Proof that Every Full Function is Uniformly
Continuous
4: Brouwer, Intuitionist Reflections on Formalism
5: Brouwer, Mathematics, Science, and Language
6: Brouwer, The Structure of the Continuum
Part II. H. Weyl
Hermann Weyl: Predicativity and an Intuitionistic ExcursionPaolo
Mancosu:
7: Weyl, On the New Foundational Crisis of Mathematics
8: Brouwer, Comments on Weyl 1921
9: Weyl, The Current Epistemological Situation in Mathematics
10: Holder, The Alleged Circulus Vitiosus and the So-Called
Foundational Crisis in Analysis
Part III. P. Bernays and D. Hilbert
Hilbert and Bernays on MathematicsPaolo Mancosu:
11: Bernays, Hilbert's Significance for the Philosophy of
Mathematics
12: Hilbert, The New Grounding of Mathematics: First Report
13: Bernays, On Hilbert's Thoughts Concerning the Grounding of
Arithmetic
14: Bernays, Reply to the Note by Mr. Aloys Muller "On Numbers as
Signs"
15: Hilbert, Problems of the Grounding of Mathematics
16: Bernays, The Philosophy of Mathematics and Hilbert's Proof
Theory
17: Hilbert, The Grounding of Elementary Number Theory
Part IV. Intuitionistic Logic
Intuitionistic LogicPaolo Mancosu and Walter P. van Stigt:
18: Brouwer, Intuitionist Splitting of the Fundamental Notions of
Mathematics (Dutch Version)
19: Brouwer, Intuitionist Splitting of the Fundamental Notions of
Mathematics (German Version)
20: Brouwer, Addendum to "Intuitionist Splitting of the Fundamental
Notions of Mathematics"
21: Borel, Concerning the Recent Discussion between Mr. R. Wavre
and Mr. P. Levy
22: Glivenko, On Some Points of the Logic of Mr. Brouwer
23: Heyting, On Intuitionistic Logic
24: Heyting, The Formal Rules of Intuitionistic Logic
25: Kolmogorov, On the Interpretation of Intuitionistic Logic
Index
Paolo Mancosu is Assistant Professor of Philosophy at the University of California at Berkeley. His main interests are in mathematical logic and philosophy of mathematics. He is the author of Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century (OUP, 1996).
"A first-rate contribution to the field."--Mircea Dumitru, Tulane
University
"This is an extremely useful collection which makes possible a good
course on Intuitionist Logic and Mathematics."--Mary Tiles,
University of Hawaii at Manoa
Ask a Question About this Product More... |