немецкий математик и логик. В 1915 г. он доказал, что любая правильно построенная формула функционального исчисления 1-го порядка, а следовательно, и любая система таких формул, выполнимая в какой-нибудь бесконечной области, выполнима в счетной области, например в области всех целых чисел. Это утверждение и его обобщение называют теоремой Левенгейма – Сколема.
Досье личности
ЛЕВЕНГЕЙМ Леопольд
Имя латиницей: Lowenheim Leopold
Пол: мужской
Дата рождения: 26.06.1878
Место рождения: Крефельд, Германия
Дата смерти: 05.05.1940 Возраст (61)
Место смерти: Берлин, Германия
Знак зодиака: Рак
По восточному: Тигр
Ключевые слова: знание, логик, математик, наука.
Anno: 1915
Леопольд ЛЕВЕНГЕЙМ
- А. И. Бородин. Биографический словарь деятелей в области математики. - Киев, Радянська школа, 1979
- ru.wikipedia.org