СКОЛЕМ
Скулем (Skolem)
Туральф Альберт (23.5.1887, Сансвер,- 23.3. 1963, Осло), норвежский математик,
логик и философ. Окончил университет в Осло (1913), проф. там же (1938),
чл. Норвежской АН (1938). Работы по теории чисел, различным вопросам логики
и философии (математики).
Наиболее известный результат
- т. н. теорема Лёвенхейма - Скулема, согласно к-рой любая аксиоматич.
теория, имеющая бесконечную модель, имеет счётную модель, из чего следует
относительность таких понятий, как счётность, несчётность, мощность множества
("парадокс С.", см. Парадокс), и возможность построения т. н. нестандартных
моделей аксиоматич. теорий (см. Моделей теория). Результаты и идеи
С. используются в исследованиях по машинному поиску логич. вывода.
Соч.: Selected works in logic,
Boston, 1970.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я