Мартин Хайланд

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

Мартин Хайланд Биография Мартина Хайланда Профессор математической логики и научный сотрудник Королевского колледжа Кембриджа  Интересы включают математическую логику, теорию категорий […]

Alumni of the University of Oxford, British mathematician stubs, Cambridge, Cambridge mathematicians, Category theorists, English mathematicians, Fellows of King's College, Living people, английские математики, выпускники Оксфордского университета, Живущие люди, кембриджские математики, незавершенные статьи о британских математиках, теоретики категорий, члены Королевского колледжа в Кембридже

Мартин Хайланд

  • Биография Мартина Хайланда

    • Профессор математической логики и научный сотрудник Королевского колледжа Кембриджа 
    • Интересы включают математическую логику, теорию категорий и теоретическую информатику 

  • Образование и научная карьера

    • Образование получил в Оксфордском университете, доктор философии в 1975 году 
    • Известен работами по теории категорий в логике, информатике и многомерной алгебре 
    • Вклад в теорию топосов и игровую семантику 

  • Научные достижения и влияние

    • Среди его бывших докторантов известные ученые Евгения Ченг и Валерия де Пайва 
    • Статья является заглушкой и призывает к расширению Википедии 

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

Мартин Хайланд — Википедия

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

  1. Оливия Карамелло Оливия Карамелло Карьера Оливии Карамелло Итальянский математик, ассоциированный профессор Рита Леви-Монтальчини в Университете Инсубрии.  Известна работами...
  2. Основная теорема теории топоса Фундаментальная теорема теории топосов Определение и свойства топосов Топосы — это категории с дополнительной структурой, включающей...
  3. Теория высшего топоса Теория высших топосов Основы теории высших топосов Теория высших топосов — трактат по теории θ-категорий, написанный...
  4. Кольцевые топосы Кольцеобразные топосы Определение и применение кольцевого топоса Кольцевой топос является обобщением кольцевого пространства, заменяя топологическое пространство...
  5. Мартин Шубик Мартин Шубик Биография Мартина Шубика Родился в 1927 году в Лондоне, еврейские родители из России и...
  6. История теории топоса История теории топоса История и развитие топосов Топосы возникли в алгебраической геометрии для описания многообразий с...
  7. Мартин Фаулер (инженер-программист) Мартин Фаулер (инженер-программист) Биография Мартина Фаулера Мартин Фаулер — известный эксперт в области разработки программного обеспечения. ...
  8. Мартин Дэвис (математик) Мартин Дэвис (математик) Мартин Дэвис — американский математик, внесший значительный вклад в теорию вычислимости и сложность...

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

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