Jean-Yves Girard

Jean-Yves Girard
Born 1947 (age 70–71)
Nationality French
Alma mater École normale supérieure de Saint-Cloud
Paris Diderot University
Scientific career
Fields Mathematics
Institutions CNRS
Doctoral advisor Jean-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.



  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