One Hundred Years of Intuitionism (1907-2007)

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