Atten, Mark

One Hundred Years of Intuitionism (1907–2007)

Atten, Mark - One Hundred Years of Intuitionism (1907–2007), ebook


Ebook, PDF with Adobe DRM
ISBN: 9783764386535
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: SCIENCE / General SCI000000

Publication year
Natural Sciences
Technology, Energy, Traffic

Similar titles