One Hundred Years of Intuitionism (1907–2007)

Part I. Brouwer and Brouwerian intuitionism

1. Another look at Brouwer’s dissertation
Dirk Dalen

2. Brouwerian infinity
Carl Posy

3. The new intuitionism
Charles McCarty

4. Truth and experience of truth
Jacques Dubucs

5. The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem
Göran Sundholm, Mark Atten

6. The intersection of intuitionism (Brouwer) and phenomenology (Husserl)
Richard Tieszen

7. Brouwer on ‘hypotheses’ and the middle Wittgenstein
Mathieu Marion

8. Brouwer’s notion of intuition and theory of knowledge by presence
Mohammad Ardeshir

9. Buddhist models of the mind and the common core thesis on mysticism
Hank Barendregt

Part II. Kindred spirits

10. Remarks on the supposed french’ semi-’ or ‘pre-intuitionism’
Alain Michel

11. Poincaré: intuitionism, intuition, and convention
Gerhard Heinzmann, Philippe Nebonnand

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

13. Gödel, constructivity, impredicativity, and feasibility
Jean Fichot

14. Lorenzen’s operative justification of intuitionistic logic
Peter Schroeder-Heister

Part III. Mathematical perspectives

15. The Hilbert-Brouwer controversy resolved?
Per Martin-Löf

16. Proof theory and Martin-Löf Type Theory
Anton Setzer

17. Some remarks on linear logic
Mitsuhiro Okada

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

19. A reverse look at Brouwer’s Fan Theorem
Douglas Bridges

20. Some applications of Brouwer’s Thesis on Bars
Wim Veldman

21. Concluding remarks at the Cerisy conference
Michael Dummett

22. A bibliography of L.E.J. Brouwer
Dirk Dalen

Nyckelord: SCIENCE / General SCI000000