Wolfgang Rautenberg
Wolfgang Rautenberg (born February 27, 1936 in Potsdam ; † September 4, 2011 in Berlin ) was a German mathematician and logician .
Life
Rautenberg studied at the Humboldt University in Berlin , where he received his doctorate in 1963 and his habilitation in 1968. In 1973 Rautenberg left the GDR for West Germany . From 1974 he was professor and from 1976 full professor at the Free University of Berlin , Department of Mathematical Logic and Fundamentals of Mathematics .
His main research interests were model theory , non-classical logic , modal logic , self-reference and the logic of time .
From its foundation until 1973, Rautenberg was the head of the Mathematical Student Society in Berlin. As early as 1960, Rautenberg had also worked on the side for teacher training for years.
Between 1990 and 2002 Rautenberg was a sideline program developer for handhelds ( HP-49G ) from Hewlett-Packard .
Wolfgang Rautenberg died in Berlin at the beginning of September 2011 at the age of 75. His grave is in the state-owned cemetery Heerstraße in Berlin-Westend (grave location: 5-J-15).
Fonts
As an author:
- About metatheoretical properties of some geometric theories. In: Journal for Mathematical Logic and Fundamentals of Mathematics , Volume 8, 1962, pp. 5–41 ( dissertation , HU Berlin, 1964).
- Elementary schemes of non-elementary axioms. In: Journal for Mathematical Logic and Fundamentals of Mathematics , Volume 13, 1967, pp. 329-366 ( habilitation thesis , HU Berlin, 1968).
- Real numbers in elementary representation. Klett, Stuttgart 1979, ISBN 3-12-983320-X .
- Classical and non-classical propositional logic (= logic and fundamentals of mathematics. Volume 22). Vieweg, Wiesbaden 1979, ISBN 3-528-08385-9 .
- Elementary foundations of analysis . BI-Wissenschaftsverlag , Mannheim 1993, ISBN 3-411-16611-8 .
-
Introduction to Mathematical Logic. A textbook with logic programming in mind . Vieweg, Braunschweig 1996, ISBN 3-528-06754-3 .
- 3rd, revised edition: Introduction to Mathematical Logic. A textbook. Vieweg + Teubner, Wiesbaden 2008, ISBN 978-3-8348-0578-2 , doi: 10.1007 / 978-3-8348-9530-1 .
- English translation, 3rd edition: A Concise Introduction to Mathematical Logic. Springer, New York 2010, ISBN 978-1-4419-1220-6 , doi: 10.1007 / 978-1-4419-1221-3 .
- Measuring and counting: A simple construction of real numbers (= Berlin study series on mathematics . Volume 18 ). Heldermann, Lemgo 2007, ISBN 978-3-88538-118-1 .
As editor:
- Classical Logic (= Omega Bibliography of Mathematical Logic. Volume 1). Springer, Heidelberg 1987.
- Non-Classical Logic (= Omega Bibliography of Mathematical Logic. Volume 2). Springer, Heidelberg 1987.
literature
- Wolfgang Rautenberg. In: Kurt Gödel : Correspondence H-Z (= Collected Works. Vol. 5). Edited by Solomon Feferman et al. Oxford University Press, Oxford 2003, pp. 179-183 ( online ).
Web links
- Former website of Wolfgang Rautenberg at the Free University of Berlin
- The Department of Mathematics and Computer Science mourns Prof. Wolfgang Rautenberg . Website of the Freie Universität Berlin, News from September 7, 2011
Individual evidence
- ↑ a b c Kürschner's German Scholars Calendar . 14th edition. De Gruyter, Berlin / New York 1983, Volume 3, p. 3298.
personal data | |
---|---|
SURNAME | Rautenberg, Wolfgang |
BRIEF DESCRIPTION | German mathematician |
DATE OF BIRTH | February 27, 1936 |
PLACE OF BIRTH | Potsdam |
DATE OF DEATH | 4th September 2011 |
Place of death | Berlin |