↓ Skip to main content

One hundred years of intuitionism (1907-2007)

Overview of attention for book
Cover of 'One hundred years of intuitionism (1907-2007)'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Another look at Brouwer’s dissertation
  3. Altmetric Badge
    Chapter 2 Brouwerian infinity
  4. Altmetric Badge
    Chapter 3 The new intuitionism
  5. Altmetric Badge
    Chapter 4 Truth and experience of truth
  6. Altmetric Badge
    Chapter 5 The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem
  7. Altmetric Badge
    Chapter 6 The intersection of intuitionism (Brouwer) and phenomenology (Husserl)
  8. Altmetric Badge
    Chapter 7 Brouwer on ‘hypotheses’ and the middle Wittgenstein
  9. Altmetric Badge
    Chapter 8 Brouwer’s notion of intuition and theory of knowledge by presence
  10. Altmetric Badge
    Chapter 9 Buddhist models of the mind and the common core thesis on mysticism
  11. Altmetric Badge
    Chapter 10 Remarks on the supposed french’ semi-’ or ‘pre-intuitionism’
  12. Altmetric Badge
    Chapter 11 Poincaré: intuitionism, intuition, and convention
  13. Altmetric Badge
    Chapter 12 Some of Julius König’s mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory
  14. Altmetric Badge
    Chapter 13 Gödel, constructivity, impredicativity, and feasibility
  15. Altmetric Badge
    Chapter 14 Lorenzen’s operative justification of intuitionistic logic
  16. Altmetric Badge
    Chapter 15 The Hilbert-Brouwer controversy resolved?
  17. Altmetric Badge
    Chapter 16 Proof theory and Martin-Löf Type Theory
  18. Altmetric Badge
    Chapter 17 Some remarks on linear logic
  19. Altmetric Badge
    Chapter 18 Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology
  20. Altmetric Badge
    Chapter 19 A reverse look at Brouwer’s Fan Theorem
  21. Altmetric Badge
    Chapter 20 Some applications of Brouwer’s Thesis on Bars
  22. Altmetric Badge
    Chapter 21 Concluding remarks at the Cerisy conference
  23. Altmetric Badge
    Chapter 22 A bibliography of L.E.J. Brouwer
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
8 X users
facebook
1 Facebook page
wikipedia
2 Wikipedia pages

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
One hundred years of intuitionism (1907-2007)
Published by
Birkhäuser Basel, January 2008
DOI 10.1007/978-3-7643-8653-5
ISBNs
978-3-76-438652-8, 978-3-76-438653-5
Editors

Atten, Mark, Boldini, Pascal, Bourdeau, Michel, Heinzmann, Gerhard

X Demographics

X Demographics

The data shown below were collected from the profiles of 8 X users who shared this research output. Click here to find out more about how the information was compiled.