норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным вопросам логики и философии (математики). Наиболее известный результат – т. н. теорема Лёвенхейма-Скулема, согласно которой любая аксиоматическая теория, имеющая бесконечную модель, имеет счетную модель, из чего следует относительность таких понятий, как счетность, несчетность, мощность множества («парадокс Скулема»), и возможность построения т. н. нестандартных моделей аксиоматических теорий. Его результаты и идеи используются в исследованиях по машинному поиску логического вывода.
Досье личности
СКУЛЕМ Туральф Альберт
Другое имя: Сколем Туральф Альберт
Имя латиницей: Skolem Thoralf Albert
Пол: мужской
Дата рождения: 23.05.1887
Место рождения: Сансвер, Норвегия
Дата смерти: 23.03.1963 Возраст (75)
Место смерти: Осло, Норвегия
Знак зодиака: Близнецы
По восточному: Свинья
География: НОРВЕГИЯ.
Ключевые слова: знание, логик, математик, наука, философ.
Anno: 1915
Туральф Альберт СКУЛЕМ
- http://en.wikipedia.org
- Большая советская энциклопедия. 3-е издание
- ВААГЕ Петер
- ДЕЛИ Бьорн
- КНУД I Великий
- МАРГРЕТЕ I
- ДЖАЙЕВЕР Айвар
- ОЛАФ II Харальдссон Святой
- КРИСТИАН VIII
- МАГНУС III
- ЭЙСТЕЙН II
- ФРЕДЕРИК V
- АРСКОГ Дагфинн
- БУЛЛЬ Олаф
- АГАРД Джон Мортимер
- БАРТОЛИН Биргер
- ЭГНЕР Турбьерн
- ХАРАЛЬД I Синезубый
- ХОКОН
- БОЙЕР Юхан
- БОРТЕН Пер
- ВЕЛЬХАВЕН Юхан Себастьян
- ТРАНЕ Вальдемар
- ЛУИЗА Нидерландская
- КРИСТИАН III
- ЛАРСЕН Карл Антон
- ХАССЕЛЬ Одд
- НУРДРОК Рикард
- НУРДЛИ Одвар
- ХАКОН III
- ХАКОН V Святой
- ЭЙСТЕЙН II Харальдссон
- НОРДМО ЛЕВБЕРГ Осе
- СКОУЭН Арне
- ХОЛЬМБОЕ Бернт Михаэль
- АЛЬПЕРИН Михаил Ефимович
- ГОРДЕР Юстейн
- БУЛЛЬ Эдвард Хагеруп
- ГУННЕРУС Йохан Эрнст
- УЛЬФСОН Гуннбьорн
- СОЛЬБЕРГ Харальд Оскар
- ЛАССЕН Христиан
- СУЛЬБЕРГ Эрна
- Гамсун Мария
- ХАРАЛЬД V
- ЛИНГСТАД Анни-Фрид
- БРЕГГЕР Вальдемар Кристофер
- ЛАНГЕ Кристиан Лоус
- ВЕССЕЛЬ Каспар
- ОСКАР II
- МАРГАРЕТ Норвежская Дева
- ЭРИК Померанский
- ВИЛЛОК Коре Исааксен
- СТОЛТЕНБЕРГ Йенс
- МАГНУС V
- КРИСТИАН VI
- КРИСТИАН VII
- ИРГЕНС-ЙЕНСЕН Лудвиг
- ХАЛЬВОРСЕН Юхан
- БРУН Виго
- БОЙСОН Эмиль
- БРЕККЕ Поль
- КАРЛИНГ Фини
- СВИНСОС Ингвалль
- СКАГЕСТАД Турмуд
- ХАВРЕВОЛЛ Финн