Jean-Yves Girard ( französisch: [ʒiʁaʁ] ; * 1947) ist ein französischer Logiker, der auf dem Gebiet der Beweistheorie arbeitet . Er ist Forschungsdirektor ( emeritus ) am mathematischen Institut der Universität Aix-Marseille , bei Luminy .

Biographie

Jean-Yves Girard ist Absolvent der École normale supérieure de Saint-Cloud .

Er machte sich in den 1970er Jahren mit seinem Beweis der starken Normalisierung in einem System der Prädikatenlogik zweiter Stufe namens System F einen Namen . Dieses Ergebnis lieferte einen neuen Beweis für Takeutis Vermutung , die einige Jahre zuvor von William W. Tait , Motō Takahashi und Dag Prawitz bewiesen worden war . Zu diesem Zweck führte er den Begriff des „Reduzierbarkeitskandidaten“ („candidat de réductibilité“) ein. Ihm werden außerdem die Entdeckung des Girard-Paradoxons , der linearen Logik , der Geometrie der Interaktion , der Ludics und (satirisch) der Senfuhr zugeschrieben. [ 1 ]

Er erhielt 1983 die Silbermedaille des CNRS und ist Mitglied der Französischen Akademie der Wissenschaften .

Bibliographie

  • 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 (2011). Der blinde Fleck: Vorlesungen über Logik [ 2 ]
  • Jean-Yves Girard (2016). Der Fantôme der Transparenz . Éditions Allia.

Siehe auch

Referenzen

  1. ^ Ringard, Yann-Joachim (1990). „Senfuhren: Ein integrierter Ansatz zu Zeit und Essen“ . Abgerufen am 27. Mai 2018 .
  2. ^ Girard, Jean-Yves (2011). Der blinde Fleck: Vorlesungen über Logik . Zürich, Schweiz: Europäische Mathematische Gesellschaft. ISBN 978-3-03719-088-3OCLC  757486610 .​