Heinz-Dieter Ebbinghaus
{{Use dmy dates|date=March 2023}}
{{short description|German mathematician and logician}}
File:Heinz Dieter Ebbinghaus.jpg, 1974]]
Heinz-Dieter Ebbinghaus (born 22 February 1939 in Hemer, Province of Westphalia) is a German mathematician and logician. He received his PhD in 1967 at the University of Münster under Hans Hermes and Dieter Rödding.{{cite web |title=Heinz-Dieter Ebbinghaus |url=https://www.genealogy.math.ndsu.nodak.edu/id.php?id=21544 |website=The Mathematics Genealogy Project |access-date=23 June 2022}}
Ebbinghaus has written various books on logic, set theory and model theory, including a seminal{{Citation needed|date=April 2011}} work on Ernst Zermelo. His book Einführung in die mathematische Logik, joint work with Jörg Flum and Wolfgang Thomas, first appeared in 1978 and became a standard textbook of mathematical logic in the German-speaking area. It is currently in its sixth edition ({{ISBN|9783662580288}}). An English edition of Mathematical Logic was published in the Springer-Verlag Undergraduate Texts in Mathematics series in 1984 ({{ISBN|0387908951}}), with a second edition in 1994 ({{ISBN|0-387-94258-0}}) and a third edition in 2021 ({{ISBN|978-3030738389}}).
Books
- Heinz-Dieter Ebbinghaus, Volker Peckhaus. Ernst Zermelo: An Approach to His Life and Work, 2007, {{ISBN|978-3-642-08050-0}}.
- Heinz-Dieter Ebbinghaus, Jörg Flum. Finite Model Theory, 2005, {{ISBN|3-540-28787-6}}.
- Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. Einführung in die mathematische Logik, six editions since 1978.
References
{{Reflist}}
External links
- [http://home.mathematik.uni-freiburg.de/hde/Ebbinghaus.html Home page]
{{authority control}}
{{DEFAULTSORT:Ebbighaus, Heinzdieter}}
Category:20th-century German mathematicians
Category:People from the Province of Westphalia
Category:20th-century German philosophers
{{Germany-mathematician-stub}}