Wolfgang Rautenberg (27 February 1936 − 4 September 2011) was a German mathematician and logician whose areas of research were model theory, non-classical logic, modal logic, temporal logic and self reference.
Wolfgang Rautenberg | |
---|---|
Born | 27 February 1936 Potsdam, Germany |
Died | 4 September 2011 (aged 75) Berlin, Germany |
Nationality | German |
Alma mater | Freie Universität Berlin |
Scientific career | |
Fields | Mathematical logic, foundations of mathematics |
Doctoral advisor | Karl Schröter |
Website | http://www.math.fu-berlin.de/~raut |
Life
editRautenberg was born in Potsdam. He graduated with an abitur from the gymnasium in Ludwigslust. He studied mathematics and physics at the Humboldt University in East Berlin (GDR), and there in 1963 Rautenberg received a doctorate and worked as a logician.[1][2] In 1968 Rautenberg graduated from the Humboldt University as an academic lecturer.[2] From 1969 to 1973 Rautenberg was docent at the Humboldt University.[2][3] Because the Stasi contacted him to force him into co-operation, Rautenberg left East Germany in 1973 and in 1974 became Professor in West Germany.[2] In 1976 he accepted a call to chair the academic department[2] for mathematical logic and foundations of mathematics at Freie Universität Berlin.
Wolfgang Rautenberg was also a very active contributor in the HP48 and HP49G / HP49G calculator community,[4][5][6] with many important contributions.[7]
Books
edit- W. Rautenberg, ed. (1987), Omega-Bibliography of Mathematical Logic, vol. I, Classical Logic, Heidelberg: Springer.[8]
- W. Rautenberg, ed. (1987), Omega-Bibliography of Mathematical Logic, vol. II, Non-Classical Logic, Heidelberg: Springer.[8]
- W. Rautenberg (2010), A Concise Introduction to Mathematical Logic (3rd ed.), New York City: Springer Science Business Media, doi:10.1007/978-1-4419-1221-3, ISBN 978-1-4419-1220-6.
References
edit- Der Präsident der Freien Universität Berlin, ed. (1990), Forschung an der Freien Universität Berlin, Fachbereich Mathematik, Berlin: Freie Universität Berlin, Forschungsvermittlung, ISBN 3-927433-18-7.
- Kurt Gödel (2003), Solomon Feferman; John W. Dawson, Jr.; Charles Parson; et al. (eds.), Collected Works, Volume V, Correspondence H–Z, Oxford: Clarendon Press, ISBN 0-19-850075-0.
- Werner Schuder, ed. (1983), Kürschners Deutscher Gelehrten-Kalender 1983, Berlin, New York: Walter de Gruyter, ISBN 3-11-008558-5, ISSN 0341-8049.
References
edit- ^ Forschung an der FU Berlin, FB Mathematik (1990), pp. 57–58.
- ^ a b c d e W. Schuder (1983), p. 3298.
- ^ K. Gödel (2003), pp. 179–183.
- ^ "Google USENET archive search results". groups.google.com. Retrieved April 4, 2020.
- ^ "Prof. Rautenberg's HP49G Tools". page.mi.fu-berlin.de. Archived from the original on August 4, 2004. Retrieved April 6, 2020.
- ^ "Prof. Dr. Wolfgang Rautenberg". page.mi.fu-berlin.de. Archived from the original on July 10, 2004. Retrieved April 6, 2020.
- ^ "Hpcalc.org search results". www.hpcalc.org. Retrieved April 4, 2020.
- ^ a b Barwise, K. Jon (1988). "Review: Ω-bibliography of mathematical logic". Bull. Amer. Math. Soc. 19: 524–525. doi:10.1090/S0273-0979-1988-15729-1.