Перейти к навигации Перейти к поиску
Стив Awodey | |
---|---|
Родившийся | Стивен М. Аводи 5 июля 1959 г. |
Альма-матер | Марбургский университет Чикагский университет |
Научная карьера | |
Тезис | Логика в Topoi: функциональная семантика для логики высокого порядка (1997) |
Докторанты | Сондерс Мак Лейн |
Другие научные консультанты | Уильям Уокер Тейт |
Веб-сайт | www |
Стивен М. Awodey [1] ( / aʊ д я / ; родилась 1959), американский математик и философ математики . Он профессор философии и математики в Университете Карнеги-Меллона .
Биография [ править ]
Аводи изучал математику и философию в Марбургском и Чикагском университетах . Он получил докторскую степень. из Чикаго под руководством Сондерса Мак Лейна в 1997 году. Он является активным исследователем в области теории категорий и логики , а также пишет по философии математики . Он является одним из основоположников теории гомотопического типа . [3] Он был членом математической школы Института перспективных исследований в 2012–2013 годах. [4]
Библиография [ править ]
- Готфрид Габриэль, изд. оригинального немецкого текста с введением и аннотациями (2004 г.). Эрик Х. Рек; Стив Awodey (ред.). Лекции Фреге по логике: студенческие заметки Карнапа, 1910-1914 . Перевод Эрика Х. Рекка; Стив Awodey. Чикаго: Открытый суд; xiv + 170 с.CS1 maint: uses authors parameter (link) CS1 maint: postscript (link)
- Awodey, Стив (2010) [2006]. Теория категорий (2-е изд.). Оксфорд и Нью-Йорк: Издательство Оксфордского университета. ISBN 978-0-19-9237-18-0.
Ссылки [ править ]
- ^ a b Стивен М. Awodey, Логика в Topoi - PhilPapers
- ^ Стив Аводи, Майкл Уоррен, "Теоретико-гомотопические модели тождественного типа", Математические слушания Кембриджского философского общества 146 (1), 2009. arXiv: 0709.0248 .
- ^ Предварительный список участников PSSL86
- ^ Институт перспективных исследований: Сообщество ученых
Внешние ссылки [ править ]
- Коннелли, Джеймс (ноябрь 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 г.