Сколем, Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, — 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным вопросам логики и философии (математики). Наиболее известный результат — т. н. теорема Лёвенхейма — Скулема, согласно которой любая аксиоматическая теория, имеющая бесконечную модель, имеет счётную модель, из чего следует относительность таких понятий, как счётность, несчётность, мощность множества («парадокс С.», см. Парадокс), и возможность построения т. н. нестандартных моделей аксиоматических теорий (см. Моделей теория). Результаты и идеи С. используются в исследованиях по машинному поиску логического вывода.
Соч.: Selected works in logic, Boston, 1970.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
Сколии Сколии (Scoliidae), семейство перепончатокрылых насекомых из подотряда жалящих. Около 420 видов, преимущественно в тропиках; в СССР — 42 вида. Крупные (сколия-гигант, обитающая в СССР, —...
Сколиоз Сколиоз (греч. skoliosis — искривление, от skolios — кривой), боковое искривление позвоночника у человека. Возникает в период интенсивного роста позвоночника (в возрасте 5—15 лет); у дев...
Сколопендриум Сколопендриум (Scolopendrium), род папоротников из семейства асплениевых. Листья простые (нерасчленённые) цельнокрайные. Несколько видов обитает в Северном полушарии. Виды рода С. соврем...