Леопольд Левенхайм

редактировать
Леопольд Левенхайм
Родился(1878-06-26) 26 июня 1878 года. Крефельд, Германия
Умер5 мая 1957 (1957-05 -05) (78 лет). Берлин, Германия
Alma materБерлинский университет, Берлинский технический университет
Известен какЛёвенхайм– Теорема Сколема
Супруг (ы)Йоханна Рассмуссен
Научная карьера
ПоляМатематическая логика

Леопольд Левенгейм (26 июня 1878 г. в Крефельд - 5 мая 1957 г. в Берлине ) был немцем математиком, занимавшимся математической логикой. Нацистский режим вынудил его уйти в отставку, потому что по Нюрнбергским законам он считался только три четверти арийцем. В 1943 году большая часть его работ была уничтожена во время бомбардировки Берлина. Тем не менее, он пережил Вторую мировую войну, после чего возобновил преподавание математики.

Левенхайм (1915) дал первое доказательство того, что теперь известно как теорема Левенхайма – Сколема, который часто считается отправной точкой теории моделей.

Леопольд был сыном Людвига Левенхайма, учителя математики в политехническом в Крефельде и Элизабет Рён, писатель. В 1881 году все трое покинули Крефельд сначала в Неаполь, а затем в Берлин, где Людвиг был частным ученым, работающим над всеобъемлющим отчетом о влиянии Демокрита на современные наука. Хотя он надеялся, что это даст ему работу преподавателя в Университете Гумбольдта Людвиг умер в 1894 году.

Содержание
  • 1 Публикации
  • 2 Ссылки
  • 3 Дополнительная литература
  • 4 Внешние ссылки
Публикации
Ссылки
Дополнительная литература
  • Брэди, Джеральдин, 2000. От Пирса до Сколема. Северная Голландия. Содержит подробный толкование доказательства в Löwenheim (1915) и обсуждает, как Торальф Сколем упростил это доказательство и расширил сферу применения и общность теоремы.
Внешние ссылки
  • Löwenheim, Leopold на encyclopedia.com
  • Тиль, Кристиан (ноябрь 2007 г.). "Краткое введение в жизнь и творчество Левенхайма и в до сих пор неизвестную статью". История и философия логики. 28 (4): 289–302. doi : 10.1080 / 01445340701708852. S2CID 170174740.

.

Последняя правка сделана 2021-05-26 06:48:59
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте