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