Питер Эткинз - Десять великих идей науки. Как устроен наш мир.

Двигаясь дальше, мы можем также предположить, что простые операции с этими понятиями также структурно представлены в программном обеспечении нашего мозга. Эта идея предполагает, что лежащие в основе других операций логические операции являются встроенными и у нас есть программно обеспеченная способность к построению алгоритмов. Я не утверждаю, что эта способность принадлежит исключительно мозгу: сегодня существует большой интерес к умозрительным предположениям о существовании нелокальной активности мозга, которая дает нам возможность рассматривать связи неалгоритмическими способами, и кое у кого имеются умозрения (Роджер Пенроуз является ведущим пропагандистом этого взгляда), что сознание есть внутренне нелокальный квантовый феномен. Хотя я был бы удивлен, если бы это оказалось правдой, это не станет составной частью моего собственного умозрения, когда я сконцентрируюсь на алгоритмических процессах в мозгу, на гильбертовском алгоритмическом сопроцессоре для большей, более метаматематической, возможно, нелокальной способности мозга. Коротко говоря, для алгоритмических вычислений мы можем занять позицию, которую допустимо назвать «структуралистской», подобной той, с которой Ноам Хомский смотрел на внутреннюю способность человека к языку, и представлять себе нашу логическую способность как кантовское проявление программно обеспеченной алгоритмической компоненты мозга, которая возникла под давлением эволюции. Наша способность создавать математические взаимосвязи, выводить теоремы и так далее является следствием этой структуры.

Двигаясь из головы наружу, нам следует теперь рассудить, почему физический мир представляется рукой в математической перчатке. Здесь я вступаю на еще более предательскую спекулятивную почву. Мы видели связь чисел с множествами и принадлежащее Фреге отождествление чисел с расширениями определенных множеств. В подобном же духе веселый венгро-американский математик Джон (Иоганн) фон Нейман (1903-57), которого считают, наряду с Тьюрингом, отцом современного компьютера, предложил возможность отождествления натуральных чисел с некоторыми очень простыми множествами. А именно, он идентифицировал 0 с пустым множеством {}, множеством, не содержащим элементов. Затем он перешел к отождествлению 1 с множеством, содержащим пустое множество, 1 = {{}}, 2 с множеством, содержащим пустое множество и множество, которое содержит пустое множество, 2 = {{}, {{}}}, затем 3 = {{}, {{}}, {{}, {{}}}}, и так далее. [53]Так фон Нейман закрутил весь мир чисел из абсолютного ничто и дал нам арифметику ex nihilo.

Я утверждал где-то в другом месте, что, поскольку у меня не хватает воображения, чтобы представить себе, каким еще способом явное нечто может произойти из абсолютного ничто, появление Вселенной ex nihilo должно было происходить именно так, как фон Нейман наколдовал нам натуральные числа из пустого множества. Тот факт, что Вселенная пережила свое собственное творение, следует тогда интерпретировать как указание на то, что объекты, начавшие существовать таким путем, являются логически самосогласованными, в противном случае космос коллапсировал бы. Поэтому существует внутренняя логическая структура Вселенной, которая является той же структурой, что и арифметика.

Теперь мы соединим вместе эти пузырящиеся потоки легковесных спекуляций. Когда математик сталкивается с физическим миром, тот кажется ему его собственной рефлексией. Наши мозги, как и их продукт, математика, имеют в точности ту же логическую структуру, что и сама физическая Вселенная, структуру пространства-времени и населяющих его объектов. Неудивительно тогда (вспомним Вигнера и Эйнштейна), что порожденная мозгом математика дает совершенный язык для описания физического мира.

Все это, возможно, чепуха. А может быть, и нет. Тогда одним из следствий могло бы быть, что глубинной структурой мира является математика: Вселенная, все ее содержимое, есть математика, ничего, кроме математики, а физическая реальность есть внушающая ужас и благоговение ипостась математики. Это радикальный платонизм, ультранеоплатонизм, то, что я где-то назвал «глубинным структурализмом». То, что кажется нам осязаемым — земля, воздух, огонь и вода, — есть не более чем арифметика. Если это так, то теорема Гёделя приложима, в определенном смысле, ко всей Вселенной. Мы никогда не можем знать, действительно ли Вселенная является самосогласованной. Если нет, то возможно, что в некоторый момент в будущем она внезапно придет к концу, или несогласованность распространится на всю ее структуру подобно чуме, сминая логику на своем пути и, подобно ржавчине, уничтожая структуры. Все существующее возвратится к источнику, из которого вышло, к пустому множеству, к поразительно могущественному понятию абсолютного ничто.