Jean-Yves Girard

Jean-Yves Girard
Urodzić się 1947 (75-76 lat)
Lyon , Francja
Narodowość Francuski
Alma Mater
École normale supérieure de Saint-Cloud Paris Diderot University
Znany z





Paradoks Girarda Przestrzeń koherentna Geometria interakcji Logika liniowa Ludyka Sieć dowodowa System F
Nagrody
Nagroda Ponceleta (1990) Srebrny Medal CNRS (1983)
Kariera naukowa
Pola Logika
Instytucje CNRS
Doradca doktorski Jean-Louis Krivine [ fr ]

Jean-Yves Girard ( francuski: [ʒiʁaʁ] ; ur. 1947) jest francuskim logikiem zajmującym się teorią dowodu . Jest emerytowanym dyrektorem ds. badań w instytucie matematycznym Uniwersytetu Aix-Marseille w Luminy .

Biografia

Jean-Yves Girard jest absolwentem École normale supérieure de Saint-Cloud .

Zasłynął w latach 70. swoim dowodem silnej normalizacji w systemie logiki drugiego rzędu o nazwie System F. Wynik ten dał nowy dowód hipotezy Takeutiego , którą kilka lat wcześniej udowodnili William W. Tait , Motō Takahashi i Dag Prawitz . W tym celu wprowadził pojęcie „kandydata redukowalności” („candidat de réducibilité”). Przypisuje mu się również odkrycie paradoksu Girarda , logiki liniowej , tzw geometria interakcji , ludyka i (satyrycznie) musztardowy zegarek.

otrzymał Srebrny Medal CNRS i jest członkiem Francuskiej Akademii Nauk .

Bibliografia

  • Ernesta Nagela ; Jamesa R. Newmana ; Kurta Godela ; Jean-Yves Girard (1989). Le Theorème de Gödel . Éditions du Seuil.
  • Jean-Yves Girard; P. Taylora; Yvesa Lafonta (1989). Dowody i typy . Wydawnictwo Uniwersytetu Cambridge .
  • Jean-Yves Girard (2007). Le Point Aveugle, Cours de Logique . Hermanna.
  • Jean-Yves Girard (2011). The Blind Spot: Wykłady z logiki
  • Jean-Yves Girard (2016). Le fantôme de la transparence . Wydania Allia.

Zobacz też

Linki zewnętrzne


Pobrano z „ https://en.wikipedia.org/w/index.php?title=Jean-Yves_Girard&oldid=1130368927 ”