One Hundred Years of Intuitionism (1907–2007)

The Cerisy Conference

ISBN: 978-3-7643-8652-8 (Print) 978-3-7643-8653-5 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XIII

  2. Brouwer and Brouwerian intuitionism

    1. Front Matter

      Pages 1-1

    2. Chapter

      Pages 3-20

      Another look at Brouwer’s dissertation

    3. Chapter

      Pages 21-36

      Brouwerian infinity

    4. Chapter

      Pages 37-49

      The new intuitionism

    5. Chapter

      Pages 50-59

      Truth and experience of truth

    6. Chapter

      Pages 60-77

      The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem

    7. Chapter

      Pages 78-95

      The intersection of intuitionism (Brouwer) and phenomenology (Husserl)

    8. Chapter

      Pages 96-114

      Brouwer on ‘hypotheses’ and the middle Wittgenstein

    9. Chapter

      Pages 115-130

      Brouwer’s notion of intuition and theory of knowledge by presence

    10. Chapter

      Pages 131-145

      Buddhist models of the mind and the common core thesis on mysticism

  3. Kindred spirits

    1. Front Matter

      Pages 147-147

    2. Chapter

      Pages 149-162

      Remarks on the supposed french’ semi-’ or ‘pre-intuitionism’

    3. Chapter

      Pages 163-177

      Poincaré: intuitionism, intuition, and convention

    4. Chapter

      Pages 178-197

      Some of Julius König’s mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory

    5. Chapter

      Pages 198-213

      Gödel, constructivity, impredicativity, and feasibility

    6. Chapter

      Pages 214-240

      Lorenzen’s operative justification of intuitionistic logic

  4. Mathematical perspectives

    1. Front Matter

      Pages 241-241

    2. Chapter

      Pages 243-256

      The Hilbert-Brouwer controversy resolved?

    3. Chapter

      Pages 257-279

      Proof theory and Martin-Löf Type Theory

    4. Chapter

      Pages 280-300

      Some remarks on linear logic

    5. Chapter

      Pages 301-315

      Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology

    6. Chapter

      Pages 316-325

      A reverse look at Brouwer’s Fan Theorem

    7. Chapter

      Pages 326-340

      Some applications of Brouwer’s Thesis on Bars

previous Page of 2