Жан-Ив Джирар - Jean-Yves Girard - Wikipedia

Жан-Ив Джирар
Туған1947 (72-73 жас)
Лион, Франция
ҰлтыФранцуз
Алма матерÉcole normale supérieure de Saint-Cloud
Париж Дидро университеті
Ғылыми мансап
ӨрістерЛогика
МекемелерCNRS
Докторантура кеңесшісіЖан-Луи Кривайн [фр ]

Жан-Ив Джирар (Француз:[ʒiʁaʁ]; 1947 жылы туған) - француз логик жұмыс істеу дәлелдеу теориясы. Ол ғылыми жетекші (емурит ) математикалық институтында Экс-Марсель университеті, at Люминий.

Өмірбаян

Жан-Ив Джирар - түлек École normale supérieure de Saint-Cloud.

Ол өзінің атымен 1970 жылдары дәлелдеді күшті қалыпқа келтіру жүйесінде екінші ретті логика деп аталады Жүйе F. Бұл нәтиже жаңа дәлел берді Такеутидің болжамдары, бұл бірнеше жыл бұрын дәлелденген Уильям В.Тайт, Motō Takahashi және Даг Правиц. Осы мақсатта ол «төмендетілуге ​​үміткер» («candidat de réducibilité») ұғымын енгізді. Ол сондай-ақ ашылды деп есептеледі Джирард парадоксы, сызықтық логика, өзара әрекеттесу геометриясы, людика және қыша сағаты.[1]

Ол алды CNRS күміс медалі 1983 ж. және мүшесі болып табылады Франция ғылым академиясы.

Библиография

  • Эрнест Нагель; Джеймс Р. Ньюман; Курт Годель; Жан-Ив Джирар (1989). Le théorème de Gödel. Éditions du Seuil.
  • Жан-Ив Джирар; П.Тейлор; Ив Лафонт (1989). Дәлелдемелер мен типтер. Кембридж университетінің баспасы.
  • Жан-Ив Джирар (2007). Le Point Aveugle, Cours de Logique. Герман.
  • Жан-Ив Джирар (2016). Le fantôme de la мөлдірлік. Allia шығарылымдары.

Әдебиеттер тізімі

  1. ^ Рингард, Янн-Йоахим (1990). «Қыша сағаттары: уақыт пен тағамға кешенді көзқарас». Алынған 27 мамыр 2018.

Сыртқы сілтемелер