Wolfgang Rautenberg - Wolfgang Rautenberg

Wolfgang Rautenberg
Wolfgang Rautenberg.jpg
Wolfgang Rautenberg 1975 en Berkeley
Nació 27 de febrero de 1936
Fallecido 4 de septiembre de 2011 (75 años)
Nacionalidad alemán
alma mater Freie Universität Berlín
Carrera científica
Campos Lógica matemática , fundamentos de las matemáticas
Asesor de doctorado Karl Schröter
Sitio web http://www.math.fu-berlin.de/~raut

Wolfgang Rautenberg (27 febrero 1936-4 septiembre 2011) era un alemán matemático y lógico cuyas áreas de investigación fueron la teoría de modelos , la lógica no clásica , la lógica modal , lógica temporal y autorreferencia .

La vida

Rautenberg nació en Potsdam . Se graduó con un abitur en el gimnasio de Ludwigslust . Estudió matemáticas y física en la Universidad Humboldt de Berlín Este ( RDA ), y allí en 1963 Rautenberg se doctoró y trabajó como lógico. En 1968 Rautenberg se graduó de la Universidad Humboldt como profesor académico. De 1969 a 1973 Rautenberg fue docente en la Universidad Humboldt. Debido a que la Stasi se puso en contacto con él para obligarlo a cooperar, Rautenberg dejó Alemania Oriental en 1973 y en 1974 se convirtió en profesor en Alemania Occidental . En 1976 aceptó una convocatoria para presidir el departamento académico de lógica matemática y fundamentos de las matemáticas en la Freie Universität Berlin .

Wolfgang Rautenberg también fue un colaborador muy activo en la comunidad de calculadoras HP48 y HP49G / HP49G + , con muchas contribuciones importantes.

Libros

  • W. Rautenberg, ed. (1987), Omega-Bibliografía de lógica matemática , vol. Yo, lógica clásica, Heidelberg: Springer |volume=tiene texto extra ( ayuda ).
  • W. Rautenberg, ed. (1987), Omega-Bibliografía de lógica matemática , vol. II, Lógica no clásica, Heidelberg: Springer |volume=tiene texto extra ( ayuda ).
  • W. Rautenberg (2010), A Concise Introduction to Mathematical Logic (3.a ed.), Nueva York : Springer Science + Business Media , doi : 10.1007 / 978-1-4419-1221-3 , ISBN 978-1-4419-1220-6.

Referencias

Referencias

enlaces externos