One Hundred Years of Intuitionism (1907–2007) The Cerisy Conference /
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of th...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Basel :
Birkhäuser Basel,
2008.
|
| Σειρά: | Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives
|
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Brouwer and Brouwerian intuitionism
- Another look at Brouwer’s dissertation
- Brouwerian infinity
- The new intuitionism
- Truth and experience of truth
- The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem
- The intersection of intuitionism (Brouwer) and phenomenology (Husserl)
- Brouwer on ‘hypotheses’ and the middle Wittgenstein
- Brouwer’s notion of intuition and theory of knowledge by presence
- Buddhist models of the mind and the common core thesis on mysticism
- Kindred spirits
- Remarks on the supposed french’ semi-’ or ‘pre-intuitionism’
- Poincaré: intuitionism, intuition, and convention
- Some of Julius König’s mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory
- Gödel, constructivity, impredicativity, and feasibility
- Lorenzen’s operative justification of intuitionistic logic
- Mathematical perspectives
- The Hilbert-Brouwer controversy resolved?
- Proof theory and Martin-Löf Type Theory
- Some remarks on linear logic
- Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology
- A reverse look at Brouwer’s Fan Theorem
- Some applications of Brouwer’s Thesis on Bars
- Concluding remarks at the Cerisy conference
- A bibliography of L.E.J. Brouwer.
