1907-2007: one hundred year of intuitionism

Le Centre Culturel International de Cerisy-La-Salle a accueilli le colloque "1907-2007: cent ans d'intuitionnisme", sous la direction de Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann et Mark Van Atten, du mardi 5 juin au mardi 12 juin. Les invités étaient très prestigieux (Matthieu Marion, Jacques Dubucs, G. Heinzmann...).
Ce colloque sera publié aux éditions Verlag AG.

The workshop "1907-2007: one hundred year of Intuitionnism" took place at the Centre Culturel International de Cerisy-La-Salle, in june 2007, under the direction of Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann and Mark Van Atten.
The papers will be published by Verlag AG.

About intuitionism.

You can have more informations about the workshop and the book by clicking "more".


The workshop
Mercredi 6 juin
Matin:
Dirk VAN DALEN: La biographie intellectuelle de Brouwer
Henk BARENDREGT: Brouwer et le mysticisme

Après-midi:
Alain MICHEL: Remarques sur la signification du supposé "semi-intuitionisme" français
Carl POSY: L'infini brouwerien


Jeudi 7 juin
Matin:
Conférence E. W. BETH
Per MARTIN-LÖF: La controverse Hilbert/Brouwer résolue?

Après-midi:
Philippe NABONNAND & Gerhard HEINZMANN: L'intuition chez Poincaré et Brouwer
Marcel GUILLAUME: De quelques contributions de mathématiciens du début du XXe siècle au débat sur les fondements


Vendredi 8 juin
Matin:
Richard TIESZEN: A l'intersection de l'intuitionnisme et de la phénoménologie
Bernd BULDT: Que nous dit le temps dans les mathématiques (intuitionnistes)?

Après-midi:
Mathieu MARION: Wittgenstein et Brouwer sur le sens et la preuve
Jacques DUBUCS: Vérité et expérience de la vérité


Samedi 9 juin
JOURNÉE DE REPOS


Dimanche 10 juin
Matin:
Jean FICHOT: L'interprétation fonctionnnelle de Gödel: constructivité et calculabilité
Douglas BRIDGES: Les "Reverse Mathematics" constructives

Après-midi:
Giovanni SAMBIN: Deux applications du constructivisme dynamique: le principe de continuité de Brouwer et les suites de choix dans la topologie formelle
Mitsu OKADA: Logique intuitionniste et logique linéaire


Lundi 11 juin
Matin:
Peter SCHRÖDER HEISTER: La justification opérative de la logique intuitionniste selon Lorenzen
Anton SETZER: Théorie de la démonstration et théorie des types de Martin-Löf

Après-midi:
Mohammad ARDESHIR: L'intuition chez Brouwer et Sührawardi
Charles McCARTY: Le nouvel intuitionnisme


Mardi 12 juin
Matin:
Göran SUNDHOLM & Mark VAN ATTEN: La bonne interprétation de la logique intuitionniste
Wim VELDMAN: Quelques applications du théorème de la barre de Brouwer



The Book

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