Lundi 19 Mai 2025 de 18h à 20h en Salle W du DMA à l'ENS

Jean-Louis Krivine (IRIF)

La correspondance preuves-programmes : une découverte capitale et ignorée

La correspondance "preuves-programmes",
dite aussi "de Curry-Howard",
découverte il y a plus de 60 ans,
est restée tout à fait inconnue
dans les milieux scientifique et philosophique,
sauf chez quelques rares logiciens et informaticiens.

Elle a pourtant des conséquences fort intéressantes dans des domaines comme :

la nature des mathématiques ;

les paradoxes de la physique ;

le fonctionnement du cerveau des animaux évolués
(l'homme en particulier).