Сколем Туральф Альберт
Сколем, Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, ‒ 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным вопросам логики и философии (математики). Наиболее известный результат ‒ т. Н. Теорема Лёвенхейма ‒ Скулема, согласно которой любая аксиоматическая теория, имеющая бесконечную модель, имеет счётную модель, из чего следует относительность таких понятий, как счётность, несчётность, мощность множества («парадокс С.», см. Парадокс.
Дополнительный поиск Сколем Туральф Альберт
На нашем сайте Вы найдете значение "Сколем Туральф Альберт" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Сколем Туральф Альберт, различные варианты толкований, скрытый смысл.
Первая буква "С". Общая длина 22 символа