Wolfgang Rautenberg
Wolfgang Rautenberg (Potsdam, 27 de fevereiro de 1936 — Berlim, 4 de setembro de 2011) foi um matemático alemão. Especialista em lógica, com pesquisas nas áreas de teoria dos modelos, lógica não clássica, lógica modal, lógica temporal e autorreferência.
Vida
Rautenberg nasceu em Potsdam, Alemanha. Obteve o abitur no ginásio de Ludwigslust. Estudou matemática e física na Universidade Humboldt em Berlim Leste, Alemanha Oriental, onde obteve um doutorado em 1963 e trabalhou depois como lógico.[1][2] Em 1968 Rautenberg habilitou-se na Universidade Humboldt.[2] De 1969 a 1973 Rautenberg foi docente na Universidade Humboldt.[2][3] Quando a Stasi o procurou para força-lo a cooperar, Rautenberg abandonou a Alemanha Oriental em 1973 e em 1974 tornou-se professor na Alemanha Ocidental.[2] Em 1976 aceitou uma chamada para chairman do departamento acadêmico[2] para lógica matemática e fundamentos da matemática da Universidade Livre de Berlim.
Livros
- W. Rautenberg, ed. (1987), Omega-Bibliography of Mathematical Logic, Vol. I, Classical Logic, Heidelberg: Springer .
- W. Rautenberg, ed. (1987), Omega-Bibliography of Mathematical Logic, Vol. II, Non-Classical Logic, Heidelberg: Springer .
- W. Rautenberg (2010), A Concise Introduction to Mathematical Logic, ISBN 978-1-4419-1220-6 3rd ed. , New York: Springer Science+Business Media, doi:10.1007/978-1-4419-1221-3 .
Referências
- ↑ 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.
Bibliografia
- Der Präsident der Freien Universität Berlin, ed. (1990), Forschung an der Freien Universität Berlin, Fachbereich Mathematik, ISBN 3-927433-18-7, Berlin: Freie Universität Berlin, Forschungsvermittlung .
- Kurt Gödel (2003), Solomon Feferman, John W. Dawson, Jr., Charles Parson; et al., eds., Collected Works, Volume V, Correspondence H–Z, ISBN 0-19-850075-0, Oxford: Clarendon Press .
- Werner Schuder, ed. (1983), Kürschners Deutscher Gelehrten-Kalender 1983, ISBN 3-11-008558-5, Berlin, New York: Walter de Gruyter, ISSN 0341-8049 .
Ligações externas
|
|