(до трехсот тысяч триллионов). И все же, несмотря на колоссальные усилия многих талантливых математиков, на сегодняшний день, когда я пишу эти строки, общее доказательство так и не удалось найти. К желаемому результату не привел даже дополнительный стимул в виде миллиона долларов, которые предложили в виде награды всякому, кто найдет доказательство в срок с 20 марта 2000 года по 20 марта 2002 года (в рамках рекламной кампании романа А. К. Доксиадиса «Дядюшка Петрос и проблема Гольдбаха» [Doxiadis 2000]).
Тут-то перед нами и встает вопрос о значении «объективной истины» в математике. Предположим, что в 2016 году все же будет представлено строгое доказательство проблемы Гольдбаха. Можно ли будет тогда сказать, что это утверждение было верным уже тогда, когда о нем задумался Декарт? Многие, наверное, согласятся, что это глупый вопрос. Ясно, что если истинность утверждения доказана, значит, оно всегда было истинным, даже до того, как мы в этом убедились. Или рассмотрим другой невинный на вид пример – гипотезу Каталана (подробнее см. Ribenboim 1994). Числа 8 и 9 – последовательные целые числа, и каждое из них равно степени натурального числа – 8 = 2>3 и 9 = 3>2. В 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).