Ulrich Kohlenbach - Ulrich Kohlenbach

Ulrich Kohlenbach
Ulrich Kohlenbach.jpg
Na Oberwolfach, 2011
narozený (1962-07-27) 27. července 1962 (věk 58)
Frankfurt nad Mohanem, Německo
NárodnostNěmec
Alma materGoethe University Frankfurt
Známý jakoDůkazní těžba
OceněníCena Kurt Gödel za výzkum (2011)
Vědecká kariéra
PoleMatematická logika, teorie důkazů
InstituceTechnische Universität Darmstadt
Doktorský poradceHorst Luckhardt
Prezident Asociace pro symbolickou logiku
V kanceláři
2016–2018
PředcházetAlasdair Urquhart
UspělJulia Knight
Předseda DVMLG
V kanceláři
2008–2012
PředcházetPeter Koepke
UspělBenedikt Löwe

Ulrich Wilhelm Kohlenbach (narozen 27. července 1962 v Frankfurt nad Mohanem ) je Němec matematik a profesor algebra a logika na Technische Universität Darmstadt. Jeho výzkumné zájmy spočívají v oblasti důlní těžba.[1]

Kohlenbach byl prezidentem Německá asociace pro matematickou logiku a pro základní výzkum v exaktních vědách (DVMLG) od roku 2008 do roku 2012 a prezident Sdružení pro symbolickou logiku od roku 2016 do roku 2018.

Život

V roce 1980 absolvoval („Abitur“) Lessing-Gymnasium (střední školu) a ukončil studium matematika, filozofie, a lingvistika s diplom z Goethe University Frankfurt. Během studií získal stipendium od Studienstiftung des deutschen Volkes. Na stejné univerzitě získal titul Ph.D. v roce 1990 pod dohledem Horsta Luckhardta a složil jeho habilitace ('venia legendi') v matematice o pět let později. V akademickém roce 1996/1997 působil jako hostující odborný asistent na VŠE Michiganská univerzita. V roce 1997 se stal docentem na Aarhuská univerzita kde působil do roku 2004. Kohlenbach je nyní řádným profesorem na Technische Universität Darmstadt.[2][3]

Je ženatý s Gabriele Bahl-Kohlenbachovou, se kterou má dceru.

V roce 2011 obdržel prestižní cenu Kurt Gödel za výzkum za výzkum Společnost Kurta Gödela.[4] Byl pozvaným řečníkem na 2018 Mezinárodní kongres matematiků v Rio de Janeiro.

Reference

  1. ^ U. Kohlenbach (2008). Aplikovaná teorie důkazů: Interpretace důkazů a jejich využití v matematice. Springer Verlag - Springerovy monografie z matematiky. ISBN  978-3-540-77532-4.
  2. ^ "kohlenb". www2.mathematik.tu-darmstadt.de. Citováno 2019-11-23.
  3. ^ Životopis Ulricha Wilhelma Kohlenbacha
  4. ^ „Společenstva Gödel“. community.logic.at. Citováno 2019-08-31.

externí odkazy