Agenda
Événements & colloques
Colloque: 1907-2007 : cent ans d'intuitionnisme

Colloque: 1907-2007 : cent ans d'intuitionnisme

Publié le par CCIC (Source : Michaël Morel)

1907-2007 : CENT ANS D'INTUITIONNISME


DIRECTION : Michel BOURDEAU

ARGUMENT :

L’intuitionnisme aura bientôt cent ans et tout donne à penser que le centenaire se porte bien. Il aura pourtant connu une existence mouvementée. Après la première guerre mondiale, le conflit qui oppose Brouwer, son fondateur, à Hilbert passionne la communauté mathématique. Après la victoire brutale du mathématicien allemand, Brouwer s’enferme pendant quinze ans dans le silence; quand il publie à nouveau, après 1947, ses travaux ne touchent plus qu’une petite poignée de savants.
Tout allait changer autour de 1960. Tout d’abord, par le biais du principe de la proposition comme type, la logique intuitionniste allait trouver en informatique des applications extrêmement fécondes. Parallèlement les idées de Brouwer suscitaient un vif intérêt chez les philosophes. Le plus célèbre est Wittgenstein, dont on dit que c’est une conférence prononcée par Brouwer à Vienne en 1928 qui l’a déterminé à renouer avec la philosophie. Plus près de nous, c’est dans l’intuitionnisme que Dummett a puisé une bonne part de son inspiration.


COMMUNICATIONS :

* Mohammad ARDESHIR: L'intuition chez Brouwer et Sührawardi
* Henk BARENDREGT: Brouwer et le mysticisme
* Douglas BRIDGES: Les "Reverse Mathematics" constructives
* Bernd BULDT: Que nous dit le temps dans les mathématiques (intuitionnistes)?
* Thierry COQUAND: Le programme d'Hilbert, suites de choix et algèbre constructive
* Jacques DUBUCS: Vérité et expérience de la vérité
* Jean FICHOT: L'interprétation fonctionnnelle de Gödel: constructivité et calculabilité
* Marcel GUILLAUME: De quelques contributions de mathématiciens du début du XXe siècle au débat sur les fondements
* Mathieu MARION: Wittgenstein et Brouwer sur le sens et la preuve
* Per MARTIN-LÖF: La controverse Hilbert/Brouwer résolue?
* Charles McCARTY: Le nouvel intuitionnisme
* Alain MICHEL: Remarques sur la signification du supposé "semi-intuitionisme" français
* Philippe NABONNAND & Gerhard HEINZMANN: L'intuition chez Poincaré et Brouwer
* Mitsu OKADA: Logique intuitionniste et logique linéaire
* Erik PALMGREN: Intuitionnisme et topologie sans point
* Carl POSY: L'infini brouwerien
* Dag PRAWITZ: Aspects philosophiques du constructivisme
* Giovanni SAMBIN: Deux applications du constructivisme dynamique: le principe de continuité de Brouwer et les suites de choix dans la topologie formelle
* Peter SCHRÖDER HEISTER: La justification opéraice de la logique intuitionniste selon Lorenzen
* Anton SETZER: Théorie de la démonstration et théorie des types de Martin-Löf
* Göran SUNDHOLM & Mark VAN ATTEN: La bonne interprétation de la logique intuitionniste
* Richard TIESZEN: A l'intersection de l'intuitionnisme et de la phénoménologie
* Dirk VAN DALEN: La biographie intellectuelle de Brouwer
* Wim VELDMAN: Quelques applications du théorème de la barre de Brouwer


Avec le soutien de la Beth Foundation d’Amsterdam et de l’Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST, CNRS-Paris1-ENS)