Жорж Гонтье
Жорж Гонтье — канадский учёный-компьютерщик и практикующий специалист в области формальной математики . Он руководил формализацией теоремы о четырех цветах. [1] и доказательство Фейта–Томпсона теоремы о нечетном порядке . [2] (Оба были написаны с использованием помощника по доказательству Coq .)
В 2011 году в качестве главного научного сотрудника Microsoft Research Cambridge он получил Гран-при Фонда EADS в области компьютерных наук, присуждаемый совместно Европейской авиационной оборонной и космической компанией и Французской академией наук . [3]
См. также
[ редактировать ]- Доказательство Flyspeck под руководством Томаса Каллистера Хейлза
Ссылки
[ редактировать ]- ^ Кранц, Стивен Г. (2011). «Заманчивая теорема о четырех цветах». Доказательство находится в пудинге . Спрингер Нью-Йорк. стр. 107–115. дои : 10.1007/978-0-387-48744-1_6 . ISBN 9780387487441 .
- ^ новостная статья phys.org, описывающая доказательство Фейта-Томпсона
- ^ «Гонтье удостоен награды Фонда EADS» . Блог исследований Microsoft . Майкрософт. 22 ноября 2011 года . Проверено 11 июня 2024 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья математике незавершена . о Вы можете помочь Википедии, расширив ее . |