Жан-Ив Жирар - Jean-Yves Girard

Жан-Ив Жирар
Родившийся 1947 (72–73 года)
Лион , Франция
Национальность французский язык
Альма-матер École normale supérieure de Saint-Cloud
Парижский университет Дидро
Научная карьера
Поля Логика
Учреждения CNRS
Докторант Жан-Луи Кривин  [ фр ]

Жан-Ив Жирар ( французский:  [ʒiʁaʁ] ; род. 1947) - французский логик, занимающийся теорией доказательств . Он является почетным директором по исследованиям в математическом институте Университета Экс-Марсель в Люмини .

биография

Жан-Ив Жирар - выпускник Высшей нормальной школы Сен-Клу .

Он сделал себе имя в 1970 - х годах с его доказательством сильной нормализации в системе логики второго порядка называется System F . Этот результат дал новое доказательство гипотезы Такеути , которая была доказана несколькими годами ранее Уильямом В. Тэйтом, Мото Такахаши и Дагом Правицем . С этой целью он ввел понятие «сокращаемый кандидат» («Candidat de réducibilité»). Ему также приписывают открытие парадокса Жирара , линейной логики , геометрии взаимодействия , юмористики и горчичных часов.

Он получил серебряную медаль 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.

Рекомендации

внешние ссылки