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

Материал из Онлайн справочника
Версия от 08:16, 20 марта 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} {{Use dmy dates|date=March 2023}} {{short description|German mathematician and logician}} thumb|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 Herm...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон: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