Jean-Yves Girard - Définition
Né à Lyon en 1947, ancien élève de l'École normale d'Instituteurs de Lyon (1962), ancien élève de l'École normale supérieure de Saint-Cloud (1966), Jean-Yves Girard est un logicien et mathématicien contemporain, directeur de recherche au CNRS à l'Institut de mathématiques de Luminy.
Jean-Yves Girard est médaille d'argent du CNRS en 1983, membre de l'Académie des sciences depuis 1994, membre de l'Académie européenne depuis 1995.
On lui doit, entre autres, les dilatateurs dans la théorie des ordinaux, l'étude de la logique
Il est l'auteur du livre Proofs and Types. Il prépare actuellement un cours sur la théorie de la démonstration qui rend compte des avancées dans ce domaine de la logique mathématique. Ses activités de recherches se déroulent au département de Logique de la Programmation à l'Institut de mathématiques de Luminy.
Citations
Parlant de la logique formelle :
- " La question qui se pose est la suivante : est-ce que les mathématiques sont une activité formelle ? Est-ce que les mathématiques sont une activité "bureaucratique" ? Est-ce qu'on aurait pu confier le théorème de Fermat à un groupe d'énarques ? Ils y seraient arrivés en 300 ans ? Bon c'est impossible parce qu'il faut des idées. "(lien)
- " La principale force du tarskisme c'est sa platitude. "
Bibliographie
- Le Point Aveugle
- Tome 1 : Cours de Logique - Vers la Perfection, ed. Hermann collection "Visions des Sciences", 280 pp., Paris, mai 2006. Cours de théorie de la démonstration allant des "bases" à la correspondance de "Curry-howard" puis à la "logique linéaire".
- Tome 2, Vers l'imperfection, en cours de publication chez Hermann.
