Ulrich Kohlenbach
Encyclopedia
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 completed his studies of mathematics
, philosophy
, and linguistics
with a master degree ('Diplom') from the University of Frankfurt. In 1990, he received his Ph.D. under H. Luckhardt and passed his Habilitation
('venia legendi') in mathematics five years later at the University of Frankfurt. In 1998, he became an associate professor at the University of Aarhus in Denmark where he worked until 2004. Kohlenbach is now a full professor at the Technische Universität Darmstadt. He is married to Gabriele Bahl-Kohlenbach with whom he has a daughter.
He is considered one of the leading scientists in the field of "proof mining
"
(see also
).
Germany
Germany , officially the Federal Republic of Germany , is a federal parliamentary republic in Europe. The country consists of 16 states while the capital and largest city is Berlin. Germany covers an area of 357,021 km2 and has a largely temperate seasonal climate...
professor of mathematics and a researcher in logic. He graduated ('Abitur') from Lessing-Gymnasium (High School) in 1980 and completed his studies of mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
, philosophy
Philosophy
Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...
, and linguistics
Linguistics
Linguistics is the scientific study of human language. Linguistics can be broadly broken into three categories or subfields of study: language form, language meaning, and language in context....
with a master degree ('Diplom') from the University of Frankfurt. In 1990, he received his Ph.D. under H. Luckhardt and passed his Habilitation
Habilitation
Habilitation is the highest academic qualification a scholar can achieve by his or her own pursuit in several European and Asian countries. Earned after obtaining a research doctorate, such as a PhD, habilitation requires the candidate to write a professorial thesis based on independent...
('venia legendi') in mathematics five years later at the University of Frankfurt. In 1998, he became an associate professor at the University of Aarhus in Denmark where he worked until 2004. Kohlenbach is now a full professor at the Technische Universität Darmstadt. He is married to Gabriele Bahl-Kohlenbach with whom he has a daughter.
He is considered one of the leading scientists in the field of "proof mining
Proof mining
In proof theory, a branch of mathematical logic, proof mining is a research program that analyzes formalized proofs, especially in analysis, to obtain explicit bounds or rates of convergence from proofs that, when expressed in natural language, appear to be nonconstructive.This research has led to...
"
(see also
).
External links
- Ulrich Kohlenbach's official website at Technische Universität Darmstadt