Jean-Yves Girard

Jean-Yves Girard
Born1947 (age 70–71)
Alma materÉcole normale supérieure de Saint-Cloud
Paris Diderot University
Scientific career
Doctoral advisorJean-Louis Krivine [fr]

Jean-Yves Girard (French: [?i?a?]; born 1947) is a French logician working in proof theory. He is the research director (emeritus) at the mathematical institute of Luminy.


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

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


  • 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 (2016). Le fantôme de la transparence. Éditions Allia.


  1. ^ Ringard, Yann-Joachim (1990). "Mustard watches: an integrated approach to time and food". Retrieved 2018.

External links

  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.



Connect with defaultLogic
What We've Done
Led Digital Marketing Efforts of Top 500 e-Retailers.
Worked with Top Brands at Leading Agencies.
Successfully Managed Over $50 million in Digital Ad Spend.
Developed Strategies and Processes that Enabled Brands to Grow During an Economic Downturn.
Taught Advanced Internet Marketing Strategies at the graduate level.

Manage research, learning and skills at Create an account using LinkedIn to manage and organize your omni-channel knowledge. is like a shopping cart for information -- helping you to save, discuss and share.

  Contact Us