Дилогия атеизма

Лидеры православных церквей считали неприемлемыми и выбрасывание дней (то есть пропуск — пусть и одноразовый — ежегодных празднований в честь довольно многих святых), и усложнение расчета пасхи, и возможность совпадения христианской пасхи с иудейским песахом, и многие другие богословские и технические осложнения, возникающие при любой смене счета дней. Седьмое апостольское правило предписывает: «Если кто — епископ, или пресвитер, или диакон — святой день Пасхи прежде весеннего равноденствия с иудеями праздновать будет: да будет извержен от священного чина». Но православные вероучители, ссылаясь на это требование, забывают: по григорианскому календарю, как и по юлианскому, пасха наступает только после астрономического весеннего равноденствия, правило же воспрещает лишь сочетание двух условий — не только совпадения с песахом, но и опережения равноденствия. Выходит, согласно логике и астрономии переход на новый стиль никому потерей должности не грозит.

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

Многие церкви восточного обряда, включая ту, что духовно окормляет нашу страну, отказываются выполнять единственное никейское предписание, допускающее независимую — астрономическую — проверку. Тем самым они лишаются — и, главное, лишают своих приверженцев — права на титул православных — правильно верующих, то есть соблюдающих все требования апостолов и вселенских соборов. В историю вошла геростратова фраза, приписанная константинопольскому патриарху Иеремии, в конце 1583 отвергшему уточнение календаря: «Лучше разойтись с Солнцем, чем сойтись с Папой».

Выбирать надо

Религия не всегда и не во всем дает ложные указания. Если бы нечто подобное и впрямь происходило, нам было бы куда проще жить. Пророку Мухаммеду приписывается совет: мужчина, выслушай совет женщины — и сделай наоборот. Замени в этой фразе женщину на веру — и пользуйся религией, как компасом, где в привычный синий цвет окрашен конец стрелки, нацеленный на юг, а не на север.

На деле все куда сложнее. Среди христианских есть церкви, ориентирующиеся на точную астрономию, а есть и те, что пользуются астрономией существенно устаревшей. То есть даже ориентация на религиозный канон не освобождает по меньшей мере от одного выбора: какой канон?

Вот тут нас подстерегает неожиданная сложность в сфере, вроде бы очень отдаленной от веры, — в математике.

Теоремы Гёделя

Всякое рассуждение опирается на исходные предположения. Их в свою очередь требуется обосновать, и цепочка обоснований не может быть бесконечной. На каком-то этапе приходится выбрать исходные положения, принимаемые без доказательств.

Идея опоры на недоказанные предположения впервые отчетливо сформулирована древними греками. Поэтому их до сих пор во всем мире называют греческим словом «аксиома» — ценная, достойная. А следствия, логически выводимые из них, зовутся опять же греческим словом «теорема» — сказанная богом.

Выбор системы аксиом непрост. Если какие-то теоремы, выведенные из них, явно противоречат опыту, то приходится решать: то ли аксиомы неверны, то ли опыт интерпретирован неточно. Правда, можно развивать аксиоматику без проверки опытом — в надежде на то, что в какой-то новой сфере знаний для нее найдется приложение: так обычно действует чистая математика. Но опыт зачастую указывает нетривиальные направления работы — так развивается прикладная математика — и поэтому желательно сверяться с ним почаще.

Вдобавок какие-то аксиомы взаимозаменяемы: если выбрать одну из них, то другую можно доказать на ее основе. И надо решать, какой набор аксиом удобнее для доказывания. Евклид, в чьих трудах идея аксиоматики впервые проведена достаточно строго, одну из своих аксиом — постулат о параллельных прямых — сформулировал подчеркнуто неуклюже: похоже, он подозревал, что ее на самом деле можно доказать, и такой формулировкой нацелил на нее позднейших исследований. Правда, дело оказалось еще интереснее: как выяснилось уже в XIX веке, это действительно аксиома, и отказ от нее порождает другие геометрии, причем в рамках евклидовой аксиоматики можно построить модели этих геометрий — а значит, все они равно надежны.