Стив Awodey

Стив Awodey
Стив Аводи в 2011 году
Родившийся	Стивен М. Аводи ( 1959-07-05 ) 5 июля 1959 г. (61 год) Мичиган
Альма-матер	Марбургский университет Чикагский университет
Научная карьера
Тезис	Логика в Topoi: функциональная семантика для логики высокого порядка   (1997)
Докторанты	Сондерс Мак Лейн
Другие научные консультанты	Уильям Уокер Тейт
Веб-сайт	www.andrew.cmu.edu / user / awodey /

Стивен М. Awodey ( / aʊ д я / ; родилась 1959), американский математик и философ математики. Он профессор философии и математики в Университете Карнеги-Меллона.

• 1 Биография
• 2 Библиография
• 3 ссылки
• 4 Внешние ссылки

Аводи изучал математику и философию в Марбургском и Чикагском университетах. Он получил докторскую степень. из Чикаго под руководством Сондерса Мак Лейна в 1997 году. Он является активным исследователем в области теории категорий и логики, а также пишет по философии математики. Он является одним из основоположников теории гомотопического типа. Он был членом математической школы Института перспективных исследований в 2012–2013 годах.

• Готфрид Габриэль, изд. оригинального немецкого текста с введением и аннотациями (2004 г.). Эрик Х. Рек; Стив Awodey (ред.). Лекции Фреге по логике: студенческие заметки Карнапа, 1910-1914. Перевод Эрика Х. Рекка; Стив Awodey. Чикаго: Открытый суд; xiv + 170 с. CS1 maint: использует параметр авторов ( ссылка ) CS1 maint: postscript ( ссылка )
• Awodey, Стив (2010) [2006]. Теория категорий (2-е изд.). Оксфорд и Нью-Йорк: Издательство Оксфордского университета. ISBN   978-0-19-9237-18-0.

• Коннелли, Джеймс (ноябрь 2005 г. - февраль 2006 г.). «Обзор лекций Фреге по логике ». Ежеквартальное издание Общества Бертрана Рассела.
• Биркедал, Ларс (июнь 2007 г.). "Обзор: СТИВ УОДИ, Теория категорий ". Studia Logica. 86 (1): 133–135. DOI : 10.1007 / s11225-007-9053-х. JSTOR   40210743. S2CID   29254475.
• "Естественные модели теории типов - Стив Одей". YouTube. Институт перспективных исследований. 12 августа 2016 г.
• "Семинар по основам унивалентности - Стив Awodey". YouTube. Институт перспективных исследований. 17 августа 2016 г.
• "Конструктивная теория типов и гомотопия - Стив Awodey". YouTube. Институт перспективных исследований. 30 августа 2016 г.