Жан-Ив Жирар
Жан-Ив Жирар | |
---|---|
Рожденный | 1947 (возраст 76–77 лет) Лион , Франция |
Национальность | Французский |
Альма-матер | Педагогическая школа Сен-Клу Парижский университет Дидро |
Известный | Парадокс Жирара Согласованное пространство Геометрия взаимодействия Линейная логика Людис Доказательственная сеть Система Ф |
Награды | Премия Понселе (1990) Серебряная медаль CNRS (1983). |
Научная карьера | |
Поля | Логика |
Учреждения | НЦРС |
Докторантура | Жан-Луи Кривин |
Жан-Ив Жирар (англ. Французский: [ʒiʁaʁ] ; родился в 1947) — французский логик , работающий в области теории доказательств . Он является директором по исследованиям ( почетным ) в математическом институте университета Экс-Марсель в Люмини .
Биография [ править ]
Жан-Ив Жирар — выпускник Высшей нормальной школы Сен-Клу .
Он сделал себе имя в 1970-х годах, доказав сильную нормализацию в системе логики второго порядка, названной Системой F. Этот результат дал новое доказательство гипотезы Такеути , которая была доказана несколькими годами ранее Уильямом Тейтом , Мото Такахаши и Дагом Правицем . С этой целью он ввел понятие «кандидата на сводимость» («candidate de réducabilité»). Ему также приписывают открытие парадокса Жирара , линейной логики , геометрии взаимодействия , лудики и (сатирически) горчичных часов. [1]
Он получил серебряную медаль CNRS в 1983 году и является членом Французской академии наук .
Библиография [ править ]
- Эрнест Нагель ; Джеймс Р. Ньюман ; Курт Гедель ; Жан-Ив Жирар (1989). Теорема Гёделя . Издания дю Сеуиль.
- Жан-Ив Жирар; П. Тейлор; Ив Лафон (1989). Доказательства и типы . Издательство Кембриджского университета .
- Жан-Ив Жирар (2007). «Слепое пятно», Курс логики . Герман.
- Жан-Ив Жирар (2011). Слепое пятно: Лекции по логике [2]
- Жан-Ив Жирар (2016). Призрак прозрачности . Издания Аллия.
См. также [ править ]
Ссылки [ править ]
- ^ Рингард, Янн-Иоахим (1990). «Горчичные часы: комплексный подход ко времени и еде» . Проверено 27 мая 2018 г.
- ^ Жирар, Жан-Ив (2011). Слепое пятно: лекции по логике . Цюрих, Швейцария: Европейское математическое общество. ISBN 978-3-03719-088-3 . OCLC 757486610 .
Внешние ссылки [ править ]
- Официальный веб-сайт
- Жан-Ив Жирар в проекте «Математическая генеалогия»
- Жан-Ив Жирар на DBLP библиографическом сервере
- Веб-сайт Journées Jean-Yves Girard конференции 2007 года, посвященной 60-летию Жирара
- Живые люди
- Теоретики доказательств
- Французские математики
- французские логики
- Выпускники ENS Фонтене-Сен-Клу-Лион
- Члены Французской академии наук
- 1947 рождений
- Французский национальный центр научных исследований ученых
- Французские философы XX века
- Французские философы XXI века
- Французские писатели-мужчины научно-популярной литературы
- Незавершенные статьи о французских математиках