Марио Ливио - φ – Число Бога. Золотое сечение – формула мироздания

Эпиграфы у статей по астрофизике бывают очень редко. Так что мы получили письмо от редактора « The Astrophysical Journal », где он сообщал, что хотя и сам любит и ценит Беккета, однако не видит особой необходимости включать в статью эпиграф. Мы ответили, что предоставляем ему решать, печатать эпиграф или нет, и в результате статья вышла с эпиграфом – это было в выпуске от 15 декабря 1980 года. А вот как выглядит отрывок из «Моллоя» в неурезанном виде:

Зимой я ходил укутанный под пальто газетами, сбрасывая их вместе с пробуждением земли, окончательным, в апреле. Лучше всего подходило для этого литературное приложение к «Таймсу», благодаря своей неслабеющей прочности и герметичности. Даже газы мои не причиняли ему вреда. С газами я бороться не могу, они вырываются из моего зада по малейшему поводу и без повода, придется, время от времени, об этом говорить, несмотря на все мое отвращение к ним. Однажды я взялся их считать. Триста пятнадцать раз за девятнадцать часов, в среднем по шестнадцать в час. В конце концов, не так много. Четыре раза каждые четверть часа. Совсем ничего. Не выходит и по разу за четыре минуты. Просто невероятно. Черт побери, я почти не воняю, незачем было и вспоминать. Удивительно, насколько математика способствует самопознанию.

История математики знает по крайней мере две попытки – совсем разные с философской точки зрения – ответить на вопрос о поразительной мощи этой науки. Ответы эти также связаны с фундаментальным вопросом о подлинной природе математики. Всестороннее обсуждение этих тем потребовало бы нескольких томов и, конечно, далеко выходит за рамки этой книги. Поэтому я лишь кратко опишу несколько основных направлений мышления и изложу собственное мнение на этот счет.

Один взгляд на природу математики, традиционно именуемый платоническим, состоит в том, что математика вечна и всеобъемлюща и ее существование есть объективный факт, не зависящий от нас, людей. Согласно этому платоническому представлению математика была всегда, существовала в некоем абстрактном мире, а люди просто открыли ее, примерно как Микеланджело считал, что его скульптуры заключены внутри мраморных глыб и ему остается лишь убрать все лишнее. Золотое сечение, числа Фибоначчи, Евклидова геометрия и уравнения Эйнштейна – все это составные части платонической реальности, которая превосходит пределы человеческого разума. Сторонники платоновской точки зрения считают, что известный австрийский логик Курт Гёдель также был всей душой предан платонизму. Они подчеркивают, что он не просто говорил о математических понятиях, что и «они тоже могут отражать тот или иной аспект объективной реальности», но и его «теоремы о неполноте» сами по себе могут служить доводами в пользу платонического мировоззрения. Эти теоремы – вероятно, самые знаменитые результаты во всей истории логики – показывают, что для любой формальной системы аксиом (например, теории чисел) существуют утверждения, формулируемые на ее собственном языке, которые она не в состоянии ни доказать, ни опровергнуть . Иначе говоря, теория чисел, например, «неполна» в том смысле, что существуют истинные постулаты теории чисел, которые нельзя доказать методами, основанными на теории чисел. Чтобы доказать их, мы вынуждены перескочить в другую систему, богаче и выше уровнем, где опять же можно сформулировать истинные постулаты, которые нельзя доказать, не выходя из ее рамок, и так до бесконечности. Специалист по информатике и писатель Дуглас Р. Хофштадтер сухо сформулировал это в своей блистательной книге «Гёдель, Эшер, Бах. Эта бесконечная гирлянда»: «Понятие доказуемости у́же понятия истины». В этом отношении никогда не будет формального способа определить, взяв конкретное математическое утверждение, абсолютно ли оно истинно – точно так же как невозможно определить, верна ли та или иная физическая теория. Роджер Пенроуз, математик из Оксфорда, принадлежит к тем, кто уверен, что теоремы Гёделя – мощный довод в пользу существования платонического математического мира. В своей чудесной книге «Тени разума», которая подталкивает к интереснейшим размышлениям, Пенроуз говорит: «Гёдель доказал не то, что математика… – это произвольные поиски, направление которых определяется прихотью Человека; он доказал, что математика – это нечто абсолютное, и в ней мы должны не изобретать, но открывать… ни одна система “искусственных” правил не способна сделать это за нас». И добавляет: «Такая платоническая точка зрения была существенна для Гёделя» ( Пер. А. Р. Логyнова и Н. А. Зубченко ). Английский математик XX века Г. Г. Харди также был убежден, что функция человека – «открывать или наблюдать» математику, а не изобретать ее. Иначе говоря, абстрактный пейзаж математики существовал всегда и только и ждал, когда исследователи-математики его обнаружат.