Wolfgang Rautenberg (27 febrero 1936 a 4 septiembre 2011) fue 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 .
Wolfgang Rautenberg | |
---|---|
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 |
La vida
Rautenberg nació en Potsdam , Alemania . 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. [1] [2] En 1968 Rautenberg se graduó de la Universidad Humboldt como profesor académico. [2] De 1969 a 1973 Rautenberg fue docente en la Universidad Humboldt. [2] [3] 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 . [2] En 1976 aceptó una convocatoria para presidir el departamento académico [2] 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 + , [4] [5] [6] con muchas contribuciones importantes. [7]
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 ). [8] - 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 ). [8] - 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
- Der Präsident der Freien Universität Berlin, ed. (1990), Forschung an der Freien Universität Berlin, Fachbereich Mathematik , Berlín: 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.), Obras completas, Volumen V, Correspondencia H – Z , Oxford: Clarendon Press, ISBN 0-19-850075-0.
- Werner Schuder, ed. (1983), Kürschners Deutscher Gelehrten-Kalender 1983 , Berlín, Nueva York: Walter de Gruyter, ISBN 3-11-008558-5, ISSN 0341-8049.
Notas
- ^ Forschung an der FU Berlin, FB Mathematik (1990), págs. 57–58.
- ↑ a b c d e W. Schuder (1983), pág. 3298.
- ^ K. Gödel (2003), págs. 179-183.
- ^ "Resultados de búsqueda de archivos de USENET de Google" . groups.google.com . Consultado el 4 de abril de 2020 .
- ^ "Herramientas HP49G del Prof. Rautenberg" . page.mi.fu-berlin.de . Archivado desde el original el 4 de agosto de 2004 . Consultado el 6 de abril de 2020 .
- ^ "Prof. Dr. Wolfgang Rautenberg" . page.mi.fu-berlin.de . Archivado desde el original el 10 de julio de 2004 . Consultado el 6 de abril de 2020 .
- ^ "Resultados de búsqueda de Hpcalc.org" . www.hpcalc.org . Consultado el 4 de abril de 2020 .
- ^ a b Barwise, K. Jon (1988). "Revisión: Ω-bibliografía de lógica matemática " . Toro. Amer. Matemáticas. Soc . 19 : 524-525. doi : 10.1090 / S0273-0979-1988-15729-1 .
enlaces externos
- Página de inicio