Heinz-Dieter Ebbinghaus

Heinz-Dieter Ebbinghaus (born 22 February 1939 in Hemer, Province of Westphalia) is a German mathematician and logician.

Heinz Dieter Ebbinghaus in Hanover, 1974

Ebbinghaus wrote various books on logic, set theory and model theory, including a seminal 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 Mathematical Logic (ISBN 0387908951) was published in the Springer-Verlag Undergraduate Texts in Mathematics series in 1984 with a second edition in 1994 (ISBN 0-387-94258-0).

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.
gollark: Well, AutoBotRobot does a similar thing with deleted items.
gollark: C does not appear to want to cooperate with my dream of zero-punctuation code.
gollark: ```c#include <stdio.h>#define begin {#define end }#define params (#define endparams )#define paramseparator ,#define beginstring \"#define endstring \"#define pointer *int main params char argv paramseparator char pointer pointer endparams beginprintf params beginstring hello, world endstring endparamsend```
gollark: tio!debug
gollark: ```c#include <stdio.h>#define begin {#define end }#define params (#define endparams )#define paramseparator ,#define beginstring "#define endstring "#define pointer *int main params char argv paramseparator char pointer pointer endparams beginprintf params beginstring hello, world endstring endparamsend```


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.