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

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

Биография

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

Торальф Альберт Сколем родился в семье учителя. В 1905 году поступил в Университет Христиании (ныне Университет Осло). Изначально планировал изучать медицину, но под влиянием лекций математика Акселя Туэ переключился на математику. В 1909 году получил степень кандидата наук, а в 1913 году защитил докторскую диссертацию «Исследования по алгебре логики» (норв. Undersøkelser innenfor logikkens algebra), посвящённую аксиоматизации булевых алгебр.

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

С 1913 по 1918 год работал ассистентом в Университете Христиании. В 1918 году получил позицию доцента, а в 1926 году — профессора математики в Норвежском технологическом институте в Тронхейме. В 1938 году вернулся в Университет Осло, где преподавал до выхода на пенсию в 1957 году. Сколем активно сотрудничал с международным математическим сообществом, участвовал в конгрессах в Цюрихе (1932), Осло (1936) и других.

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

Теория моделей и теорема Лёвенгейма — Сколема

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

Примитивно-рекурсивная арифметика

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

Диофантовы уравнения и теория решёток

Сколем внёс значительный вклад в решение диофантовых уравнений. В 1930-х годах он разработал метод, названный методом Сколема, для нахождения целых решений уравнений вида \( a x^2 + b y^2 = c \). Этот метод основан на сведении к конечному числу случаев с помощью теории квадратичных форм.

В теории решёток Сколем совместно с Гарретом Биркгофом заложил основы теории дистрибутивных решёток. Он доказал, что любая дистрибутивная решётка может быть вложена в булеву алгебру.

Комбинаторика и теория Рамсея

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

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

Монографии

• «Логико-комбинаторные исследования» (1920) — сборник статей по теории моделей.
• «Арифметика и логика» (1948) — учебное пособие по основаниям математики.
• «Избранные труды по математической логике» (1970, посмертно) — сборник ключевых статей под редакцией Й. Фенстада.

Ключевые статьи

• «Логико-комбинаторные исследования о выполнимости и доказуемости математических предложений» (1920) — доказательство теоремы Лёвенгейма — Сколема.
• «О построении рекурсивной арифметики» (1923) — введение примитивно-рекурсивной арифметики.
• «О некоторых диофантовых уравнениях» (1937) — описание метода Сколема.
• «О комбинаторной теореме Рамсея» (1933) — доказательство числа Сколема.

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

Сколем оказал глубокое влияние на развитие математической логики, теории моделей и теории алгоритмов. Его работы по примитивно-рекурсивной арифметике предвосхитили исследования Алонзо Чёрча и Алана Тьюринга в области разрешимости. Парадокс Сколема стал важным аргументом в философских дискуссиях о природе математических объектов и формальных систем.

В честь учёного названы:

• Число Сколема — минимальное число \( S(k) \) в теории Рамсея.
• Функция Сколема — функция, используемая в логике первого порядка для элиминации кванторов существования.
• Кратер Сколем на Луне (диаметр 8 км, координаты 11° с.ш., 112° в.д.).

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

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

Источники

• Fenstad, J. E. (Ed.). Thoralf Skolem: Selected Works in Logic. Oslo: Universitetsforlaget, 1970.
• Skolem, T. Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze. Skrifter utgit av Videnskapsselskapet i Kristiania, 1920.
• Skolem, T. Begründung der elementaren Arithmetik durch die rekurrierende Denkweise. Videnskapsselskapets Skrifter, 1923.
• Grattan-Guinness, I. The Search for Mathematical Roots, 1870–1940. Princeton University Press, 2000.
• Биркгоф, Г. Теория решёток. М.: Наука, 1984.