Стив Аводей

Стивен М. Аводей ^[1] ( / ˈ aʊ d i / ; родился в 1959 году) — американский математик и логик . Профессор философии и математики в Университете Карнеги — Меллона .

Биография

Аводей изучал математику и философию в Марбургском и Чикагском университетах . Он получил докторскую степень в Чикаго под руководством Сондерса Маклейна в 1997 году. Он является активным исследователем в области теории категорий и логики , а также писал о философии математики . Он является одним из основателей области теории гомотопических типов . ^[3] Он был членом Школы математики в Институте перспективных исследований в 2012–13 годах. ^[4]

Эрик Х. Рек; Стив Аводей, ред. (2004). Лекции Фреге по логике: студенческие заметки Карнапа, 1910-1914 . Перевод Эрика Х. Река; Стива Аводея. Чикаго: Open Court. стр. xiv+170 с.
Аводей, Стив (2010) [2006]. Теория категорий (2-е изд.). Оксфорд и Нью-Йорк: Oxford University Press. ISBN 978-0-19-9237-18-0.

^ Стивен М. Аводей, Логика в топосах – PhilPapers
^ Стив Аводей, Майкл Уоррен, «Теоретические гомотопические модели тождественного типа», Математические труды Кембриджского философского общества 146 (1), 2009. arXiv:0709.0248.
^ Предварительный список участников PSSL86
^ "Институт перспективных исследований: Сообщество ученых". Архивировано из оригинала 2015-11-25 . Получено 2015-01-10 .

Connelly, James (ноябрь 2005 г. – февраль 2006 г.). «Обзор лекций Фреге по логике». The Bertrand Russell Society Quarterly . Архивировано из оригинала 2010-06-14 . Получено 2014-02-10 .
Биркедал, Ларс (июнь 2007 г.). «Обзор: СТИВ АВОДЕЙ, Теория категорий ». Studia Logica . 86 (1): 133–135. doi :10.1007/s11225-007-9053-x. JSTOR 40210743. S2CID 29254475.
«Естественные модели теории типов — Стив Аводей». YouTube . Институт перспективных исследований. 12 августа 2016 г.
«Семинар по унивалентным основам — Стив Аводей». YouTube . Институт перспективных исследований. 17 августа 2016 г.
«Конструктивная теория типов и гомотопия — Стив Аводей». YouTube . Институт перспективных исследований. 30 августа 2016 г.