Nationality French Fields Mathematics Name Jean-Yves Girard | Institutions CNRS | |
 | ||
Alma mater Ecole normale superieure de Saint-CloudParis Diderot University Doctoral students George KoletsosYves LafontLaurent Regnier Books Proofs and types, The Blind Spot: Lectures on Logic Education Paris Diderot University, Ecole normale superieure de lettres et sciences humaines | ||
Doctoral advisor Jean-Louis Krivine Academic advisor Jean-Louis Krivine | ||
8 lectures jean yves girard 1 3 qu est ce qu une r ponse l analytique
Jean-Yves Girard ([ʒiʁaʁ]; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of Luminy.
Contents
- 8 lectures jean yves girard 1 3 qu est ce qu une r ponse l analytique
- Jean yves girard des re gles de la logique a la logique des re gles
- Biography
- References
Jean yves girard des re gles de la logique a la logique des re gles
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, 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 Girard's paradox, linear logic; the geometry of interaction; ludics; and the mustard watch.
He obtained the CNRS Silver medal in 1983 and is a member of the French Academy of Sciences.