Возьмем, к примеру, простые числа (то есть те, которые делятся только сами на себя и на единицу. – М. Л.), – насколько я могу судить, они составляют куда более стабильную реальность, чем та материальная реальность, которая нас окружает. Математика, который трудится над своей задачей, можно уподобить естествоиспытателю, который изучает неведомый мир. Основные факты обычно выводят из опыта. Например, если проделывать несложные вычисления, становится понятно, что последовательность простых чисел продолжается бесконечно. Значит, задача математика – доказать, что существует бесконечно много простых чисел. Это, разумеется, очень старый результат, мы обязаны им еще Евклиду. Среди самых интересных следствий из этого доказательства – если когда-нибудь кто-нибудь заявит, будто нашел самое большое простое число, будет легко показать, что он заблуждается. Это справедливо для любого доказательства. То есть мы сталкиваемся с реальностью, которая в точности так же неопровержима, как и реальность физическая.
Мартин Гарднер, знаменитый писатель, автор множества книг и статей о развлекательной математике, тоже придерживается того мнения, что математика – это открытие. Он ничуть не сомневается, что числа и математика существуют сами по себе и неважно, знают ли о них люди. Как-то раз он остроумно подметил: «Если два динозавра повстречали на полянке двух других динозавров, всего их было четыре, даже если поблизости не было людей и некому было это пронаблюдать, а сами зверюги по глупости об этом не догадывались» (Gardner 2003). Как подчеркивал Конн, сторонники точки зрения «математика-открытие» (что, как мы вскоре убедимся, соответствует взглядам Платона) указывают, что как только удается усвоить какое-то одно математическое понятие, скажем, понятие натуральных чисел 1, 2, 3, 4…, как мы натыкаемся на неопровержимые факты вроде 3>2 + 4>2 = 5>2, и при этом не играет никакой роли, что мы думаем об этих соотношениях. Это, по крайней мере, оставляет впечатление, что мы сталкиваемся с некоей существующей реальностью.
Но с этим согласны не все. Когда английский математик сэр Майкл Атья, получивший Филдсовскую медаль в 1966 году и Абелевскую премию в 2004 году, писал рецензию на книгу, в которой Конн излагал свои идеи, то заметил следующее (Atiyah 1995).
Любой математик не может не сочувствовать Конну. Все мы интуитивно чувствуем, что целые числа или, скажем, окружности и в самом деле существуют в некоем абстрактном смысле и платоновское мировоззрение (о нем мы подробно поговорим в главе 2. – М. Л.) необычайно соблазнительно. Однако как его отстоять? Трудно представить себе, чтобы во Вселенной возникла и развилась геометрия, будь Вселенная одномерной или даже дискретной. Может показаться, что с целыми числами мы чувствуем себя увереннее и что счет – это и в самом деле нечто существующее изначально. Однако представим себе, что разумом наделено не человечество, а какая-нибудь огромная одинокая медуза в глубинах Тихого океана. Все ее сенсорные данные определялись бы движением, температурой и давлением. Поскольку все это – чистейший континуум, в такой обстановке не может появиться ничего дискретного, и медузе нечего было бы считать.