Генрих Беманн - Heinrich Behmann

Генрих Беманн, 1930 в Йене

Генрих Беманн (10 января 1891 г., Бремен- Аумунд - 3 февраля 1970 г., Бремен-Аумунд) был немецким математиком . Он проводил исследования в области теории множеств и логики предикатов .

Беманн изучал математику в Тюбингене , Лейпциге и Геттингене . Во время Первой мировой войны он был ранен и получил Железный крест 2-й степени . Дэвид Гильберт руководил подготовкой его докторской диссертации «Антиномия трансфинитен Захл унд ихре Auflösung durch die Theorie von Russell und Whitehead» . В 1922 году Беман доказал, что монадическое исчисление предикатов разрешимо. В 1938 году он получил профессорскую кафедру математики в Галле (Заале) . В 1945 году он был уволен за членство в НСДАП .

Внешние ссылки

  • Биография (на немецком языке)
  • Генрих Беманн на проекте « Математическая генеалогия»
  • Манкосу, Паоло (сентябрь 1999 г.). «Между Расселом и Гильбертом: Генрих Беман об основах математики» . Вестник символической логики . 5 (3): 303–330. DOI : 10.2307 / 421183 . JSTOR  421183 . Проверено 7 августа 2007 .