По причине такого расхождения во мнениях относительно того, какой из миров на рис.
8.1следует считать первичным, а какие вторичными, я порекомендовал бы взглянуть на стрелки несколько иначе. Существенным качеством стрелок на рис.
8.1является не столько их направление, сколько тот факт, что каждая представляет такое соответствие, при котором лишь
Есть нечто парадоксальное в этих соответствиях: каждый мир, похоже, «возникает» всего лишь из крохотной части того мира, что ему предшествует. На рис. 8.1я постарался этот парадокс подчеркнуть. Впрочем, я рассматриваю стрелки не как утверждения о каких-то действительных «возникновениях», а просто как символы имеющихся соответствий, поскольку не хочу умножать предрассудки, и без того окружающие вопрос о том, какой из миров следует считать первичным, вторичным или третичным, если там вообще уместно такое «старшинство».
И все же полностью избежать предрассудков (или просто предвзятости) на рис.
8.1мне не удалось. Если верить рисунку, то следует предположить, что
В первой части я большое внимание уделил некоторым следствиям из знаменитой теоремы Гёделя о неполноте. Кто-то из читателей, возможно, придерживается мнения, что теорема Гёделя как раз и утверждает, что в мире платоновских математических истин имеются области, принципиально недоступные человеческому пониманию или интуиции. Надеюсь, что мои доказательства ясно показали, что это не так {108}. Те математические предположения, что упоминаются в остроумном доказательстве Гёделя, человеку вполне доступны — при условии, что они построены в рамках математических (формальных) систем, которые уже приняты нами как достоверные средства оценки математической истинности. Из доказательства Гёделя отнюдь не следует, что существуют недоступные математические истины. Из него следует лишь, что человеческая интуиция не укладывается ни в рамки формальной аргументации, ни в рамки вычислительных процедур. Более того, из него недвусмысленно следует само существование платоновского математического мира. Математическая истина не определяется произвольным образом по правилам некоей «искусственной» формальной системы, но имеет абсолютный характер и находится вне любой такой системы устанавливаемых правил. Поддержка платоновского мировоззрения (в противовес формализму) была одной из важных причин, побудивших Гёделя взяться за работу. С другой стороны, рассуждения Гёделя могут служить иллюстрацией глубокой непостижимости нашего математического восприятия. Для того чтобы такое восприятие возникло, мы не просто «вычисляем»; тут на самом глубинном уровне задействовано что-то еще — что-то, что было бы невозможно без собственно осознания, которое, в конечном счете, и формирует мир восприятий.