Heinz-Dieter Ebbinghaus (nacido el 22 de febrero de 1939 en Hemer , provincia de Westfalia ) es un matemático y lógico alemán .
Ebbinghaus escribió varios libros sobre lógica , teoría de conjuntos y teoría de modelos , incluido un trabajo seminal [ cita requerida ] sobre Ernst Zermelo . Su libro Einführung in die mathische Logik , trabajo conjunto con Jörg Flum y Wolfgang Thomas, apareció por primera vez en 1978 y se convirtió en un libro de texto estándar de lógica matemática en el área de habla alemana. Actualmente se encuentra en su sexta edición ( ISBN 9783662580288 ). Se publicó una edición en inglés de Mathematical Logic ( ISBN 0387908951 ) en Springer-Verlag Undergraduate Texts in Mathematics serie en 1984 con una segunda edición en 1994 ( ISBN 0-387-94258-0 ).
Libros [ editar ]
- Heinz-Dieter Ebbinghaus, Volker Peckhaus. Ernst Zermelo: Un enfoque a su vida y obra , 2007, ISBN 978-3-642-08050-0 .
- Heinz-Dieter Ebbinghaus, Jörg Flum. Teoría de modelos finitos , 2005, ISBN 3-540-28787-6 .
- Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. Einführung in die mathische Logik , seis ediciones desde 1978.