Стив Аводи

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

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

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 годах он был членом математической школы Института перспективных исследований. 
  • Аводи имеет обширную библиографию, включая работы по философии математики и теории гомотопических типов. 

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

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

Похожие статьи:

  1. Система типов Система типов Основы типов данных Типы данных определяют допустимые значения и операции для переменных.  Типы данных...
  2. Стив Лоуренс (ученый-компьютерщик) Стив Лоуренс (специалист по компьютерам) Стив Лоуренс — австралийский ученый-компьютерщик, соучредитель и технический директор Xoo.  Он...
  3. Теория гомотопических типов Теория гомотопических типов Теория гомотопических типов — это математическая теория, основанная на топологии и теории категорий. ...
  4. Стив Викерс (ученый-компьютерщик) Стив Викерс (специалист по компьютерам) Биография Стивена Викерса Стивен Викерс — британский математик и логик, профессор...
  5. Стив Чен Стив Чен Биография Стива Чена Стив Чен — тайваньско-американский предприниматель, соучредитель YouTube.  Основал AVOS Systems и...
  6. Дэвид Корфилд Дэвид Корфилд Биография и карьера Корфилд — американский философ, специализирующийся на философии математики и философии науки. ...
  7. Стив Крокер Стив Крокер Биография Стивена Крокера Американский интернет-пионер, создатель «Сетевой рабочей группы» ARPA и серии запросов на...
  8. n-группа (теория категорий) N-группа (теория категорий) Гомотопические n-группы используются для классификации гомотопических типов.  Существует несколько способов определения гомотопических n-групп,...
  9. Стив Беннетт (предприниматель-разработчик программного обеспечения) Стив Беннетт (предприниматель в области программного обеспечения) Биография Стивена М. Беннетта Американский бизнесмен, бывший президент и...
  10. История теории типов История теории типов История теории типов Теория типов возникла в 19 веке и связана с работами...
  11. Стив Фербер Стив Фербер Стивен Байрам Фербер Британский ученый-компьютерщик, математик и инженер, почетный профессор ICL.  Разработчик BBC Micro...
  12. Стив Рассел (ученый-компьютерщик) Стив Рассел (специалист по компьютерам) Биография Стивена Рассела Родился в Хартфорде, Коннектикут, в 1937 году  Получил...
  13. Частные школы Великобритании Частные школы в Соединенном Королевстве Обзор системы образования в Великобритании Система образования в Великобритании включает государственные...

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

Прокрутить вверх