У интуиции есть своя логика. Гёдель. Теоремы о неполноте.
Шрифт:
Китайские шахматы — стратегическая игра из той же серии, что и западные шахматы и сёги (японские шахматы). Считается, что все они происходят от игры под названием чатуранга, зародившейся в Индии в VI веке. Для формалистов (которые подчеркивают синтаксические аспекты математики) выбор аксиом для математической теории не сильно отличается от определения правил настольной игры. Западные, китайские или японские шахматы — родственные настольные игры, но среди них нет "истинной" и "ложных". Подобно этому, поскольку континуум-гипотеза (СН) неразрешима относительно аксиом теории множеств, можно
Доска китайских шахмат с исходной позицией фигур.
РИС. 1
Как мы уже сказали, на Гиббсовской лекции 1951 года Гёдель утверждал, что его теоремы о неполноте доказывают справедливость платонистической точки зрения.
Рассмотрим кратко аргументацию Гёделя. В разуме каждого из нас есть интуитивное представление о том, что такое натуральные числа. Мы понимаем, как определяются основные операции и каковы их основные свойства. Например, мы воспринимаем, что умножение 8 на 5 равносильно физической операции образования восьми столбиков с пятью объектами в каждом из них (рисунок 1).
РИС. 2
Следовательно, у нас есть мысленная модель натуральных чисел, их структуры, которую изучают математики. С другой стороны, первая теорема Гёделя о неполноте доказывает, что эта модель не может быть полностью охарактеризована синтаксическими методами, то есть если мы ограничимся синтаксическими методами рассуждения, всегда найдутся недостижимые истины. Синтаксических методов доказательства недостаточно, чтобы постичь все свойства модели, которую мы не способны понять семантически. Это предполагает, согласно Гёделю, что эта мысленная модель, эти сущности, которые мы называем натуральными числами, со всеми их свойствами и взаимоотношениями, существуют в платонической реальности, находящейся за гранью чистой лингвистики (рисунок 2).
Парадокс Бертрана Рассела был в конце концов решен благодаря переформулировке аксиом теории множеств, предложенной немецким математиком Эрнстом Цермело в 1908 году и улучшенной через несколько лет также немецким математиком Абрахамом Френкелем. Хотя существовали и другие аналогичные предложения (одно из них было представлено самим Гёделем), аксиоматическая теория Цермело — Френкеля (или ZF, как ее обычно называют) сегодня является теорией множеств по умолчанию.
1. Два множества равны, если они имеют в точности одни и те же члены.
2. Существует пустое множество.
3. При заданных х и у существует упорядоченная пара (х, у).
4.
5. Существует по крайней мере одно бесконечное множество.
6. Любое свойство, которое можно выразить на формальном языке теории множеств, может быть использовано для определения множества.
7. При заданном множестве всегда существует множество, образованное всеми его подмножествами.
8. При заданном конечном или бесконечном семействе непустых множеств всегда существует множество, содержащее ровно один член каждого множества этого семейства.
9. Ни одно множество не является членом самого себя.
Ключевая аксиома для избегания парадокса Рассела — шестая, которая уточняет, на каких свойствах могут основываться определения множеств. Эта аксиома в сочетании с девятой позволяет доказать, что парадоксального множества Рассела просто не существует.
Выводы Гёделя были оспорены современными логиками, такими как Соломон Феферман или Пану Раатикайнен, утверждавшими, что аргументы Гёделя основываются на предположениях, справедливость которых можно оспорить (как тот факт, что в каждом человеческом мозге существует модель натуральных чисел).
Дело в том, что сегодня пока еще нет единодушного мнения о том, какая связь существует между теоремами Гёделя и природой математических объектов. В любом случае прошло чуть более 80 лет с момента публикации теорем Гёделя, а это небольшой срок для того, чтобы делать какой-то определенный математический вывод.
Во многих популярных книгах говорится, что теорема Гёделя о неполноте доказывает невозможность найти множество аксиом арифметики, которое позволило бы доказать все истины этой теории; но это утверждение на самом деле некорректно. Как мы уже много раз говорили, это правда, только если ограничиваться только методами доказательства, принятыми программой Гильберта. Однако существуют и другие методы.
Например, вспомним аксиомы Пеано, то есть аксиомы, относящиеся к натуральным числам и включающие в качестве первоначальных составляющих сумму, произведение и функцию последующего элемента.
Аксиома 1: нет ни одного числа с последующим элементом 1.
Аксиома 2: если у двух чисел один и тот же последующий элемент, то они равны.
Аксиома 3: последующий элемент для х — это х + 1.
Аксиома 4: (х + у) + 1 = х + (у + 1).
Аксиома 5: произведение х на 1 равно х.
Аксиома 6: х · (у + 1) = х · у + х.
Аксиома 7: если 1 выполняет некое свойство и можно быть уверенным, что и х выполняет это свойство, а значит, его последующий элемент тоже его выполняет, то при таких условиях можно быть уверенным: любое число выполняет это свойство.
Докажем, что аксиомы Пеано непротиворечивы. Для начала заметим, что все семь аксиом — это истинные высказывания (в мире натуральных чисел). Мы уже сказали, что из истинных предпосылок можно вывести только истинные утверждения, следовательно, из аксиом Пеано нельзя вывести ни одного ложного высказывания. Но если множество аксиом противоречиво, то на его основе доказуемо любое высказывание. Поскольку есть высказывания, которые недоказуемы на основе аксиом Пеано (ложные высказывания недоказуемы), то мы делаем вывод, что аксиомы Пеано непротиворечивы.