Меню
Главная
Случайная статья
Настройки
|
Леопольд Лёвенгейм (иногда встречаются транскрипции Лёвенхейм или Лёвенхайм, нем. Leopold Lwenheim, 1878—1957) — немецкий математик. Внёс важный вклад в математическую логику.
Содержание
Биография и научная деятельность
Родился в 1878 году в Крефельде в семье учителя математики. Окончил среднюю школу в 1896 году. Учился в Берлинском университете (1896—1901), одновременно посещал Высшую техническую школе в Шарлоттенбурге. Далее работал учителем в Берлине. В 1904 году принят старшим преподавателем гимназии в Берлин-Лихтенберге[4]. С 1906 года — член Берлинского математического общества.
В 1915—1916 годах принимал участие в Первой мировой войне, что не помешало ему в этот период работать в области логики. В течение одиннадцати лет (1908—1919 годы) Лёвенгейм опубликовал ряд важных статей. Важнейшим научным достижением учёного стала теорема Лёвенгейма — Скулема (1915), которая часто считается отправной точкой для теории моделей.
После захвата власти в Германии нацистами (1933) Лёвенгейм был вынужден уйти в отставку, потому что по Нюрнбергским расовым законам он считался только на три четверти арийцем. В 1943 году все его неопубликованные рукописи были уничтожены во время бомбардировки Берлина. Тем не менее, он пережил Вторую Мировую войну, после чего возобновил преподавание математики[5].
Главные труды
Литература- Бородин А. И., Бугай А. С. Биографический словарь деятелей в области математики. — Киев: Радянська школа, 1979. — С. 300—301. — 607 с.
Ссылки
* Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Лёвенгейм, Леопольд (англ.) — биография в архиве MacTutor.
Примечания
- 1 2 3 Архив по истории математики Мактьютор — 1994.
- 1 2 https://www.tandfonline.com/doi/pdf/10.1080/01445340701708852?needAccess=true — С. 292.
- https://www.tandfonline.com/doi/pdf/10.1080/01445340701708852?needAccess=true — С. 290.
- Thiel, Christian (2007). A Short Introduction to Lwenheim's Life and Work and to a Hitherto Unknown Paper Архивная копия от 5 июля 2020 на Wayback Machine. History and Philosophy of Logic, 28 (4), 289-302.
- MacTutor.
|
|