Жан-Ив Жирар - Википедия - Jean-Yves Girard

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

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

биография

Жан-Ив Жирар - выпускник École normale supérieure de Saint-Cloud.

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

Он получил Серебряная медаль CNRS в 1983 году и является членом Французская Академия Наук.

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

  • Эрнест Нагель; Джеймс Р. Ньюман; Курт Гёдель; Жан-Ив Жирар (1989). Le Theorè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.

внешняя ссылка