Стив Аводи
Стив Аводи | |
|---|---|
 Аводи в 2011 году | |
| Рожденный | Стивен М. Аводи 5 июля 1959 г. |
| Альма-матер | Университет Марбурга Чикагский университет |
| Известный | моделей Теория логики высшего порядка с использованием методов теории категорий [1] Теория типов категорий более высокой размерности [2] |
| Научная карьера | |
| Поля | Теория категорий , теория гомотопических типов |
| Учреждения | Университет Карнеги Меллон |
| Тезис | Логика в топосах: функториальная семантика логики высшего порядка (1997) |
| Докторские консультанты | Сондерс Мак Лейн |
| Другие научные консультанты | Уильям Уокер Тейт |
| Веб-сайт | www |
Стивен М. Аводи [1] ( / ˈaʊ ; род . d i / 1959) — американский математик и логик . Он является профессором философии и математики в Университете Карнеги-Меллон .
Биография [ править ]
Аводи изучал математику и философию в Марбургском и Чикагском университетах . Он получил докторскую степень. из Чикаго под руководством Сондерса Мак Лейна в 1997 году. Он является активным исследователем в области теории категорий и логики , а также пишет по философии математики . Он является одним из создателей области теории гомотопических типов . [3] он был членом Школы математики Института перспективных исследований . В 2012–2013 годах [4]
Библиография [ править ]
- Эрик Х. Рек; Стив Аводи, ред. (2004). Лекции Фреге по логике: студенческие заметки Карнапа, 1910–1914 гг . Перевод Эрика Х. Река; Стив Аводи. Чикаго: Открытый суд. стр. xiv+170 стр.
- Аводи, Стив (2010) [2006]. Теория категорий (2-е изд.). Оксфорд и Нью-Йорк: Издательство Оксфордского университета. ISBN 978-0-19-9237-18-0 .
Ссылки [ править ]
- ^ Перейти обратно: а б Стивен М. Аводи, Логика в топосах – PhilPapers
- ^ Стив Аводи, Майкл Уоррен, «Теоретико-гомотопические модели идентичности», Mathematical Proceedings of the Cambridge Philosophical Society 146 (1), 2009. arXiv:0709.0248 .
- ^ Предварительный список участников PSSL86.
- ^ «Институт перспективных исследований: сообщество ученых» . Архивировано из оригинала 25 ноября 2015 г. Проверено 10 января 2015 г.
Внешние ссылки [ править ]
- Коннелли, Джеймс (ноябрь 2005 г. - февраль 2006 г.). «Обзор лекций Фреге по логике » . Ежеквартальный журнал Общества Бертрана Рассела . Архивировано из оригинала 14 июня 2010 г. Проверено 10 февраля 2014 г.
- Биркедал, Ларс (июнь 2007 г.). «Обзор: СТИВ ЭВОДИ, Теория категорий ». Студия Логика . 86 (1): 133–135. дои : 10.1007/s11225-007-9053-x . JSTOR 40210743 . S2CID 29254475 .
- «Естественные модели теории типов - Стив Аводи» . YouTube . Институт перспективных исследований. 12 августа 2016 г.
- «Семинар по унифицированным основам - Стив Аводи» . YouTube . Институт перспективных исследований. 17 августа 2016 г.
- «Конструктивная теория типов и гомотопия - Стив Аводи» . YouTube . Институт перспективных исследований. 30 августа 2016 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
Категории :
- Американские логики
- Американские математики XX века
- Американские математики XXI века
- Американские философы математики
- Живые люди
- Выпускники Марбургского университета
- Выпускники Чикагского университета
- Приглашенные ученые Института перспективных исследований
- Преподаватели Университета Карнеги-Меллон
- 1959 рождений