www.wikidata.de-de.nina.az

Ulrich Kohlenbach Ulrich Wilhelm Kohlenbach 27 Juli 1962 in Frankfurt am Main ist ein deutscher Mathematiker der sich mi

Ulrich Kohlenbach

Ulrich Wilhelm Kohlenbach (* 27. Juli 1962 in Frankfurt am Main) ist ein deutscher Mathematiker, der sich mit Mathematischer Logik und speziell Beweistheorie befasst.

Ulrich Kohlenbach

Leben Bearbeiten

Kohlenbach studierte nach dem Abitur am Lessing-Gymnasium in Frankfurt am Main ab 1981 Mathematik, Philosophie und Linguistik in Frankfurt mit dem Diplom in Mathematik 1986 und wurde dort 1990 bei Horst Luckhardt promoviert (Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: Effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen). Nach der Habilitation in Frankfurt 1995 (Real growth in standard parts of analysis) war er Visiting Assistant Professor an der University of Michigan und war ab 1997 an der Universität Aarhus (ab 2000 als Associate Professor mit Tenure). 2004 wurde er ordentlicher Professor für Mathematik an der Technischen Universität Darmstadt.

Er befasst sich mit der Untersuchung mathematischer Beweise speziell in verschiedenen Bereichen der Analysis (Proof mining, ein Forschungsprogramm, das er ab Anfang der 1990er Jahre entwickelte) um daraus effektive Schranken in der Analysis selbst abzuleiten.

Kohlenbach war eingeladener Sprecher auf dem Internationalen Mathematikerkongress 2018 in Rio de Janeiro (Proof-theoretic Methods in Nonlinear Analysis).

Er ist Präsident der Association for Symbolic Logic (2016) und Herausgeber der Annals of Pure and Applied Logic. 2008 bis 2012 war er Vorsitzender der Deutschen Vereinigung für mathematische Logik und für Grundlagenforschung der exakten Wissenschaften. 2011 erhielt er den hoch dotierten Kurt Gödel Forschungspreis der Kurt Gödel Gesellschaft und der John Templeton Foundation.

Schriften (Auswahl) Bearbeiten

  • Applied Proof Theory: Proof Interpretations and Their Use in Mathematics, Springer 2008
  • mit Paulo Oliva: Proof Mining: A systematic way of analysing proofs in mathematics, Proc. Steklov Inst. Math, Band 242, 2003, S. 136–164

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  1. Ulrich Kohlenbach im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  2. Jörg Feuck: Ulrich Kohlenbach erhält den mit 100.000 Euro dotierten Forschungspreis der Kurt-Gödel-Gesellschaft, idw, 28. April 2011
Personendaten
NAME Kohlenbach, Ulrich
ALTERNATIVNAMEN Kohlenbach, Ulrich Wilhelm (vollständiger Name)
KURZBESCHREIBUNG deutscher Mathematiker
GEBURTSDATUM 27. Juli 1962
GEBURTSORT Frankfurt am Main
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Ulrich Wilhelm Kohlenbach 27 Juli 1962 in Frankfurt am Main ist ein deutscher Mathematiker der sich mit Mathematischer Logik und speziell Beweistheorie befasst Ulrich Kohlenbach Inhaltsverzeichnis 1 Leben 2 Schriften Auswahl 3 Weblinks 4 EinzelnachweiseLeben BearbeitenKohlenbach studierte nach dem Abitur am Lessing Gymnasium in Frankfurt am Main ab 1981 Mathematik Philosophie und Linguistik in Frankfurt mit dem Diplom in Mathematik 1986 und wurde dort 1990 bei Horst Luckhardt promoviert Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen Effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen 1 Nach der Habilitation in Frankfurt 1995 Real growth in standard parts of analysis war er Visiting Assistant Professor an der University of Michigan und war ab 1997 an der Universitat Aarhus ab 2000 als Associate Professor mit Tenure 2004 wurde er ordentlicher Professor fur Mathematik an der Technischen Universitat Darmstadt Er befasst sich mit der Untersuchung mathematischer Beweise speziell in verschiedenen Bereichen der Analysis Proof mining ein Forschungsprogramm das er ab Anfang der 1990er Jahre entwickelte um daraus effektive Schranken in der Analysis selbst abzuleiten Kohlenbach war eingeladener Sprecher auf dem Internationalen Mathematikerkongress 2018 in Rio de Janeiro Proof theoretic Methods in Nonlinear Analysis Er ist Prasident der Association for Symbolic Logic 2016 und Herausgeber der Annals of Pure and Applied Logic 2008 bis 2012 war er Vorsitzender der Deutschen Vereinigung fur mathematische Logik und fur Grundlagenforschung der exakten Wissenschaften 2011 erhielt er den hoch dotierten Kurt Godel Forschungspreis der Kurt Godel Gesellschaft und der John Templeton Foundation 2 Schriften Auswahl BearbeitenApplied Proof Theory Proof Interpretations and Their Use in Mathematics Springer 2008 mit Paulo Oliva Proof Mining A systematic way of analysing proofs in mathematics Proc Steklov Inst Math Band 242 2003 S 136 164Weblinks BearbeitenWebseite an der TU DarmstadtEinzelnachweise Bearbeiten Ulrich Kohlenbach im Mathematics Genealogy Project englisch Vorlage MathGenealogyProject Wartung id verwendet Jorg Feuck Ulrich Kohlenbach erhalt den mit 100 000 Euro dotierten Forschungspreis der Kurt Godel Gesellschaft idw 28 April 2011Normdaten Person GND 1143631900 lobid OGND AKS LCCN n2008055905 VIAF 31472533 Wikipedia Personensuche PersonendatenNAME Kohlenbach UlrichALTERNATIVNAMEN Kohlenbach Ulrich Wilhelm vollstandiger Name KURZBESCHREIBUNG deutscher MathematikerGEBURTSDATUM 27 Juli 1962GEBURTSORT Frankfurt am Main Abgerufen von https de wikipedia org w index php title Ulrich Kohlenbach amp oldid 239090107