Леопольд Левенхайм
Леопольд Левенхайм | |
|---|---|
| Рожденный | 26 июня 1878 г. |
| Умер | 5 мая 1957 г. ( 78 лет |
| Альма-матер | Берлинский университет , Берлинский технический университет |
| Известный | Теорема Левенхайма – Скулема |
| Супруг | Йоханна Рассмуссен |
| Научная карьера | |
| Поля | Математическая логика |
Леопольд Левенхайм [ˈle:o:pɔl̩d ˈlø:vɛnhaɪm] (26 июня 1878 года в Крефельде — 5 мая 1957 года в Берлине ) — немецкий математик , работавший в области математической логики . Нацистский Нюрнбергским режим вынудил его уйти в отставку, поскольку по законам он считался арийцем лишь на три четверти . В 1943 году большая часть его работ была уничтожена во время бомбардировки Берлина. Тем не менее, он пережил Вторую мировую войну , после чего возобновил преподавание математики . [1]
Левенхайм (1915) дал первое доказательство того, что сейчас известно как теорема Левенгейма-Скулема , которую часто считают отправной точкой теории моделей .
Леопольд был сыном Людвига Левенхайма, преподавателя математики в политехническом институте Крефельда , и Элизабет Рён, писательницы. В 1881 году все трое уехали из Крефельда сначала в Неаполь , а затем в Берлин , где Людвиг был частным ученым, работавшим над всесторонним описанием влияния Демокрита на современную науку. Хотя он надеялся, что это позволит ему получить работу преподавателя в Университете Гумбольдта, Людвиг умер в 1894 году. [2]
Публикации
[ редактировать ]- Левенхайм, Леопольд (1908). «О проблеме разрешения в исчислении логических классов» . Отчеты о заседаниях Берлинского математического общества (на немецком языке). 7 :89–94.
- Левенхайм, Леопольд (1910). «О разрешении уравнений в исчислении логических областей» (PDF) . Математические анналы (на немецком языке). 68 (2): 169–207. дои : 10.1007/bf01474159 . S2CID 122434845 .
- Левенхайм, Леопольд (1913). «О преобразованиях в исчислении площадей» (PDF) . Математические анналы (на немецком языке). 73 (2): 245–272. дои : 10.1007/bf01456715 . S2CID 120979593 .
- Левенхайм, Леопольд (1915). «О возможностях относительного исчисления» (PDF) . Математические анналы (на немецком языке). 76 (4): 447–470. дои : 10.1007/bf01458217 . S2CID 116581304 . Переведено как «О возможностях исчисления родственников» у Жана ван Хейеноорта , 1967. Справочник по математической логике, 1879–1931 . Гарвардский университет Пресса: 228-251.
- Левенхайм, Леопольд (1915). «О расширении исчисления площадей, включающем и обычную алгебру» . Архив систематической философии (на немецком языке). 21 : 137–148.
- Левенхайм, Леопольд (1940). «Одежда математики в относительном исчислении Шредера». Журнал символической логики (на немецком языке). 5 (1): 1–15. дои : 10.2307/2269177 . JSTOR 2269177 . S2CID 250344187 .
- Левенхайм, Леопольд (1946). «О том, как сделать косвенные доказательства прямыми». Скрипта Математика . 12 (2). Перевод Уилларда Ван Ормана Куайна : 125–147.
Ссылки
[ редактировать ]- ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Леопольд Левенхайм» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ Тиль, Кристофер (2009). Беклемишев, Лев Дмитриевич (ред.). «Леопольд Левенхайм, Жизнь, работа и раннее влияние» . Доказуемость, вычислимость и отражение . Эльзевир. ISBN 9780080954967 .
Дальнейшее чтение
[ редактировать ]- Брэди, Джеральдин, 2000. От Пирса до Сколема . Северная Голландия. Содержит подробное толкование доказательства Левенхайма (1915) и обсуждает, как Торальф Скулем упростил это доказательство и расширил сферу применения и общность теоремы.
Внешние ссылки
[ редактировать ]- Левенхайм, Леопольд на encyclopedia.com
- Тиль, Кристиан (ноябрь 2007 г.). «Краткое введение в жизнь и творчество Левенхайма, а также в до сих пор неизвестную статью» . История и философия логики . 28 (4): 289–302. дои : 10.1080/01445340701708852 . S2CID 170174740 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
 | Эта статья о немецком математике незавершена . Вы можете помочь Википедии, расширив ее . |