Ясно, что мы затронули лишь самые начатки формальных систем; естественно, возникает вопрос, какие именно фрагменты действительности могут быть отражены при помощи набора бессмысленных символов, управляемых формальными законами? Может ли вся реальность быть превращена в формальную систему? В очень широком смысле кажется, что на этот вопрос можно ответить положительно. Мы можем предположить, например, что вся действительность — это не более чем весьма сложная формальная система. Ее символы находятся не на бумаге, а в трехмерном вакууме (пространстве); это элементарные частицы, из которых устроена вселенная. (Мы предполагаем здесь, что материя не делится до бесконечности, и что, таким образом, выражение «элементарные частицы» имеет смысл.) «Типографские правила» такой формальной системы — законы физики, которые, учитывая положение и скорость всех частиц в данный момент, говорят нам, какие изменения произойдут, и каковы будут новая скорость и положение частиц в «следующий» момент. Таким образом, теоремами этой огромной формальной системы являются все возможные конфигурации частиц во все времена истории вселенной. Единственной аксиомой здесь является (или являлось) первоначальное положение всех частиц в «начале времен». Однако это концепция столь грандиозна, что представляет лишь сугубо теоретический интерес; к тому же, достижения квантовой механики (и других областей физики) вносят некие сомнения даже и в чисто теоретическую ценность этой идеи. Проблема сводится к вопросу, функционирует ли вселенная по законам детерминизма; этот вопрос пока остается открытым.
Вместо того, чтобы иметь дело с такой огромной картиной, возьмем в качестве нашей «действительности» математику. Тут мы сталкиваемся с серьезным вопросом: можем ли мы быть уверены в точности нашей формальной системы, моделирующей какую-либо область математики, в особенности, если мы еще не изучили данную часть математики вдоль и поперек? Предположим, что цель формальных систем — дать нам новые знания по данной дисциплине. Каким образом мы узнаем, что интерпретация каждой теоремы истинна? Для этого пришлось бы доказать, что между формальной системой и данной частью математики существует полный изоморфизм. С другой стороны, подобное доказательство возможно только в том случае, если нам с самого начала уже известны все истинные утверждения данной дисциплины!
Представьте себе, что в каких-то раскопках мы обнаружили некую таинственную формальную систему. Вероятно, мы опробовали бы несколько интерпретаций, пока не наткнулись бы на такую, в которой каждая теорема была бы истинной и каждая не-теорема — ложной. Однако мы можем проверить это лишь на ограниченном количестве случаев, в то время как теорем, скорее всего, бесконечное множество. Можно ли утверждать, что все теоремы выражают истину в данной интерпретации, если нам еще не известно все и о формальной системе, и об области ее интерпретации?
В таком же положении мы оказываемся, когда пытаемся при помощи типографских символов формальной системы описать фрагмент действительности, представленный натуральными числами (то-есть, неотрицательными целыми числами: 0, 1, 2,…), . Попробуем понять отношение между тем, что мы называем «истиной» в теории чисел, и тем, к чему мы можем придти путем манипуляции символами.
Для начала посмотрим, какие основания у нас существуют для того, чтобы называть одни утверждения теории чисел истинными, а другие — ложными? Сколько будет 12 умножить на 12? Любой знает, что 144. Однако многие ли из тех, кто уверенно дает этот ответ, когда-либо рисовали прямоугольник размером 12 x 12 и подсчитывали составляющие его квадратики? Большинство людей считают, что эта процедура совсем не нужна. Вместо нее в доказательство своей правоты они предлагают несколько значков на бумаге, вроде тех, что показаны ниже:
Это и будет «доказательством». Почти все верят, что если посчитать квадратики, получится 144; мало кто когда-либо усомнился в этом результате. Конфликт между двумя точками зрения становится еще заметнее, когда мы рассматриваем такую проблему, как нахождение произведения 987654321 × 123456789. Прежде всего, практически невозможно построить прямоугольник нужного размера; но хуже всего то, что, даже если бы нам и удалось таковой построить и армии людей потратили бы столетия на подсчет квадратиков, все равно конечному результату поверил бы разве что особенно доверчивый человек. Слишком велика вероятность того, что кто-нибудь обязательно что-то напутал. Возможно ли, в таком случае, узнать ответ? Да, если вы доверяете символическому процессу манипуляции числами при помощи некоторых простых законов. Этот процесс объясняют детям как способ нахождения верного ответа; при этом мало кто из них видит, какой смысл скрывается за этим арифметическим трюком. Правила, маневрирующие цифрами при умножении, основаны на нескольких основных свойствах сложения и умножения, которые считаются верными для всех чисел.
Свойства, которые я имею в виду, можно пояснить на следующем примере. Представьте, что вы выкладываете несколько палочек:
/ // // // / /
и начинаете их считать. В то же время кто-то подсчитывает эти же палочки, начиная с другого конца. Читателю, вероятно, понятно, что результат получится одинаковый. Результат подсчета не зависит от того, как этот подсчет делается. Было бы бессмысленно пытаться доказать это предположение о свойствах сложения, настолько оно первично: либо вы его понимаете, либо нет — но в последнем случае вам не поможет никакое доказательство. Из этого предположения вытекают свойства коммутативности и ассоциативности сложения (первое заключается в том, что b + с = с + b во всех случаях; второе — в том, что b + (с + d) = (b + с) + d во всех случаях). То же предположение приводит нас к свойствам коммутативности и ассоциативности в умножении; достаточно представить множество кубиков, собранных вместе таким образом, что они составляют большое прямоугольное твердое тело. Коммутативность и ассоциативность умножения означают, что как бы вы ни поворачивали это тело, количество кубиков в нем не изменится. Эти предположения невозможно проверить во всех случаях, так как количество комбинаций бесконечно. Мы принимаем их как данное и верим в них (если мы вообще когда-нибудь о них задумываемся) так глубоко, как только можно во что-либо верить. Количество монет у нас в кармане не меняется оттого, что при ходьбе они перемещаются и бренчат; количество наших книг не изменится, если мы упакуем их в коробку, бросим коробку в багажник машины, отъедем на 100 километров, распакуем коробку и поставим книги на новую полку. Все это — часть того, что мы понимаем под словом число.
Встречаются люди, которые, столкнувшись с формулировкой какого-либо очевидного факта, находят удовольствие в том, что тут же пытаются доказать обратное. Я сам такой Фома Неверующий: записав свои примеры с палочками, деньгами и книгами, я сразу выдумал ситуации, в которых эти примеры перестают быть правильными. Вы, возможно, сделали то же самое. Все это я говорю к тому, чтобы показать, что числа как математическая абстракция весьма отличны от чисел, которые мы употребляем в повседневной жизни.
Все мы любим изобретать поговорки, которые, нарушая основные законы арифметики, иллюстрируют некие более глубокие «истины»: «1 да 1 равно 1» (любовники) или «1 плюс 1 плюс 1 равно 1» (святая Троица). Можно легко найти изъяны в подобных «формулах» — скажем, показав, что употребление знака «плюс» в них неверно. Так или иначе, подобных высказываний множество. По забрызганному дождем оконному стеклу сползают две капли; у самой рамы они сливаются в одну. Значит ли это, что 1 + 1 = 1? Из одного облака рождаются два; не доказательство ли это той же идеи? Отличить случаи, в которых мы можем говорить о сложении, от тех, где нам нужно какое-то другое понятие, не так-то просто. Размышляя об этом, мы, возможно, додумаемся до таких критериев, как разделение объектов в пространстве и их четкое отличие друг от друга. Но как подсчитать идеи? Или количество газов в атмосфере? Во многих источниках можно встретить высказывания типа: «В Индии 17 языков и 462 диалекта». В точных утверждениях такого рода есть нечто странное, так как сами понятия «язык» и «диалект» довольно расплывчаты.