Вольфганг Раутенберг
Вольфганг Раутенберг | |
---|---|
![]() Вольфганг Раутенберг, 1975 год, Беркли. | |
Рожденный | 27 февраля 1936 г. Потсдам , Германия |
Умер | 4 сентября 2011 г. (75 лет) Берлин , Германия |
Национальность | немецкий |
Альма-матер | Свободный университет Берлина |
Научная карьера | |
Поля | Математическая логика , основы математики |
Докторантура | Карл Шретер |
Веб-сайт | http://www.math.fu-berlin.de/~raut |
Вольфганг Раутенберг (27 февраля 1936 — 4 сентября 2011) был немецким математиком и логиком, чьими областями исследований были теория моделей , неклассическая логика , модальная логика , темпоральная логика и самоссылка .
Жизнь [ править ]
Раутенберг родился в Потсдаме . Окончил абитуриентом гимназию в с Людвигслусте . Он изучал математику и физику в Университете Гумбольдта в Восточном Берлине ( ГДР ), и там в 1963 году Раутенберг получил докторскую степень и работал логиком. [1] [2] В 1968 году Раутенберг окончил Университет Гумбольдта со степенью академического преподавателя. [2] С 1969 по 1973 год Раутенберг был доцентом Университета Гумбольдта. [2] [3] Поскольку Штази связалась с ним, чтобы заставить его сотрудничать, Раутенберг покинул Восточную Германию в 1973 году и в 1974 году стал профессором в Западной Германии . [2] В 1976 году он принял приглашение возглавить академический отдел. [2] по математической логике и основам математики в Свободном университете Берлина .
Вольфганг Раутенберг также был очень активным участником сообщества калькуляторов HP48 и HP49G/HP49G+ . [4] [5] [6] со многими важными вкладами. [7]
Книги [ править ]
- В. Раутенберг, изд. (1987), Омега-библиография по математической логике , вып. Я, Классическая логика, Гейдельберг: Springer . [8]
- В. Раутенберг, изд. (1987), Омега-библиография по математической логике , вып. II, Неклассическая логика, Гейдельберг: Springer . [8]
- В. Раутенберг (2010), Краткое введение в математическую логику (3-е изд.), Нью-Йорк: Springer Science + Business Media , doi : 10.1007/978-1-4419-1221-3 , ISBN 978-1-4419-1220-6 .
Ссылки [ править ]
- Президент Свободного университета Берлина, изд. (1990), Исследования Свободного университета Берлина, факультет математики , Берлин: Свободный университет Берлина, Research Communication, ISBN. 3-927433-18-7 .
- Курт Гёдель (2003), Соломон Феферман; Джон В. Доусон-младший; Чарльз Парсон; и др. (ред.), Собрание сочинений, Том V, Переписка H – Z , Оксфорд: Clarendon Press, ISBN 0-19-850075-0 .
- Вернер Шудер , изд. (1983), Календарь немецких ученых Кюршнера на 1983 г. , Берлин, Нью-Йорк: Вальтер де Грюйтер, ISBN. 3-11-008558-5 , ISSN 0341-8049 .
Ссылки [ править ]
- ^ Исследования в Берлинском университете математики, факультет математики (1990), стр. 57–58.
- ↑ Перейти обратно: Перейти обратно: а б с д и В. Шудер (1983), стр. 3298.
- ^ К. Гёдель (2003), стр. 179–183.
- ^ «Результаты поиска в архиве Google USENET» . groups.google.com . Проверено 4 апреля 2020 г.
- ^ «Инструменты HP49G профессора Раутенберга» . page.mi.fu-berlin.de . Архивировано из оригинала 4 августа 2004 года . Проверено 6 апреля 2020 г.
- ^ «Профессор доктор Вольфганг Раутенберг» . page.mi.fu-berlin.de . Архивировано из оригинала 10 июля 2004 года . Проверено 6 апреля 2020 г.
- ^ «Результаты поиска Hpcalc.org» . www.hpcalc.org . Проверено 4 апреля 2020 г.
- ↑ Перейти обратно: Перейти обратно: а б Барвайз, К. Джон (1988). «Обзор: Ω-библиография по математической логике » . Бык. амер. Математика. Соц. 19 : 524–525. дои : 10.1090/S0273-0979-1988-15729-1 .