Jean-Yves Girard

Template:Short description Template:Use dmy dates Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".

Jean-Yves Girard (Script error: No such module "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

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.^[1]

He obtained the CNRS Silver Medal in 1983 and is a member of the French Academy of Sciences.

Script error: No such module "Check for unknown parameters".

Script error: No such module "Official website".Script error: No such module "Check for unknown parameters".
Template:First word Template:PAGENAMEBASE at the Mathematics Genealogy Project Template:EditAtWikidata
Template:First word Template:PAGENAMEBASE at DBLP Bibliography ServerTemplate:EditAtWikidata
Journées Jean-Yves Girard web site of 2007 conference in honour of Girard's 60th birthday