Одним из следствий этой внутренней практической невозможности достичь совпадения предсказания и наблюдения является сдвиг значения экспериментальной проверяемости в науке. В течение долгого времени считалось, что краеугольный камень научного метода – процесс сравнения предсказания с наблюдением и пересмотр теории в свете их несовпадения. Теперь, однако, мы видим, что надежное предсказание возможно не всегда. Так, значит, наш краеугольный камень зашатался? Ничего подобного. «Глобальное» предсказание того, что данная модель проявит хаотическое поведение, может быть проверено тестированием системы при различных начальных условиях, – а хаос, конечно, тоже имеет определенные предсказуемые характеристики, которые можно проверить. Чтобы мы могли заявить, что система нам понятна и ее поведение проверяемо, вовсе не обязательно предсказать и проверить точную траекторию двойного маятника. Законы природы – в данном случае «банда внезаконов» – подверглись бы проверке даже в этом случае количественной непредсказуемости.
Человеческий мозг – вместилище процессов, гораздо более сложных, чем механически тривиальный двойной маятник. А следовательно, нет ничего удивительного в том, что результат его деятельности – действие, мнение, даже произведение искусства – не может быть и, по всей видимости, никогда не будет предсказан на основании «входных данных», таких как взгляд или случайная фраза. Теологи называют эту непредсказуемость «свободной волей». Как и в случае двойного маятника, но на гораздо более сложном уровне, мы могли бы утверждать, что понимаем внутренний механизм работы мозга, искусственного или естественного, как совокупность процессов, происходящих внутри него, хоть нам и не удалось предсказать мнение, которое он выразил, поэму, которую он создал, или расправу, которую он учинил. Следовательно, проявление «свободной воли» будет в некотором смысле подтверждением того, что мы понимаем механизм работы мозга, так же как проявление хаоса, – подтверждением нашего понимания механизма работы двойного маятника. Вероятно, будет слишком смелым надеяться, что так же, как для простых систем можно предсказать закономерности хаоса, в один прекрасный день будут открыты и закономерности проявлений свободной воли. Возможно, психиатрия уже открыла их, но еще не сформулировала в достаточно точной форме.
Бесстрастная рациональность математики, быть может, и обеспечивает ее непостижимую эффективность. Возможно, эта эффективность вовсе не непостижима: может быть, она восходит к логическим основаниям, этому апофеозу рациональности. Причиной действенности математики может оказаться просто ее упор на систематические процедуры: начни с предложения модели, выпиши несколько уравнений, описывающих свойства последней, а затем выведи следствия, используя испытанные инструменты математической дедукции. Может, это и все. Но возможно ли еще что-нибудь?
Есть некоторые указания на то, что мир может быть математическим в более глубоком смысле. Здесь я отталкиваюсь от замечания, сделанного немецким математиком Леопольдом Кронекером (1823–1891): Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk («Бог создал целые числа; все прочее – дело рук человека»). Выходит, что все великолепные достижения математики – это манипуляции с начальными сущностями: целыми числами, служащими для простого порядкового счета, создание из них структур, для которых они не были изначально предназначены. Но – если считать щедрость господа бога слишком простым ответом – откуда взялись сами целые числа?
Целые могут появляться абсолютно из ничего. Эта процедура относится к самой бледной и бесцветной области математики, известной как теория множеств – в ней рассматриваются совокупности объектов безотносительно к тому, что эти объекты собой представляют. Если у вас нет ничего, то у вас есть так называемое пустое множество, обозначаемое {Ø}. Я буду называть его 0. Допустим, у вас есть множество, обозначаемое {{Ø}}, в котором содержится пустое множество. Теперь у вас есть что-то, что я буду называть 1. Вероятно, вы уже понимаете, к чему я клоню. У вас может быть еще и множество, в котором содержится не только пустое множество, но и множество, которое содержит пустое множество. Это множество обозначается {{Ø},{{Ø}}}, и, так как в нем два элемента, я буду его называть 2. Теперь вы, вероятно, видите, что 3 – это {{Ø},{{Ø}},{{Ø},{{Ø}}}}, и содержит пустое множество, множество, которое содержит пустое множество, и множество, которое содержит и пустое множество, и множество, которое содержит пустое множество. Я не буду забивать вам голову рассказом о том, что такое 4, не говоря уж о следующих числах, – процедура уже понятна. Таким образом, абсолютно из ничего (из пустого множества) мы сгенерировали семейство целых чисел. А как только вы получили целые числа и, как выразился тот же Кронекер, заставили их прыгать через обручи, вы получили математику.