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