WikiDer > Томас Штрайхер
 | Тема этой статьи может не соответствовать Википедии общее руководство по известности. (Февраль 2015 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Томас Штрайхер (1958 г.р.) - немецкий математик, профессор Математика в Technische Universität Darmstadt. Он получил докторскую степень в 1988 г. Университет Пассау с советником Манфред Брой.
Работа
Его исследовательские интересы включают: категориальная логика, теория предметной области и Теория типа Мартина-Лёфа.
В совместной работе с Мартин Хофманн он построил модель для содержательный Теория типа Мартина-Лёфа куда типы удостоверений интерпретируются как группоиды. Это была первая модель с нетривиальными типами идентичности, т.е. отличными от наборы. На основе этой работы [1] другие модели с нетривиальными типами идентичности были изучены, в том числе теория гомотопического типа который был предложен в качестве основы математики в Владимир Воеводскийисследовательская программа Универсальные основы математики.
Вместе с Мартином Хофманном он получил награду 2014 года. Премия LICS Test-of-Time за статью «Модель группоида опровергает единственность доказательств тождества».
Библиография
- Т. Штрейхер (1991), Семантика теории типов: результаты правильности, полноты и независимости, Birkhäuser Boston. ISBN 3764335947
- М. Хофманн и Т. Штрейхер (1996), Группоидная интерпретация теории типов, в Самбине, Джованни (ред.) и др., Двадцать пять лет теории конструктивного типа. Материалы конгресса, Венеция, Италия, 19–21 октября 1995 г.
- Т. Штрейхер (2006), Теоретико-предметные основы функционального программирования, World Scientific Pub Co Inc. ISBN 9812701427
Рекомендации
- ^ Awodey, Стив (2010). «Теория типов и гомотопия». arXiv:1010.1810.
внешняя ссылка
- Официальный веб-сайт в Technische Universität Darmstadt
- Томас Штрайхер на Проект "Математическая генеалогия"
 | Эта статья о немецком математике заглушка. Вы можете помочь Википедии расширяя это. |