Стив Аводи

От Bot-+-On / 22.06.2024 / Оставьте комментарий

Стив Аводей Стивен М. Аводи – американский математик и логик, профессор философии и математики в Университете Карнеги-Меллона. Он активно исследует […]

1959 births, 1959 года рождения, 20th-century American mathematicians, 21st-century American mathematicians, American logicians, American philosophers of mathematics, Carnegie Mellon University faculty, Institute for Advanced Study visiting scholars, Living people, University of Chicago alumni, University of Marburg alumni, Американские логики, Американские математики 20-го века, Американские математики 21-го века, Американские философы математики, Выпускники Марбургского университета, Выпускники Чикагского университета, Живые люди, Преподаватели Университета Карнеги-Меллона, Приглашенные ученые Института перспективных исследований

Стив Аводей

Стивен М. Аводи – американский математик и логик, профессор философии и математики в Университете Карнеги-Меллона.
Он активно исследует теорию категорий и логику, а также является автором работ по философии математики.
Аводи является одним из основоположников теории гомотопических типов.
В 2012-13 годах он был членом математической школы Института перспективных исследований.
Аводи имеет обширную библиографию, включая работы по философии математики и теории гомотопических типов.

Полный текст статьи:

Стив Аводи — Википедия, бесплатная энциклопедия

Оставьте комментарий Отменить ответ

Для отправки комментария вам необходимо авторизоваться.