Ulrich Kohlenbach

from Wikipedia, the free encyclopedia
Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach (born July 27, 1962 in Frankfurt am Main ) is a German mathematician who deals with mathematical logic and especially proof theory.

Life

After graduating from the Lessing-Gymnasium in Frankfurt am Main in 1981, Kohlenbach studied mathematics, philosophy and linguistics in Frankfurt with a diploma in mathematics in 1986 and received his doctorate there in 1990 under Horst Luckhardt ( theory of majorizable and continuous functionals and their application in the extraction of Boundaries from inconstructive proofs: Effective uniqueness modules with best approximations from ineffective uniqueness proofs ). After his habilitation in Frankfurt in 1995 ( real growth in standard parts of analysis ), he was Visiting Assistant Professor at the University of Michigan and from 1997 at the University of Aarhus (from 2000 as Associate Professor with tenure). In 2004 he became a full professor of mathematics at the Technical University of Darmstadt .

He deals with the investigation of mathematical proofs especially in different areas of analysis ( proof mining , a research program that he developed from the beginning of the 1990s) in order to derive effective limits in analysis itself.

Kohlbach was invited speaker at the International Congress of Mathematicians 2018 in Rio de Janeiro ( Proof-theoretic Methods in Nonlinear Analyzes ).

He is President of the Association for Symbolic Logic (2016) and Editor of the Annals of Pure and Applied Logic . From 2008 to 2012 he was chairman of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences . In 2011 he received the highly endowed Kurt Gödel Research Prize from the Kurt Gödel Society and the John Templeton Foundation.

Fonts (selection)

  • Applied Proof Theory: Proof Interpretations and Their Use in Mathematics, Springer 2008
  • with Paulo Oliva: Proof Mining: A systematic way of analyzing proofs in mathematics, Proc. Steklov Inst. Math, Vol. 242, 2003, pp. 136-164

Web links

Individual evidence

  1. ↑ Ulrich Kohlenbach in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
  2. ↑ Jörg Feuck: Ulrich Kohlenbach receives the research award of the Kurt Gödel Society endowed with 100,000 euros, idw, April 28, 2011
personal data
SURNAME Kohlbach, Ulrich
ALTERNATIVE NAMES Kohlbach, Ulrich Wilhelm (full name)
BRIEF DESCRIPTION German mathematician
DATE OF BIRTH July 27, 1962
PLACE OF BIRTH Frankfurt am Main