Коленбах, Ульрих
Ульрих Коленбах
- Род деятельности
- математик
Награды и премии
Исследовательская премия Курта Гёделя (2011)
Приглашённый докладчик Международного конгресса математиков (2018)
Кольцо Эрнста Цермело (2024)
У́льрих Вильге́льм Коленба́х (англ. Ulrich Wilhelm Kohlenbach; [Нет даты!]) — немецкий математик, профессор алгебры и логики в Дармштадтском техническом университете. Известен исследованиями в области доказательного программирования и обратной математики высшего порядка.
Биография[править]
В 1980 году окончил гимназию имени Лессинга во Франкфурте. Изучал математику, философию и лингвистику во Франкфуртском университете имени Гёте, где получил диплом. Во время учёбы получал стипендию от Студенческого фонда немецкого народа. В 1990 году в том же университете получил степень доктора философии под руководством Хорста Лукхардта. Через пять лет прошёл хабилитацию по математике. В 1996—1997 учебном году работал приглашённым доцентом в Мичиганском университете. В 1997 году стал доцентом Орхусского университета, где работал до 2004 года. В настоящее время является профессором Дармштадтского технического университета[1][2].
С 2008 по 2012 год занимал пост президента Немецкого объединения математической логики и фундаментальных исследований точных наук (DVMLG). С 2016 по 2018 год был президентом Ассоциации символической логики. Его исследовательские интересы лежат в области доказательного программирования.
Женат на Габриэле Баль-Коленбах, имеет дочь.
В 2011 году получил престижную Исследовательскую премию Курта Гёделя от Общества Курта Гёделя[3]. В 2018 году был приглашённым докладчиком на Международном конгрессе математиков в Рио-де-Жанейро. В 2024 году стал первым обладателем кольца Эрнста Цермело[4].
Примечания[править]
- ↑ kohlenb. www2.mathematik.tu-darmstadt.de. Проверено 20 августа 2026.
- ↑ Curriculum vitae of Ulrich Wilhelm Kohlenbach
- ↑ Gödel Fellowships. fellowship.logic.at. Проверено 20 августа 2026.
- ↑ Ernst-Zermelo-Ring 2024: Prof. Dr. Ulrich Kohlenbach. Logic List Mailing Archive (2024-08-23). Проверено 20 августа 2026.
Ссылки[править]
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Коленбах, Ульрих», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|