Jean-Yves Girard

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Jean-Yves Girard
Born 1947 (age 66–67)
Lyon
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, research director (emeritus) at the mathematical institute of Luminy.

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

Biography[edit]

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

He has made a name for himself in the 1970's 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, proved a few years earlier by William W. Tait, Moto-o Takahashi and Dag Prawitz. He introduced for this purpose the notion of reducibility candidate ("candidat de réducibilité"). He is also credited with the invention of linear logic; the geometry of interaction; and ludics.

Bibliography[edit]

External links[edit]