Wolfgang Rautenberg

Wolfgang Rautenberg

Wolfgang Rautenberg (* 27. Februar 1936 in Potsdam; † 4. September 2011 in Berlin) war ein deutscher Mathematiker und Logiker.

Leben

Rautenberg studierte an der Humboldt-Universität zu Berlin, dort erfolgte auch 1963 seine Promotion und 1968 seine Habilitation. 1973 verließ Rautenberg die DDR nach Westdeutschland. Ab 1974 war er Professor und ab 1976 ordentlicher Professor an der Freien Universität Berlin, Fachgebiet Mathematische Logik und Grundlagen der Mathematik.

Seine Forschungsschwerpunkte waren Modelltheorie, Nichtklassische Logik, Modallogik, Selbstreferenz und Zeitlogik.

Seit ihrer Gründung bis 1973 war Rautenberg Leiter der Mathematischen Schülergesellschaft, Berlin. Schon seit 1960 hatte Rautenberg jahrelang nebenbei auch für die Lehrerweiterbildung gearbeitet.

Zwischen 1990 und 2002 war Rautenberg in einer Nebentätigkeit Programmentwickler für Handhelds (HP-49G) von Hewlett-Packard.

Schriften

• Über metatheoretische Eigenschaften einiger geometrischer Theorien. In: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Band 8, 1962, S. 5–41 (Dissertation). 
• Elementare Schemata nichtelementarer Axiome. In: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Band 13, 1967, S. 329–366 (Habilitationsschrift). 
• Reelle Zahlen in elementarer Darstellung. Klett, Stuttgart 1979, ISBN 3-12-983320-X. 
• Klassische und nichtklassische Aussagenlogik (= Logik und Grundlagen der Mathematik. Band 22). Vieweg, Wiesbaden 1979, ISBN 3-528-08385-9. 
• W. Rautenberg (Hrsg.): Classical Logic (= Omega-Bibliography of Mathematical Logic. Vol. I). Springer, Heidelberg 1987. 
• W. Rautenberg (Hrsg.): Non-Classical Logic (= Omega-Bibliography of Mathematical Logic. Vol. II). Springer, Heidelberg 1987. 
• Elementare Grundlagen der Analysis. BI-Wissenschaftsverlag, Mannheim 1993. 
• Einführung in die Mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung. Vieweg, Braunschweig 1996, ISBN 3-528-06754-3. 
• Einführung in die Mathematische Logik. 3. Auflage. Vieweg+Teubner, Wiesbaden 2008, ISBN 978-3-8348-0578-2, doi:10.1007/978-3-8348-9530-1 (springerlink.com). 
• Messen und Zählen: Eine einfache Konstruktion der reellen Zahlen (= Berliner Studienreihe zur Mathematik. Band 18). Heldermann, Lemgo 2007, ISBN 978-3-88538-118-1. 
• A Concise Introduction to Mathematical Logic. Springer Science+Business Media, New York 2010, ISBN 978-1-4419-1220-6, doi:10.1007/978-1-4419-1221-3 (third edition). 

Literatur

• Kurt Gödel: Correspondence H-Z. In: Solomon Feferman, John W. Dawson, Jr., Charles Parson et al. (Hrsg.): Collected Works. Vol. V. Oxford University Press, Oxford 2003, ISBN 0-19-850075-0, S. 179–183. 
• Werner Schuder (Hrsg.): Kürschners Deutscher Gelehrten-Kalender 1983. Walter de Gruyter, 1983, ISBN 3-11-008558-5, ISSN 0341-8049. 

Weblinks

• Ehemalige Website von Wolfgang Rautenberg bei der Freien Universität Berlin
• Der Fachbereich Mathematik und Informatik trauert um Prof. Wolfgang Rautenberg, Website der Freien Universität Berlin, 10. Oktober 2010