Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Вольфганг Раутенберг
Вольфганг Раутенберг.jpg
Вольфганг Раутенберг 1975 в Беркли
Родившийся27 февраля 1936 г.
Потсдам , Германия
Умер4 сентября 2011 г. (75 лет)
Берлин , Германия
НациональностьНемецкий
Альма-матерСвободный университет Берлина
Научная карьера
ПоляМатематическая логика , основы математики
ДокторантКарл Шретер
Веб-сайтhttp://www.math.fu-berlin.de/~raut

Вольфганг Раутенберг (27 февраля 1936 - 4 сентября 2011) был немецким математиком и логиком , областями исследований которого были теория моделей , неклассическая логика , модальная логика , темпоральная логика и самореференция .

Жизнь [ править ]

Раутенберг родился в Потсдаме , Германия . Он закончил с аттестатом зрелости из гимназии в Ludwigslust . Он изучал математику и физику в Университете Гумбольдта в Восточном Берлине ( ГДР ), где в 1963 году Раутенберг получил докторскую степень и работал логиком. [1] [2] В 1968 году Раутенберг окончил Университет Гумбольдта по специальности преподаватель. [2] С 1969 по 1973 год Раутенберг был доцентом Университета Гумбольдта. [2] [3] ПосколькуШтази связался с ним, чтобы заставить его сотрудничать, Раутенберг покинул Восточную Германию в 1973 году и в 1974 году стал профессором в Западной Германии . [2] В 1976 году он принял вызов стул учебный отдел [2] для математической логики и основ математики в Свободном университете Берлина .

Вольфганг Раутенберг также был очень активным участником сообщества калькуляторов HP48 и HP49G / HP49G + , [4] [5] [6] и внес много важных вкладов. [7]

Книги [ править ]

  • W. Rautenberg, ed. (1987), Омега-библиография математической логики , Vol. I, Классическая логика, Гейдельберг: Springer |volume=есть дополнительный текст ( справка ). [8]
  • W. Rautenberg, ed. (1987), Омега-библиография математической логики , Vol. II, Неклассическая логика, Гейдельберг: Springer |volume=есть дополнительный текст ( справка ). [8]
  • В. Раутенберг (2010), Краткое введение в математическую логику (3-е изд.), Нью-Йорк : Springer Science + Business Media , DOI : 10.1007 / 978-1-4419-1221-3 , ISBN 978-1-4419-1220-6.

Ссылки [ править ]

  • Der Präsident der Freien Universität Berlin, изд. (1990), Forschung an der Freien Universität Berlin, Fachbereich Mathematik , Берлин: Freie Universität Berlin, Forschungsvermittlung, ISBN 3-927433-18-7.
  • Курт Гёдель (2003), Соломон Феферман; Джон У. Доусон младший; Чарльз Парсон; и другие. (ред.), Собрание сочинений, Том V, Переписка H – Z , Оксфорд: Clarendon Press, ISBN 0-19-850075-0.
  • Вернер Шудер, изд. (1983), Kürschners Deutscher Gelehrten-Kalender 1983 , Берлин, Нью-Йорк: Вальтер де Грюйтер, ISBN 3-11-008558-5, ISSN  0341-8049.

Заметки [ править ]

  1. ↑ Forschung an der FU Berlin, FB Mathematik (1990), стр. 57–58.
  2. ^ a b c d e W. Schuder (1983), стр. 3298.
  3. ↑ K. Gödel (2003), стр. 179–183.
  4. ^ "Результаты поиска в архиве Google USENET" . groups.google.com . Проверено 4 апреля 2020 года .
  5. ^ "Инструменты HP49G профессора Раутенберга" . page.mi.fu-berlin.de . Архивировано из оригинала на 4 августа 2004 года . Проверено 6 апреля 2020 года .
  6. ^ "Проф. Доктор Вольфганг Раутенберг" . page.mi.fu-berlin.de . Архивировано из оригинала 10 июля 2004 года . Проверено 6 апреля 2020 года .
  7. ^ "Результаты поиска Hpcalc.org" . www.hpcalc.org . Проверено 4 апреля 2020 года .
  8. ^ a b Барвайз, К. Джон (1988). «Рецензия: Ω-библиография математической логики » . Бык. Амер. Математика. Soc . 19 : 524–525. DOI : 10.1090 / S0273-0979-1988-15729-1 .

Внешние ссылки [ править ]

  • Домашняя страница


  • v
  • т
  • е