Jean-Yves Girard

Jean-Yves Girard

1947 (age 6869)


Nationality French
Fields Mathematics
Institutions CNRS
Alma mater École normale supérieure de Saint-Cloud
Paris Diderot University
Doctoral advisor Jean-Louis Krivine
Doctoral students George Koletsos
Yves Lafont
Laurent Regnier

Jean-Yves Girard (born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of Luminy.

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


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, Moto-o 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 linear logic; the geometry of interaction; ludics; and the mustard watch.[1]



  1. Ringard, Yann-Joachim (1990). "Mustard watches: an integrated approach to time and food.". Retrieved 16 December 2014.

External links

This article is issued from Wikipedia - version of the 9/12/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.