Jean-Yves Girard
Template:Short description Template:Use dmy dates Template:Infobox scientist
Jean-Yves Girard (Template:IPA; born 1947) is a French logician working in proof theory. He is a research director (emeritus) at the mathematical institute of University of Aix-Marseille, at Luminy.
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éductibilité"). He is also credited with the discovery of Girard's paradox, linear logic, the geometry of interaction, ludics, and (satirically) the mustard watch.<ref name=MW>Template:Cite web</ref>
He obtained the CNRS Silver Medal in 1983 and is a member of the French Academy of Sciences.
Bibliography
- Template:Cite book
- Template:Cite book
- Template:Cite book
- Jean-Yves Girard (2011). The Blind Spot: Lectures on Logic<ref>Template:Cite book</ref>
- Template:Cite book
See also
References
External links
- Template:Official website
- Template:MathGenealogy
- Template:DBLP
- Journées Jean-Yves Girard web site of 2007 conference in honour of Girard's 60th birthday
- Living people
- Proof theorists
- French mathematicians
- French logicians
- ENS Fontenay-Saint-Cloud-Lyon alumni
- Members of the French Academy of Sciences
- 1947 births
- French National Centre for Scientific Research scientists
- 20th-century French philosophers
- 21st-century French philosophers
- French male non-fiction writers