Du bruit au signal (et inversement)

Aller au contenu | Aller au menu | Aller à la recherche

Tag - intuitionnisme

Fil des billets - Fil des commentaires

jeudi 17 juillet 2008

Le développement de la logique intuitionniste

signalement via Lambda the Ultimate

Un récent article de Mark van Atten:
The Development of Intuitionistic Logic


dimanche 9 mars 2008

Les fondements des mathématiques


Conférence de Jean-Yves Girard sur Canal-U
le 17/06/2000
La "crise des fondements" s'ouvre en 1897 avec le paradoxe de Burali-Forti, une contradiction dans la toute jeune théorie des Ensembles. Parmi les solutions proposées, le "Programme de Hilbert " (~ 1925) accorde un rôle privilégié à la non-contradiction formelle. Le théorème d'incomplétude de Gödel (1931), qui réfute le programme de Hilbert, a fait le désespoir de tous ceux qui cherchaient une réponse définitive à leurs angoisses fondationnelles. Il a aussi gêné ceux qui cherchaient plus simplement à comprendre la nature des objets mathématiques. Ce n'est qu'avec le développement de l'informatique qu'ont pu se dégager de nouveaux axes de lecture, en rupture de plus en plus nette avec le réductionnisme Hilbertien.

mercredi 27 février 2008

Brouwer : point fixe et intuitionnisme

Anniversaire
« Le mathématicien néerlandais Luitzen Egbertus Jan Brouwer est né le 27 février 1881.
Il est surtout connu pour son travail en topologie, entre autres le théorème du point fixe qui porte son nom.
Il fut avec Henri Poincaré, Hermann Weyl et Arend Heyting l'un des principaux artisans de la théorie des mathématiques intuitionnistes .../... »

Ce courant est à l'origine des différents courants constructivistes modernes en philosophie des mathématiques.

D'après Blog à Maths