Jean-Yves Girard - Jean-Yves Girard

Jean-Yves Girard
Née 1947 (72 à 73 ans)
Lyon , France
Nationalité français
mère nourricière École normale supérieure de Saint-Cloud
Université Paris Diderot
Carrière scientifique
Des champs Logique
Les institutions CNRS
Conseiller doctoral Jean-Louis Krivine  [ fr ]

Jean-Yves Girard ( français:  [ʒiʁaʁ] ; né en 1947) est un logicien français travaillant dans la théorie de la preuve . Il est directeur de recherche ( émérite ) à l'Institut de mathématiques de l' Université d'Aix-Marseille , à Luminy .

Biographie

Jean-Yves Girard est un ancien élève de l' École normale supérieure de Saint-Cloud .

Il a fait un nom pour lui - même dans les années 1970 avec sa preuve de normalisation forte dans un système de logique de second ordre appelé système F . Ce résultat a donné une nouvelle preuve de la conjecture de Takeuti , qui a été prouvée quelques années plus tôt par William W. Tait , Motō Takahashi et Dag Prawitz . A cet effet, il a introduit la notion de «candidat de réducibilité». On lui attribue également la découverte du paradoxe de Girard , de la logique linéaire , de la géométrie de l'interaction , de la ludique et de la montre moutarde.

Il a obtenu la médaille d'argent du CNRS en 1983 et est membre de l' Académie française des sciences .

Bibliographie

  • Ernest Nagel ; James R. Newman ; Kurt Gödel ; Jean-Yves Girard (1989). Le théorème de Gödel . Éditions du Seuil.
  • Jean-Yves Girard; P. Taylor; Yves Lafont (1989). Preuves et types . Cambridge University Press .
  • Jean-Yves Girard (2007). Le Point Aveugle, Cours de Logique . Hermann.
  • Jean-Yves Girard (2016). Le fantôme de la transparence . Éditions Allia.

Références

Liens externes