Jean-Yves Girard

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Jean-Yves Girard
Born 1947 (age 77–78)
Lyon
Nationality French
Fields Mathematics
Institutions CNRS
Alma mater École normale supérieure de Saint-Cloud
Paris Diderot University
Doctoral advisor Jean-Louis Krivine
Doctoral students George Koletsos
Yves Lafont
Laurent Regnier

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

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

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, 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 invention of linear logic; the geometry of interaction; ludics; and the mustard watch.[1]

Bibliography

  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

References

<templatestyles src="Reflist/styles.css" />

Cite error: Invalid <references> tag; parameter "group" is allowed only.

Use <references />, or <references group="..." />

External links

Lua error in package.lua at line 80: module 'strict' not found.


<templatestyles src="Asbox/styles.css"></templatestyles>

Stub icon

This article about a French mathematician is a stub. You can help Wikipedia by expanding it.
  1. ↑ Lua error in package.lua at line 80: module 'strict' not found.
Retrieved from "https://infogalactic.com/w/index.php?title=Jean-Yves_Girard&oldid=910917"