Jean-Yves Girard

Jean-Yves Girard (French: [ʒiʁaʁ]; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of the University of Aix-Marseille, at Luminy.

Jean-Yves Girard
Born1947 (age 72–73)
Lyon, France
NationalityFrench
Alma materÉcole normale supérieure de Saint-Cloud
Paris Diderot University
Scientific career
FieldsLogic
InstitutionsCNRS
Doctoral advisorJean-Louis Krivine

Biography

Jean-Yves Girard is an alumnus of the École normale supérieure de Saint-Cloud.

He made a name for himself in the 1970s with his proof of strong normalization in a system of second-order logic called System F. This result gave a new proof of Takeuti's conjecture, which was proven a few years earlier by William W. Tait, Motō Takahashi and Dag Prawitz. For this purpose, he introduced the notion of "reducibility candidate" ("candidat de réducibilité"). He is also credited with the discovery of Girard's paradox, linear logic, the geometry of interaction, ludics, and the mustard watch.[1]

He obtained the CNRS Silver medal in 1983 and is a member of the French Academy of Sciences.

Bibliography
  • 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). Proofs and 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.
gollark: No, but you can do `return a, b, c`.
gollark: I'm not sure why you would, but I suppose it's possible.
gollark: If by "perfect" you mean "not perfect", yes.
gollark: <@689232518125191253>
gollark: But I'm only hooking _G, not _ENV.

References
  1. Ringard, Yann-Joachim (1990). "Mustard watches: an integrated approach to time and food". Retrieved 27 May 2018.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.