= 23 и 9 = 32. В 1844 году бельгийский математик Эжен Шарль Каталан (1814–1894) предположил, что среди всех возможных степеней целых чисел лишь одна пара последовательных чисел, за исключением 0 и 1, представляет собой степени других целых чисел, и это 8 и 9. Иными словами, можно хоть всю жизнь записывать все целые степени, однако не найдешь другой пары таких чисел, которые различаются на 1. На самом деле, еще в 1342 году франко-еврейский философ и математик Леви бен Гершом (1288–1344) доказал малую часть этой гипотезы: он показал, что 8 и 9 – это единственные степени 2 и 3, которые различаются на 1. Большой шаг вперед был сделан математиком Робертом Тейдеманом в 1976 году. И все же доказательство гипотезы Каталана в общем виде ставило в тупик лучшие математические умы вот уже более 150 лет. Но вот наконец 18 апреля 2002 года румынский математик Преда Михайлеску представил полное доказательство гипотезы. Оно было опубликовано в 2004 году и на сегодня полностью принято математическим сообществом. И снова можно задаться вопросом: когда гипотеза Каталана стала истинной: в 1342 году? В 1844? В 1976? В 2002? В 2004? Разве не очевидно, что это утверждение всегда было истинным, хотя мы не знали, что оно истинно? Именно такого рода утверждения платоники и называют «объективными истинами».
Некоторые математики, философы, специалисты по когнитивной психологии и другие «потребители» математики, например программисты, считают платоновский мир плодом воображения чересчур мечтательных умов (такую точку зрения и другие догмы мы еще обсудим подробнее на страницах этой книги, в главе 9). Более того, в 1940 году знаменитый историк математики Эрик Темпл Белл (1883–1960) сделал вот какое предсказание (Bell 1940).
Согласно пророкам, последний приверженец платоновских идеалов разделит участь динозавров к 2000 году. И тогда к математике, лишившейся мифического покрова этернализма, будут относиться именно как к той науке, какой она была всегда, – к языку, изобретенному людьми с определенной целью, которую они сами себе поставили. Последний храм абсолютной истины исчезнет, а вместе с ним исчезнет и ничто, которое в нем свято оберегали.
Предсказание Белла не сбылось. Хотя в науке и появились догмы, диаметрально противоположные платонизму (правда, противоположные, если можно так выразиться, с разных сторон), им не удалось полностью завоевать умы (и сердца!) всех математиков и философов, и раскол между ними в наши дни остался прежним.
Однако давайте предположим, что в один прекрасный день платонизм победил, и все мы стали убежденными платониками. Объясняет ли платонизм «непостижимую эффективность» математики при описании нашего мира? Не совсем. Почему физическая реальность ведет себя в соответствии с законами, обретающимися в абстрактном платоновском мире? Ведь в этом, в сущности, и состоит одна из загадок Пенроуза, а Пенроуз – убежденный платоник. Так что пока придется нам смириться с фактом, что даже если бы все мы стали сторонниками платонизма, тайна могущества математики осталась бы тайной. По словам Вигнера: «Невольно создается впечатление,
