Торальф Склем¶

Торальф Склем — норвежский математик и логик, внёсший значительный вклад в развитие математической логики, теории моделей и теории рекурсивных функций. Родился 23 апреля 1887 года в коммуне Восс (Норвегия), умер 23 марта 1963 года в Осло. Его работы заложили основы для ряда ключевых понятий современной логики, включая сколемизацию и нормальную форму Сколема.

¶Биография

¶Ранние годы и образование

Торальф Альберт Склем родился в семье учителя. В 1905 году поступил в Университет Осло, где изучал математику и физику. Его научным руководителем стал известный норвежский математик Аксель Туэ, который познакомил Склема с проблемами комбинаторики и теории чисел. В 1915 году Склем защитил докторскую диссертацию, посвящённую исследованию свойств цепных дробей.

¶Академическая карьера

После защиты диссертации Склем некоторое время работал ассистентом в Университете Осло, а затем преподавал в школе в Бергене. В 1918 году он вернулся в Университет Осло, где в 1927 году получил звание профессора. В 1930-е годы он активно сотрудничал с другими логиками, в частности с Леопольдом Лёвенгеймом и Куртом Гёделем. В 1940-х годах, после оккупации Норвегии нацистской Германией, Склем продолжал научную работу в условиях ограниченных ресурсов. После войны он участвовал в восстановлении математического сообщества Норвегии.

¶Научные достижения

¶Теорема Лёвенгейма — Сколема

Одним из наиболее известных результатов Склема является теорема Лёвенгейма — Сколема, доказанная в 1920 году. Она утверждает, что если множество формул первого порядка имеет бесконечную модель, то оно имеет модель любой бесконечной мощности. Это следствие теоремы о компактности и парадокса Сколема, который показал, что аксиоматическая теория множеств (например, теория Цермело — Френкеля) не может однозначно определить понятие «мощность множества». Теорема стала важным шагом в развитии теории моделей.

¶Сколемизация

Склем разработал метод преобразования формул логики первого порядка в так называемую сколемовскую нормальную форму. Этот процесс, известный как сколемизация, заключается в удалении кванторов существования путём введения новых функциональных символов. Сколемовская форма используется в автоматическом доказательстве теорем и в логическом программировании (например, в языке Пролог).

¶Арифметика Сколема

Склем исследовал нестандартные модели арифметики. Он показал, что существуют модели арифметики Пеано, которые отличаются от стандартной модели натуральных чисел. Эти модели, называемые арифметиками Сколема, содержат бесконечно большие числа. Работы Склема в этой области предвосхитили исследования Гёделя о неполноте формальных систем.

¶Рекурсивные функции

В 1920-е годы Склем независимо от других математиков (например, Курта Гёделя и Алонзо Чёрча) разработал понятие примитивно рекурсивной функции. Он использовал это понятие для формализации интуитивного представления о вычислимости. Хотя Склем не завершил построение общей теории рекурсивных функций, его работы стали основой для последующих исследований в этой области.

¶Основные работы

¶«О некоторых проблемах математической логики» (1920)

В этой статье Склем сформулировал и доказал теорему Лёвенгейма — Сколема. Работа была опубликована на норвежском языке, что ограничило её первоначальное распространение, но позже она была переведена на немецкий и английский.

¶«О нестандартных моделях арифметики» (1933)

В этой работе Склем описал конструкции нестандартных моделей арифметики, показав, что аксиомы Пеано не могут однозначно определить структуру натуральных чисел.

¶«О рекурсивных функциях» (1934)

Склем ввёл понятие примитивно рекурсивной функции и доказал, что многие арифметические функции (например, сложение, умножение) являются примитивно рекурсивными. Эта работа была важна для развития теории вычислимости.

¶Влияние и признание

¶Вклад в математическую логику

Работы Склема оказали глубокое влияние на развитие математической логики. Его идеи о сколемизации и нестандартных моделях используются в теории моделей, теории доказательств и в компьютерной науке. Теорема Лёвенгейма — Сколема является одним из фундаментальных результатов в этой области.

¶Признание в Норвегии

Склем был членом Норвежской академии наук и литературы. В 1950-е годы он получил несколько почётных званий, в том числе степень почётного доктора Университета Осло. В его честь назван кратер на Луне (Склем) и математический институт в Бергене.

¶Критика и ограничения

Некоторые современники Склема критиковали его за чрезмерную абстрактность и сложность его работ. Кроме того, его ранние публикации на норвежском языке затрудняли их восприятие международным сообществом. Однако впоследствии его идеи были признаны новаторскими.

¶Личная жизнь

Склем был женат на Эльзе Мари Хансен, у них было трое детей. Он был известен своей скромностью и избегал публичной славы. В свободное время увлекался альпинизмом и фотографией.

¶Интересные факты

• Склем был одним из первых математиков, кто систематически использовал формальные языки для анализа математических теорий.
• Его работы по теории рекурсивных функций были опубликованы до знаменитой статьи Гёделя 1931 года, но остались менее известными из-за языкового барьера.
• В 1962 году, за год до смерти, Склем опубликовал статью о нестандартных моделях арифметики, которая стала его последней крупной работой.

¶Источники

• Сколем, Торальф. «Избранные труды по математической логике». — М.: Наука, 1965.
• Гольдблатт, Роберт. «Теория моделей и её приложения». — М.: Мир, 1983.
• «Торальф Склем: математик и логик». — Норвежская академия наук, 1964.
• «Энциклопедия математической логики». — М.: Большая российская энциклопедия, 2001.