Сколем, Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, — 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным вопросам логики и философии (математики). Наиболее известный результат — т. н. теорема Лёвенхейма — Скулема, согласно которой любая аксиоматическая теория, имеющая бесконечную модель, имеет счётную модель, из чего следует относительность таких понятий, как счётность, несчётность, мощность множества («парадокс Сколем Туральф Альберт», см. Парадокс), и возможность построения т. н. нестандартных моделей аксиоматических теорий (см. Моделей теория). Результаты и идеи Сколем Туральф Альберт используются в исследованиях по машинному поиску логического вывода.
Соч.: Selected works in logic, Boston, 1970.
Так же Вы можете узнать о...
Карены, народ, населяющий юго-востока Бирмы (около 2,4 млн. Леонтович Александр Васильевич [20.10(1.11). Народного искусства музей в Москве, основан в 1885 (здание — 1911) как торгово-промышленный музей кустарных изделий Московского губернского земства. Покров тектонический, шарьяж (франц. charriage, от charrier — катить, везти), пластины горных пород, чаще осадочных и вулканических, реже магматических и метаморфических, толщиной от первых сотен м до нескольких км, ограниченные снизу пологоволнистой или почти плоской поверхностью и перемещенные от места их первичного залегания в горизонтальном направлении на расстояние от нескольких до 100 и более км. Семейские, этнографическая группа русских в Забайкалье (Бурятская АССР). Тояма (город в Японии) Тояма, город в Японии, на западном побережье острова Хонсю, на р. Четырёхлучевые кораллы, подкласс вымерших кишечнополостных класса коралловых полипов; то же, что ругозы. Антеннулы, первая пара членистых головных придатков у ракообразных; одноветвисты, у некоторых высших раков — вторично двуветвисты. Вентспилс (бывший Виндава), город, центр ского района Латвийской ССР. Деволи (Devolli), река в Албании, составляющая р. «Калила и Димна», литературно-дидактический памятник на арабском и персидском языках. Ладины (нем. Ladiner, итал. ladini), народ, входящий в группу ретороманцев. Мстислав Владимирович Храбрый (умер 1036), древнерусский князь тмутараканский и черниговский, сын великого князя киевского Владимира Святославича и полоцкой княжны Рогнеды. Пирмухамедов Рахим [20.12.1896 (1.1.1897), Ташкент,— 16. Сарезское озеро, озеро на Памире, в Горно-Бадахшанской АО Таджикской ССР. Тетиев, город (с 1968), центр ского района Киевской области УССР.