Ульрих Коленбах - Ulrich Kohlenbach

Ульрих Коленбах
Ульрих Коленбах.jpg
Родился (1962-07-27) 27 июля 1962 г. (58 лет)
Франкфурт-на-Майне, Германия
НациональностьНемецкий
Альма-матерУниверситет Гете во Франкфурте
ИзвестенДоказательство майнинга
НаградыПремия Курта Гёделя за исследования (2011)
Научная карьера
ПоляМатематическая логика, теория доказательств
УчрежденияTechnische Universität Darmstadt
ДокторантХорст Лакхардт
Президент Ассоциации символической логики
В офисе
2016–2018
ПредшествуетАласдер Уркхарт
ПреемникДжулия Найт
Президент DVMLG
В офисе
2008–2012
ПредшествуетПитер Кёпке
ПреемникБенедикт Лёве

Ульрих Вильгельм Коленбах (родился 27 июля 1962 г. в г. Франкфурт-на-Майне ) это Немецкий математик и профессор алгебра и логика на Technische Universität Darmstadt. Его исследовательские интересы лежат в области доказательная добыча.[1]

Коленбах был президентом Немецкая ассоциация математической логики и фундаментальных исследований в области точных наук (DVMLG) с 2008 по 2012 год и президент Ассоциация символической логики с 2016 по 2018 гг.

Жизнь

Он окончил ('Abitur') гимназию Лессинг (среднюю школу) в 1980 году и закончил учебу в математика, философия, и лингвистика с диплом от Университет Гете во Франкфурте. Во время учебы он получил стипендию от Studienstiftung des deutschen Volkes. В том же университете он получил докторскую степень. в 1990 году под руководством Хорста Лакхардта и сдал абилитация ('venia legendi') в математике пять лет спустя. В 1996/97 учебном году он был приглашенным доцентом в университет Мичигана. В 1997 году он стал доцентом Орхусский университет где он проработал до 2004 года. Коленбах сейчас работает профессором в Technische Universität Darmstadt.[2][3]

Он женат на Габриэле Баль-Коленбах, от которой у него есть дочь.

В 2011 году он получил престижную исследовательскую премию Курта Гёделя Общество Курта Гёделя.[4] Был приглашенным спикером на 2018 Международный конгресс математиков в Рио де Жанейро.

Рекомендации

  1. ^ У. Коленбах (2008). Прикладная теория доказательств: интерпретация доказательств и их использование в математике. Springer Verlag - Монографии Спрингера по математике. ISBN  978-3-540-77532-4.
  2. ^ "коленб". www2.mathematik.tu-darmstadt.de. Получено 2019-11-23.
  3. ^ Биографические данные Ульриха Вильгельма Коленбаха
  4. ^ «Стипендии Гёделя». братство.logic.at. Получено 2019-08-31.

внешняя ссылка