Jean-Yves Girard

from Wikipedia, the free encyclopedia

Jean-Yves Girard (* 1947 in Lyon ) is a French mathematical logician.

Girard attended the École Normale Supérieure de Saint Cloud and received his doctorate in 1972 from the University of Paris VII Denis Diderot under Jean-Louis Krivine ( Interprétaton fonctionelle et élimination des coupures de l'arithmétique d'ordre supérieure ). He taught at the University of Paris VII and at the Université de la Mediteranée Aix-Marseille.

Girard is known for contributions to proof theory with applications in computer science. In 1987 he introduced linear logic , a new non-classical logic that was also widely used in computer science, and in this context in 1989 Geometry of Interaction (GoI). In 2001 he founded Ludics from the analysis of derivation rules in logics.

1971/2 he introduced in his dissertation a typed polymorphic form of the lambda calculus (such as independently John C. Reynolds ) System F . It found applications in the theory of programming languages ​​(including the theoretical foundations of ML ).

He is a member of the Académie des Sciences and the Academia Europaea .

His PhD students include Yves Lafont and Laurent Regnier.

Fonts

  • with Yves Lafont, Paul Taylor: Proofs and Types , Cambridge University Press 1989
  • Proof theory and logic complexity , Naples, Bibliopolis 1987
  • Editor with Yves Lafont, Laurent Regnier: Advances in linear logic , Cambridge University Press 1995

Web links

Individual evidence

  1. ^ Mathematics Genealogy Project
  2. ↑ Girard Linear Logic , Theoretical Computer Science, Volume 50, 1987, pp. 1-102
  3. ^ Linear Logic, Stanford Encyclopedia of Philosophy
  4. ↑ Girard Towards a geometry of interaction , Contemporary Mathematics, Volume 92, 1989, p. 69
  5. ↑ Girard Locus solum: from the rules of logic to the logic of rules , in: Mathematical Structures in Computer Science, 11, 2001, 301–506
  6. ↑ Une Extension de l'Interprétation de Gödel à l'Analyse, et son Application à l'Élimination des Coupures dans l'Analyse et la Théorie des Types ". Proceedings of the Second Scandinavian Logic Symposium. Amsterdam. 1971, p. 63– 92
personal data
SURNAME Girard, Jean-Yves
BRIEF DESCRIPTION French mathematical logician
DATE OF BIRTH 1947
PLACE OF BIRTH Lyon