Жорж Гонтье

Канадский учёный-компьютерщик

Жорж Гонтье — канадский специалист по информатике и практик в области формальной математики . Он руководил формализацией теоремы о четырёх красках ^[1] и доказательством Фейта–Томпсона теоремы нечётного порядка ^[2] (Оба были написаны с использованием помощника по доказательству Coq .)

В 2011 году, будучи главным научным сотрудником Microsoft Research Cambridge, он получил Гран-при EADS Foundation в области компьютерных наук, совместно присуждаемый Европейской авиационно-космической оборонной компанией и Французской академией наук . ^[3]

Смотрите также

Доказательство наличия мух во главе с Томасом Каллистером Хейлзом

Ссылки

^ Кранц, Стивен Г. (2011). «The Mantalizing Four-Color Theorem». Доказательство в пудинге . Springer New York. С. 107–115. doi :10.1007/978-0-387-48744-1_6. ISBN 9780387487441.
^ Статья новостей phys.org, описывающая доказательство Фейта-Томпсона
^ "Gonthier получил награду EADS Foundation Honor". Блог Microsoft Research . Microsoft. 22 ноября 2011 г. Получено 11 июня 2024 г.

Эта статья о математике — заглушка . Вы можете помочь Википедии, расширив ее.

[1] Кранц, Стивен Г. (2011). «The Mantalizing Four-Color Theorem». Доказательство в пудинге . Springer New York. С. 107–115. doi :10.1007/978-0-387-48744-1_6. ISBN 9780387487441.

[2] Статья новостей phys.org, описывающая доказательство Фейта-Томпсона

[3] "Gonthier получил награду EADS Foundation Honor". Блог Microsoft Research . Microsoft. 22 ноября 2011 г. Получено 11 июня 2024 г.