Jean-Yves Girard
{{Short description|French logician (born 1947)}}
{{Use dmy dates|date=January 2024}}
{{Infobox scientist
| name = Jean-Yves Girard
| image = Girard.jpg
| image_size =
| caption =
| birth_date = {{birth year and age|1947}}
| birth_place = Lyon, France
| death_date =
| death_place =
| nationality = French
| fields = Logic
| workplaces = CNRS
| alma_mater = École normale supérieure de Saint-Cloud
Paris Diderot University
| doctoral_advisor = {{ill|Jean-Louis Krivine|fr}}
| doctoral_students =
| known_for = Girard's paradox
Coherent space
Geometry of interaction
Linear logic
Ludics
Proof net
System F
Proof of Takeuti's conjecture
| awards = Poncelet Prize (1990)
CNRS Silver Medal (1983)
}}
Jean-Yves Girard ({{IPA|fr|ʒiʁaʁ|lang}}; 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éducibilité"). He is also credited with the discovery of Girard's paradox, linear logic, the geometry of interaction, ludics, and (satirically) the mustard watch.{{cite web
|last=Ringard
|first=Yann-Joachim
|title=Mustard watches: an integrated approach to time and food.
|year=1990
|url=http://girard.perso.math.cnrs.fr/mustard/article.html
|accessdate=27 May 2018
}}
He obtained the CNRS Silver Medal in 1983 and is a member of the French Academy of Sciences.
Bibliography
- {{cite book|title=Le théorème de Gödel|author1=Ernest Nagel|author-link=Ernest Nagel| author2= James R. Newman| author2-link= James R. Newman| author3=Kurt Gödel | author3-link=Kurt Gödel | author4=Jean-Yves Girard|publisher=Éditions du Seuil|year=1989}}
- {{cite book|title=Proofs and Types|url=https://archive.org/details/proofstypes0000gira|url-access=registration|publisher=Cambridge University Press | year=1989| author1=Jean-Yves Girard | author2=P. Taylor | author3=Yves Lafont | author3-link=Yves Lafont }}
- {{cite book|author=Jean-Yves Girard|title=Le Point Aveugle, Cours de Logique|publisher=Hermann|year=2007}}
- Jean-Yves Girard (2011). The Blind Spot: Lectures on Logic{{Cite book |last=Girard |first=Jean-Yves |url=https://www.worldcat.org/oclc/757486610 |title=The blind spot : lectures on logic |date=2011 |publisher=European Mathematical Society |isbn=978-3-03719-088-3 |location=Zürich, Switzerland |oclc=757486610}}
- {{cite book |title=Le fantôme de la transparence |author=Jean-Yves Girard |publisher=Éditions Allia |year=2016}}
See also
References
{{Reflist}}
External links
- {{Official website}}
- {{MathGenealogy}}
- {{DBLP}}
- [http://www-lipn.univ-paris13.fr/jyg60/index-en.php Journées Jean-Yves Girard] web site of 2007 conference in honour of Girard's 60th birthday
{{Authority control}}
{{DEFAULTSORT:Girard, Jean-Yves}}
Category:French mathematicians
Category:ENS Fontenay-Saint-Cloud-Lyon alumni
Category:Members of the French Academy of Sciences
Category:French National Centre for Scientific Research scientists
Category:20th-century French philosophers
Category:21st-century French philosophers
Category:French male non-fiction writers
{{France-mathematician-stub}}