Jean-Yves Girard
Jean-Yves Girard | |
---|---|
Born | 1947 (age 76–77) Lyon, France |
Nationality | French |
Alma mater | École normale supérieure de Saint-Cloud Paris Diderot University |
Known for | Girard's paradox Coherent space Geometry of interaction Linear logic Ludics Proof net System F |
Awards | Poncelet Prize (1990) CNRS Silver Medal (1983) |
Scientific career | |
Fields | Logic |
Institutions | CNRS |
Doctoral advisor | Jean-Louis Krivine |
Jean-Yves Girard (French: [ʒiʁaʁ]; 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.[1]
He obtained the CNRS Silver Medal in 1983 and is a member of the French Academy of Sciences.
Bibliography
- Ernest Nagel; James R. Newman; Kurt Gödel; Jean-Yves Girard (1989). Le théorème de Gödel. Éditions du Seuil.
- Jean-Yves Girard; P. Taylor; Yves Lafont (1989). Proofs and Types. Cambridge University Press.
- Jean-Yves Girard (2007). Le Point Aveugle, Cours de Logique. Hermann.
- Jean-Yves Girard (2011). The Blind Spot: Lectures on Logic[2]
- Jean-Yves Girard (2016). Le fantôme de la transparence. Éditions Allia.
See also
References
- ^ Ringard, Yann-Joachim (1990). "Mustard watches: an integrated approach to time and food". Retrieved 27 May 2018.
- ^ Girard, Jean-Yves (2011). The blind spot : lectures on logic. Zürich, Switzerland: European Mathematical Society. ISBN 978-3-03719-088-3. OCLC 757486610.
External links
- Official website
- Jean-Yves Girard at the Mathematics Genealogy Project
- Jean-Yves Girard at DBLP Bibliography Server
- Journées Jean-Yves Girard web site of 2007 conference in honour of Girard's 60th birthday
- Articles with short description
- Short description matches Wikidata
- Use dmy dates from January 2024
- Articles with hCards
- Pages with French IPA
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with BIBSYS identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with ICCU identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NSK identifiers
- Articles with NTA identifiers
- Articles with PLWABN identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 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
- All stub articles
- French mathematician stubs