Джереми Авигад - Jeremy Avigad

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

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

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

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

1. Проект "Математическая генеалогия"
2. Официальный сайт Джереми Авигада в Университет Карнеги Меллон