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