One Hundred Years of Intuitionism
(1907-2007)
sous la direction de Mark van Atten, Pascal Boldini, Michel Bourdeau et Gerhard Heinzmann
Birkhäuser Verlag AG — 2008
Publications des Archives Henri-Poincarré
ISBN 978-3-7643-8652-8
Table des Matières
Préface, par Mark van ATTEN, Pascal BOLDINI, Michel BOURDEAU & Gerhard HEINZMANN
I. Brouwer and Brouwerian intuitionism
Another look at Brouwer's dissertation, par Dirk van DALEN
Brouwerian infinity, par Carl POSY
The new intuitionism, par Charles McCARTY
Truth and experience of truth, par Jacques DUBUCS
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem, par Göran SUNDHOLM & Mark van ATTEN
The intersection of intuitionism (Brouwer) and phenomenology (Husserl), par Richard TIESZEN
Brouwer on 'hypotheses' and the middle Wittgenstein, par Mathieu MARION
Brouwer's notion of intuition and theory of knowledge by presence, par Mohammad ARDESHIR
Buddhist models of the mind and the common core thesis on mysticism, par Henk BARENDREGT
II. Kindred spirits
Remarks on the supposed French 'semi-' or 'pre-intuitionism', par Alain MICHEL
Poincarré: intuitionism, intuition, and convention, par Gerhard HEINZMANN & Philippe NABONNAND
Some of Julius König's mathematical dreams in his New Foudations of Logic, Arithmetic, and Set Theory, par Marcel GUILLAUME
Gödel, constructivity, impredicativity, and feasibility, par Jean FICHOT
Lorenzen's operative justification of intuitionistic logic, par Peter SCHROEDER-HEISTER
III. Mathematical perspectives
The Hilbert-Brouwer controversy resolved?, par Per MARTIN-LÖF
Proof theory and Martin-Löf Type Theory, par Anton SETZER
Some remarks on linear logic, par Mitsuhiro OKADA
Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology, par Giovanni SAMBIN
A reverse look at Brouwer's Fan Theorem, par Douglas BRIDGES
Some applications of Brouwer's Thesis on Bars, par Wim VELDMAN
Concluding remarks at the Cerisy conference, par Michael DUMMETT
A bibliography of L.E.J. Brouwer, par Dirk van DALEN