Джереми Авигад - Википедия - Jeremy Avigad

Джереми Авигад
Джереми Авигад, март 2013.JPG
Джереми Авигад в 2013 году.
Родившийся (1968-01-09) 9 января 1968 г. (52 года)
Основные интересы
Логика, философия математики, теория доказательств, формальная проверка
Интернет сайтwww.Андрей.cmu.edu/Пользователь/ avigad/

Джереми Авигад является профессором философии в Университет Карнеги Меллон.

Он получил степень бакалавра искусств. получил степень доктора математики в Гарварде в 1989 году и получил степень доктора философии. по математике из Калифорнийский университет в Беркли в 1995 г. под руководством Джек Сильвер.[1] Он внес свой вклад в области математическая логика и основы, формальная проверка и интерактивное доказательство теорем, а философия и история математики.[2]

Рекомендации