Питер Эткинз - Десять великих идей науки. Как устроен наш мир.

Снабдим предложения индексами, используя их гёделевские номера, так что предложение х' = sx относительно числа 6 (которое должно читаться 6 = s5, «6 непосредственно следует за 5») есть предложение p5005(6). Вы можете ожидать, что сложные предложения имеют большие гёделевские номера, но в том, что последует ниже, мы будем делать вид, что можем обойтись малыми номерами, такими как p1(6) и p4(6). Например, мы можем сделать вид, что Предложение 4, примененное к числу 6, является метаматематическим утверждением «6 есть совершенное число» (число, являющееся суммой своих простых множителей, в данном случае включая 1, 6 = 1 + 2 + 3 и 6 = 1 × 2 × 3), а Предложение 5 может сообщать о простых числах, и мы можем прочесть p5(11) как «11 есть простое число».

Математическое доказательство состоит из строки предложений, которые выводятся одно из другого с помощью использования правил обращения с символами. Это означает, что мы можем приписать отдельный номер целому доказательству, отметив гёделевские номера всех входящих в него предложений. Если доказательство состоит из трех предложений с гёделевскими номерами 6, 8 и 2 (на практике эти номера были бы огромны), то всему доказательству приписывается номер 26 × 38 × 52 = 10 497 600 (для более длинных доказательств ряд простых чисел 2, 3, 5 последовательно продолжают). Как вы можете вообразить, длинные доказательства, состоящие из сложных предложений, имеют астрономически большие гёделевские номера. И снова смыслом этой процедуры является то, что целые доказательства включаются в область арифметики. Мы можем использовать арифметические процедуры, чтобы, например, судить, используется ли одно доказательство в другом, определяя, входит ли гёделевский номер первого множителем в гёделевский номер второго, подобно тому, как 15 = 5 × 3 означает, что 5 и 3 являются компонентами 15.

Теперь мы воспользуемся этими гёделевскими номерами, чтобы вывести результат Гёделя с помощью вариации процедуры из метода Кантора и решения Тьюрингом проблемы вычислимости. На самом деле Гёдель использовал гораздо более глубокие методы, доказав пятьдесят промежуточных теорем — опорные базы, — прежде чем достичь завершения доказательства. Следующий далее текст лишь ухватывает суть дела: представьте себе это как полет вертолета над вершиной горы. Однако, поскольку доказательство все же является трудным, даже урезанное и упрощенное до той степени, до которой мне удалось его адаптировать, вы можете свободно перескочить к месту, где восстанавливается нормальный размер шрифта.

Предположим, что у нас есть некоторое предложение относительно числа 0, мы назовем это предложение p0(0), и такое же предложение относительно числа 1, которое мы назовем p0(1), и так далее. Обозначим вообще это предложение относительно числа x как p0(x). Эти предложения могут быть истинными, а могут ложными. Например, предложение «квадратный корень из x равен 1» в случае p0(0) ложно, поскольку утверждает, что √0 = 1, что неверно, но в случае p0(1) оно истинно, так как √1 = 1. Каждое из этих предложений имеет гёделевский номер, который мы можем вычислить, и существует бесконечное число таких предложений относительно каждого из бесконечного числа натуральных чисел. Обозначим эти предложения как p0(x), p1(x) и так далее: некоторые из них являются мусором, некоторые верны. Организуем теперь все соответствующие им гёделевские номера в огромную таблицу (с астрономически большими номерами там, где мы подставили малые номера). Верхний левый фрагмент этой таблицы может быть чем-то вроде:

где каждое число во внутренних клетках таблицы есть (фальшивый) гёделевский номер соответствующего предложения. Так, фальшивый гёделевский номер предложения p3(x) относительно числа 2 равен 11.

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

И здесь, как и в аргументах Тьюринга, нас ожидает провал. Рассмотрим следующее предложение:

«Диагональным членом» является предложение относительно собственного номера предложения, например, предложение p2 относительно числа 2. Поскольку это утверждение является предложением, оно должно уже содержаться где-то в первоначальном исчерпывающем списке предложений. Для простоты давайте предположим, что оно оказывается Предложением 2. Коль это так, рассмотрим соответствующий диагональный гёделевский номер, который в этом случае равен 30. Этот гёделевский номер соответствует Предложению 2 относительно числа 2, которое гласит:

Теперь мы подходим к противоречию. Предположим, что мы узнали, обратись к полному списку доказуемых утверждений, что это предложение действительно верно (а значит, его гёделевский номер должен быть в списке доказуемых утверждений), то есть можно доказать, что доказательства Предложения 2 относительно числа 2 не существует. Тогда у нас получается противоречие, поскольку, если не существует доказательства Предложения 2 относительно числа 2, то его номера не должно быть в списке доказуемых утверждений! Если мы вместо этого предположим, что предложение о том, что не существует доказательства Предложения 2 относительно числа 2, является ложным, тогда его нет в списке доказуемых утверждений, а тогда это предложение истинно!

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

Заключение Гёделя не стало судным днем математики. Во-первых, могут существовать неалгоритмические методы установления истинности утверждений, так же как может быть невозможно формально доказать, что определенная позиция в шахматах не приводит к мату, но ее можно увидеть с более объемлющей точки зрения. То есть может существовать метаматематическое доказательство утверждения, которое не может быть доказано внутри формальной системы. То, что человеческий ум способен порождать такие неформальные, но вполне надежные доказательства, является окном в природу сознания, ибо это показывает, что понимание и рефлексия не нуждаются в том, чтобы быть алгоритмическими.

Математика прошла через три главных кризиса в своей истории. Первым было открытие древними греками несоизмеримости и существования иррациональных чисел, обрушившее философию пифагорйцев. Вторым было появление дифференциального исчисления в семнадцатом веке, сопровождавшееся страхом, что иметь дело с бесконечно малыми незаконно. Третьим кризисом стало столкновение с антиномиями в начале двадцатого века, такими как антиномия Рассела или парадокс Берри, которые, как казалось, подорвали основы этой науки. В свете этого кажется замечательным, что математика выжила как дисциплина. Тем, что это произошло, мы обязаны старому доброму здравому смыслу: существует огромная и чудесная наука математика, которая, по-видимому, превосходно работает, и было бы глупо отметать предмет, приводящий к таким замечательным успехам, даже если и есть ненадежные области в глубинах его структуры. Работающие математики могут продолжать трудиться без страха и не заботясь о трещинах глубоко в основании, которые, как они предполагают, навряд ли могут проложить себе путь на поверхность в любом. актуальном приложении. Второй причиной, конечно, является то, что математика просто слишком полезна и является наилучшим языком описания физического мира. Пропади математика, пропали бы большинство наук, торговля, транспорт, промышленность и средства связи.