Жан-Ив Жирар - 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.
Рекомендации
внешние ссылки
- Официальный веб-сайт
- Жан-Ив Жирар на проекте « Математическая генеалогия»
- Жан-Ив Жирар на сервере библиографии DBLP
- Журналы Жан-Ив Жирар. Веб-сайт конференции 2007 года в честь 60-летия Жирара.
Эта статья о французском математике - незавершенная . Вы можете помочь Википедии, расширив ее . |