Jean-Yves Girard
Un article de Wikipédia, l'encyclopédie libre.
Vous avez de 
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, mathématicien et philosophe 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 
et 
, le Système F, la logique linéaire et la ludique. Il a écrit de nombreux livres et articles de vulgarisation, dont des articles dans Pour la Science et Sciences et avenir.
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.
[modifier] Citation
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. »[1]
- « La principale force du tarskisme c'est sa platitude. »
[modifier] Références
- Page personnelle de Jean-Yves Girard
- Conférence sur les fondements des mathématiques de l'université de tous les savoirs.
|
|
