Английская Википедия:Heinz-Dieter Ebbinghaus

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Use dmy dates Шаблон:Short description

Файл:Heinz Dieter Ebbinghaus.jpg
Ebbinghaus in Hanover, 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.[1]

Ebbinghaus has written various books on logic, set theory and model theory, including a seminalШаблон:Citation needed 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). An English edition of Mathematical Logic was published in the Springer-Verlag Undergraduate Texts in Mathematics series in 1984 (Шаблон:ISBN), with a second edition in 1994 (Шаблон:ISBN) and a third edition in 2021 (Шаблон:ISBN).

Books

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

References

Шаблон:Reflist

External links

Шаблон:Authority control


Шаблон:Germany-mathematician-stub