Для Платона подлинно, в полной мере существуют лишь эти абстрактные математические формы и идеи, поскольку лишь в математике, по его мнению, можно обрести совершенно точные и объективные познания. Следовательно, по Платону, математика тесно связана с божественным (подробнее об этом см. Mueller 2005). В диалоге «Тимей» бог-творец формирует мир при помощи математики, а в «Государстве» знание математики становится главным шагом на пути к познанию божественных форм. Платон не применяет математику для формулировки некоторых законов природы, которые можно проверить экспериментально. Для него математический характер мира – всего лишь следствие того, что «Бог всегда остается геометром».
Платон распространил идеи «истинных форм» и на другие дисциплины, в особенности на астрономию. Он считал, что при изучении подлинной астрономии «мы должны оставить небеса в покое»[20] и не пытаться рассчитывать взаимное положение и видимое движение звезд. Платон полагал, что истинная астрономия – это наука, изучающая законы движения в некоем идеальном математическом мире, движения, для которого наблюдаемые небеса – лишь иллюстрация (в том же смысле, в каком геометрические фигуры, начерченные на папирусе, лишь иллюстрируют истинные фигуры).
Представления Платона об астрономических исследованиях казались противоречивыми даже некоторым самым убежденным платоникам. Сторонники его идей утверждали, что на самом деле Платон считает не что подлинная астрономия должна заниматься какими-то идеальными небесами, не имеющими отношения к наблюдаемым, но что ее задача – изучать реальное движение небесных тел, а не искаженное, какое мы наблюдаем с Земли. Однако многие мыслители указывают, что, если понимать максиму Платона слишком буквально, это сильно затруднило бы развитие наблюдательной астрономии как науки. Впрочем, как бы мы ни толковали отношение Платона к астрономии, во всем, что касается основ математики, платонизм играет ведущую роль.
Но существует ли платоновский мир математики на самом деле? И если да, то, собственно, где? И что это за «объективно истинные» утверждения, которые населяют этот мир? Или же математики, которые придерживаются платонизма, просто выражают те же романтические представления, каких, как говорят, придерживался великий художник Возрождения Микеланджело? Согласно легенде, Микеланджело был убежден, что его великолепные скульптуры уже существуют в глубине мраморных глыб, а его задача – лишь стесать все лишнее.
Современные платоники (да-да, они есть, и их представления мы подробно опишем в следующих главах) настаивают, что платоновский мир математических форм совершенно реален, и предлагают конкретные, по их мнению, примеры объективно истинных математических утверждений, которые обитают в этом мире.
Рассмотрим следующее простое и понятное утверждение. Каждое четное целое число больше двух можно представить в виде суммы двух простых чисел (делящихся только
Платон рассуждает об астрономии и движении планет в «Государстве» (Plato ок. 360 до н. э.), в «Тимее» и в «Законах». Следствия точки зрения Платона обсуждаются в Vlostos 1975 и Mueller 1992.
