Wolfgang Rautenberg

Wolfgang Rautenberg ( born February 27, 1936 in Potsdam; † 4 September 2011 in Berlin) was a German mathematician and logician.

Life

Rautenberg studied at Humboldt University in Berlin, there took place in 1963 his doctorate and his habilitation in 1968. In 1973 Rautenberg the GDR to West Germany. From 1974 he was professor and in 1976 full professor at the Free University of Berlin, Department of Mathematical Logic and Foundations of Mathematics.

His research focus was on model theory, Non-classical logic, modal logic, self-reference and time logic.

Since its foundation to 1973 was Rautenberg Head of the Mathematical Student Society, Berlin. Already since 1960 Rautenberg had incidentally worked for years for the teacher training.

Between 1990 and 2002 Rautenberg was in a secondary activity program developer for handhelds (HP- 49G ) from Hewlett -Packard.

Writings

As the author:

  • About metatheoretical properties of some geometric theories. In: Journal of mathematical logic and foundations of mathematics. Vol 8 (1962 ), pp. 5-41 (Dissertation, HU Berlin, 1964).
  • Basic schemes not elementary axioms. In: Journal of mathematical logic and foundations of mathematics. Vol 13 (1967 ), pp. 329-366 ( Habilitation thesis, Humboldt University of Berlin, 1968).
  • Real numbers in elemental representation. Klett, Stuttgart 1979, ISBN 3-12-983320- X.
  • Classical and non-classical propositional logic ( = logic and foundations of mathematics. Vol. 22). Vieweg, Wiesbaden 1979, ISBN 3-528-08385-9.
  • Basic foundations of analysis. BI Publisher Science, Mannheim, Germany 1993, ISBN 3-411-16611-8.
  • Introduction to Mathematical Logic. A textbook account of logic programming. 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.

As the editor:

  • Classical Logic ( = Omega - Bibliography of Mathematical Logic. Vol. 1). Springer, Heidelberg 1987.
  • Non-Classical Logic ( = Omega - Bibliography of Mathematical Logic. Vol. 2). Springer, Heidelberg 1987.
September 4 Temporal logic HP-48 series Hewlett-Packard
828186
de