Jean-Yves Girard - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

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 \Pi_2^1 et \Pi_n^1, 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.

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.
Page générée en 0.055 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise