норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным вопросам логики и философии (математики). Наиболее известный результат – т. н. теорема Лёвенхейма-Скулема, согласно которой любая аксиоматическая теория, имеющая бесконечную модель, имеет счетную модель, из чего следует относительность таких понятий, как счетность, несчетность, мощность множества («парадокс Скулема»), и возможность построения т. н. нестандартных моделей аксиоматических теорий. Его результаты и идеи используются в исследованиях по машинному поиску логического вывода.
Досье личности
СКУЛЕМ Туральф Альберт
Другое имя: Сколем Туральф Альберт
Имя латиницей: Skolem Thoralf Albert
Пол: мужской
Дата рождения: 23.05.1887
Место рождения: Сансвер, Норвегия
Дата смерти: 23.03.1963 Возраст (75)
Место смерти: Осло, Норвегия
Знак зодиака: Близнецы
По восточному: Свинья
География: НОРВЕГИЯ.
Ключевые слова: знание, логик, математик, наука, философ.
Anno: 1915
Туральф Альберт СКУЛЕМ
- http://en.wikipedia.org
- Большая советская энциклопедия. 3-е издание
- РОЖЕ Питер Марк
- ПЕРЕЛЬМАН Хаим
- СМАЛЛИАН Реймонд
- ОНГ Уолтер
- УСПЕНСКИЙ Владимир Андреевич
- СКУЛЕМ Туральф Альберт
- ЛЁВЕНХЕЙМ Леопольд
- ПАНОФСКИЙ Эрвин
- АЙДУКЕВИЧ Казимеж
- БЛИССАРД Джон
- САЛЛИ Джеймс
- СУППЕС Патрик Колонель
- МОСТЕРИН Хесус
- ХИРШ Хорхе
- ЛОТФИ Заде
- ПАТНЭМ Хилари Уайтхолл
- АККЕРМАН Фридрих Вильгельм
- СУАЙНСХЕД Ричард
- ТОМАС Иво
- ДАММИТ Майкл Энтони Эрдли
- АЙЕР Алфред Джулс
- БАР-ХИЛЛЕЛ Иегошуа
- ВРИГТ Георг Хенрик фон
- ГЕЙТИНГ Аренд
- ХИНТИККА Яакко
- ДЕ САНТО-ТОМАСО Хуан
- МОРГАН Огастес де
- МОСТОВСКИЙ Анджей
- ЛЕВЕНГЕЙМ Леопольд
- ХВИСТЕК Леон
- РИГЕР Ладислав
- УОТТС Исаак
- РАЙМУНД ЛУЛЛИЙ
- КОВАЛЬСКИ Роберт
- ТАРЬЯН Роберт Андре
- АГАЦЦИ Эвандро
- АХМАНОВ Александр Сергеевич
- БЕНФЕЙ Теодор
- ВАЙЛАТИ Джованни
- ВАРЛААМ Калабрийский
- ГИЛЬОМ из Шампо
- ГРОТЕФЕНД Георг Фридрих
- СЕШЕ Альбер
- ТВАРДОВСКИЙ Казимеж
- ТРЕНДЕЛЕНБУРГ Фридрих Адольф
- ИОАНН СОЛСБЕРИЙСКИЙ
- ИБЕРВЕГ Фридрих
- КОТАРБИНЬСКИЙ Тадеуш
- ЛАШЕЛЬЕ Жюль
- ЛЬЮИС Кларенс Ирвинг
- НАГЕЛЬ Эрнест
- НИКОЛЬ Пьер
- ПОРЕЦКИЙ Платон Сергеевич
- РЕЙХЕНБАХ Ханс
- МАННУРИ Геррит
- ЧЕРЧ Алонзо
- ПОСТ Эмиль Леон
- РАМСЕЙ Франк
- РОБИНСОН Абрагам
- ШЕНФИЛД Джозеф Роберт
- ЮНГ Иоахим
- ГОНСЕТ Фердинанд
- РОДЖЕРС Хартлей
- ЯСЬКОВСКИЙ Станислав