Du bruit au signal (et inversement) - Tag - intuitionnisme

Le développement de la logique intuitionniste

Patrick Peccatte — Thu, 17 Jul 2008 21:21:00 +0200

signalement via Lambda the Ultimate

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

Les fondements des mathématiques

Patrick Peccatte — Sun, 09 Mar 2008 10:34:00 +0100

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.

Brouwer : point fixe et intuitionnisme

Patrick Peccatte — Wed, 27 Feb 2008 09:44:00 +0100

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