Description: PrefacePart I. L. E. J. BrouwerBrouwer's Intuitionist Programme1. Brouwer, Intuitionist Set Theory2. Brouwer, Does Every Real Number Have a Decimal Expansion?3. Brouwer, Proof that Every Full Function is Uniformly Continuous4. Brouwer, Intuitionist Reflections on Formalism5. Brouwer, Mathematics, Science, and Language6. Brouwer, The Structure of the ContinuumPart II. H. WeylHermann Weyl: Predicativity and an Intuitionistic Excursion7. Weyl, On the New Foundational Crisis of Mathematics8. Brouwer, Comments on Weyl 19219. Weyl, The Current Epistemological Situation in Mathematics10. Holder, The Alleged Circulus Vitiosus and the So-Called Foundational Crisis in AnalysisPart III. P. Bernays and D. HilbertHilbert and Bernays on Mathematics11. Bernays, Hilbert's Significance for the Philosophy of Mathematics12. Hilbert, The New Grounding of Mathematics: First Report13. Bernays, On Hilbert's Thoughts Concerning the Grounding of Arithmetic14. Bernays, Reply to the Note by Mr. Aloys Muller "On Numbers as Signs"15. Hilbert, Problems of the Grounding of Mathematics16. Bernays, The Philosophy of Mathematics and Hilbert's Proof Theory17. Hilbert, The Grounding of Elementary Number TheoryPart IV. Intuitionistic LogicIntuitionistic Logic18. 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. Levy22. Glivenko, On Some Points of the Logic of Mr. Brouwer23. Heyting, On Intuitionistic Logic24. Heyting, The Formal Rules of Intuitionistic Logic25. Kolmogorov, On the Interpretation of Intuitionistic LogicIndex

Please Wait