|
|
Большая Советская Энциклопедия (цитаты)
|
|
|
|
Сколем Туральф Альберт | Сколем (далее С) Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, — 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным вопросам логики и философии (математики). Наиболее известный результат — т. н. теорема Левенхейма — Скулема, согласно которой любая аксиоматическая теория, имеющая бесконечную модель, имеет счетную модель, из чего следует относительность таких понятий, как счетность, несчетность, мощность множества ("парадокс С.", см. Парадокс), и возможность построения т. н. нестандартных моделей аксиоматических теорий (см. Моделей теория). Результаты и идеи С. используются в исследованиях по машинному поиску логического вывода.
Соч.: Selected works in logic, Boston, 1970.
|
Для поиска, наберите искомое слово (или его часть) в поле поиска
|
|
|
|
|
|
|
Новости 25.12.2024 10:49:53
|
|
|
|
|
|
|
|
|
|