Heinz-Dieter Ebbinghaus (born 22 February 1939 in

Hemer Hemer is a town in the Märkischer Kreis district, in North Rhine-Westphalia, Germany. Geography Hemer is located at the north end of the Sauerland near the Ruhr river. The highest elevation, at 546 metres (1,791 ft), is in the ''Balver Wa ...

Province of Westphalia The Province of Westphalia () was a province of the Kingdom of Prussia and the Free State of Prussia from 1815 to 1946. In turn, Prussia was the largest component state of the German Empire from 1871 to 1918, of the Weimar Republic and from 191 ...

) is a German

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

and logician. He received his PhD in 1967 at the

University of Münster The University of Münster (german: Westfälische Wilhelms-Universität Münster, WWU) is a public research university located in the city of Münster, North Rhine-Westphalia in Germany. With more than 43,000 students and over 120 fields of stud ...

under Hans Hermes and Dieter Rödding. Ebbinghaus has written various books on

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...

set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concern ...

and

model theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (math ...

, including a seminal work on

Ernst Zermelo Ernst Friedrich Ferdinand Zermelo (, ; 27 July 187121 May 1953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics. He is known for his role in developing Zermelo–Fraenkel axiomatic ...

. 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 (). An English edition of ''Mathematical Logic'' was published in the

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...

Undergraduate Texts in Mathematics Undergraduate Texts in Mathematics (UTM) (ISSN 0172-6056) is a series of undergraduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are small yellow bo ...

series in 1984 (), with a second edition in 1994 () and a third edition in 2021 ().

Books

* Heinz-Dieter Ebbinghaus, Volker Peckhaus. ''Ernst Zermelo: An Approach to His Life and Work'', 2007, . * Heinz-Dieter Ebbinghaus, Jörg Flum. ''Finite Model Theory'', 2005, . * Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. ''Einführung in die mathematische Logik'', six editions since 1978.

References

External links

Home page
1939 births Living people German logicians 20th-century German mathematicians Model theorists People from Hemer People from the Province of Westphalia Set theorists German philosophers German male writers {{Germany-mathematician-stub