Лёвенгейм, Леопольд

Леопольд Лёвенгейм
Дата рождения	26 июня 1878(1878-06-26)[1]
Место рождения	Крефельд, Дюссельдорф, Рейнская провинция, Пруссия, Германская империя
Дата смерти	5 мая 1957(1957-05-05)[1] (78 лет)
Место смерти	Берлин, ГДР[1]
Страна	Германия
Род деятельности	математик, философ
Научная сфера	математическая логика
Альма-матер	Университет Фридриха Вильгельма^[вд] (1901)[2] Luisengymnasium Berlin^[вд] (1896)[3] Берлинская высшая техническая школа^[вд] (1901)[2]
Медиафайлы на Викискладе

Леопо́льд Лё́венгейм (иногда встречаются транскрипции Лёвенхейм или Лёвенхайм, нем. Leopold Löwenheim, 1878—1957) — немецкий математик. Внёс важный вклад в математическую логику.

Биография и научная деятельность

Родился в 1878 году в Крефельде в семье учителя математики. Окончил среднюю школу в 1896 году. Учился в Берлинском университете (1896—1901), одновременно посещал Высшую техническую школе в Шарлоттенбурге. Далее работал учителем в Берлине. В 1904 году принят старшим преподавателем гимназии в Берлин-Лихтенберге^[4]. С 1906 года — член Берлинского математического общества.

В 1915—1916 годах принимал участие в Первой мировой войне, что не помешало ему в этот период работать в области логики. В течение одиннадцати лет (1908—1919 годы) Лёвенгейм опубликовал ряд важных статей. Важнейшим научным достижением учёного стала теорема Лёвенгейма — Скулема (1915), которая часто считается отправной точкой для теории моделей.

После захвата власти в Германии нацистами (1933) Лёвенгейм был вынужден уйти в отставку, потому что по Нюрнбергским расовым законам он считался только на три четверти арийцем. В 1943 году все его неопубликованные рукописи были уничтожены во время бомбардировки Берлина. Тем не менее, он пережил Вторую Мировую войну, после чего возобновил преподавание математики^[5].

Главные труды

• Leopold Löwenheim. Über das Auflösungsproblem im logischen Klassenkalkül (нем.) // Sitzungsberichte der Berliner mathematischen Gesellschaft : magazin. — 1908. — Bd. 7. — S. 89—94.
• Leopold Löwenheim. Über die Auflösung von Gleichungen im logischen Gebietekalkül (нем.) // Mathematische Annalen : magazin. — 1910. — Bd. 68. — S. 169—207.
• Leopold Löwenheim. Über Transformationen im Gebietekalkül (неопр.) // Mathematische Annalen. — 1913. — Т. 73. — С. 245—272.
• Leopold Löwenheim. Über Möglichkeiten im Relativkalkül (неопр.) // Mathematische Annalen. — 1915. — Т. 76. — С. 447—470.
• Leopold Löwenheim. Über eine Erweiterung des Gebietekalküls, welche auch die gewöhnliche Algebra umfaßt (нем.) // Archiv für systematische Philosophie : magazin. — 1915. — Bd. 21. — S. 137—148.
• Leopold Löwenheim. Einkleidung der Mathematik in Schröderschen Relativkalkül (нем.) // Journal of Symbolic Logic^[англ.] : magazin. — 1940. — Bd. 5. — S. 1—15. — doi:10.2307/2269177. — JSTOR 2269177.
• Leopold Löwenheim. On Making Indirect Proofs Direct (неопр.) // Scripta mathematica. — 1946. — Т. 12. — С. 125—147..

Литература

• Бородин А. И., Бугай А. С. Биографический словарь деятелей в области математики. — Киев: Радянська школа, 1979. — С. 300—301. — 607 с.

Ссылки

* Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Лёвенгейм, Леопольд (англ.) — биография в архиве MacTutor.

Примечания

1. Архив по истории математики Мактьютор — 1994.
2. https://www.tandfonline.com/doi/pdf/10.1080/01445340701708852?needAccess=true — С. 292.
3. https://www.tandfonline.com/doi/pdf/10.1080/01445340701708852?needAccess=true — С. 290.
4. Thiel, Christian (2007). A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper Архивная копия от 5 июля 2020 на Wayback Machine. History and Philosophy of Logic, 28 (4), 289-302.
5. MacTutor.