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