Значение СКОЛЕМ ТУРАЛЬФ АЛЬБЕРТ в Большой советской энциклопедии, БСЭ

СКОЛЕМ ТУРАЛЬФ АЛЬБЕРТ

Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, - 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным вопросам логики и философии (математики). Наиболее известный результат - т. н. теорема Лёвенхейма - Скулема, согласно которой любая аксиоматическая теория, имеющая бесконечную модель, имеет счётную модель, из чего следует относительность таких понятий, как счётность, несчётность, мощность множества ('парадокс С.', см. Парадокс ) , и возможность построения т. н. нестандартных моделей аксиоматических теорий (см. Моделей теория ) . Результаты и идеи С. используются в исследованиях по машинному поиску логического вывода.

Соч.: Selected works in logic, Boston, 1970.

Большая советская энциклопедия, БСЭ.