Ulrich Kohlenbach

Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach (* July 27, 1962 in Frankfurt am Main) is a German professor of Mathematics and a researcher in Logic. He graduated ('Abitur') from Lessing-Gymnasium (High School) in 1980 and finished his study of mathematics, philosophy, and linguistics with the master degree ('Diplom') at the University of Frankfurt. Under H. Luckhardt, he received his Ph.D. in 1990 and passed his Habilitation ('venia legendi') in mathematics at the University of Frankfurt five years later. In 1998, he became an associate professor at the University of Aarhus in Denmark where he worked till 2004. Kohlenbach is now a full professor at the Technische Universität Darmstadt. He's married to Gabriele Bahl-Kohlenbach with whom he has a daughter.

He is one of the leading scientists in the "proof mining" research program(see also [cite book
title = Applied Proof Theory: Proof Interpretation and their Use in Mathematics (ISBN 978-3-540-77532-4)
author = U. Kohlenbach
publisher = Springer Verlag - Springer Monographs in Mathematics
year = 2008] ).

Partial list of publications

External links

[http://www.mathematik.tu-darmstadt.de/~kohlenbach Ulrich Kohlenbach's official website] at Technische Universität Darmstadt


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Proof mining — In proof theory (a branch of mathematical logic), proof mining is a research program [cite book title = Applied Proof Theory: Proof Interpretations and Their Use in Mathematics author = Ulrich Kohlenbach publisher = Springer Verlag, Berlin year …   Wikipedia

  • Dialectica interpretation — In proof theory, the Dialectica interpretation [1] is a proof interpretation of intuitionistic arithmetic (Heyting arithmetic) into a finite type extension of primitive recursive arithmetic, the so called System T. It was developed by Kurt Gödel… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • Markov's principle — Markov s principle, named after Andrey Markov Jr, is a classical tautology that is not intuitionistically valid but that may be justified by constructive means. There are many equivalent formulations of Markov s principle. Contents 1 Statements… …   Wikipedia

  • Eversen (Bergen) — Eversen Stadt Bergen Koordinaten …   Deutsch Wikipedia

  • Liste der Mitglieder des Niedersächsischen Landtages (12. Wahlperiode) — Die Liste der Mitglieder des Niedersächsischen Landtages der 12. Wahlperiode (1990−1994) zeigt alle Abgeordneten in alphabetischer Reihenfolge mit Fraktionszugehörigkeit an. Für die Mitglieder der Landesregierung dieser Legislaturperiode siehe… …   Deutsch Wikipedia

  • Liste der Mitglieder des Niedersächsischen Landtages (10. Wahlperiode) — Diese Liste gibt einen Überblick über alle Mitglieder des Niedersächsischen Landtags in der 10. Wahlperiode (1982 bis 1986). Inhaltsverzeichnis 1 Präsidium 2 Zusammensetzung 3 Fraktionsvorsitzende 4 …   Deutsch Wikipedia

  • Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

  • Wörnitz — bei DonauwörthVorlage:Infobox Fluss/KARTE fehlt Daten …   Deutsch Wikipedia

  • Liste der Mitglieder des Niedersächsischen Landtages (11. Wahlperiode) — Diese Liste gibt einen Überblick über alle Mitglieder des Niedersächsischen Landtags in der 11. Wahlperiode (1986 bis 1990). Inhaltsverzeichnis 1 Präsidium 2 Zusammensetzung 3 Fraktionsvorsitzende 4 …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”