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