Дилогия атеизма
Шрифт:
Никейский собор 322–323 годов, помимо прочего, установил: весеннее равноденствие приходится на 21-е марта. Это нужно для расчета даты празднования пасхи: иудейский календарь, откуда пришло в христианство это событие, синхронизирован не только с Солнцем, но и с Луной. И христианам, празднующим пасху в первое воскресенье после первого весеннего полнолуния, надо четко знать, какое полнолуние – первое весеннее. А со времен Иисуса до собора погрешность календаря сдвинула к равноденствию именно это число.
В последующие века погрешность накапливалась, а точность астрономических расчетов и наблюдений, включая определение моментов солнцестояний и равноденствий, росла.
В конце концов итальянский астроном Луиджи Лиллио разработал новый календарь, где годы, делящиеся на сто, но не на четыреста, считаются не високосными, а простыми. Погрешность этого календаря – около одного дня за четыре тысячи лет. Надобность в его коррекции станет очевидна через десяток–другой тысячелетий. Глава римской католической церкви Григорий XIII подписал указ о введении этого календаря в обращение. При этом пришлось выбросить из календарного счета десять дней, чтобы привести 21-е марта к моменту весеннего равноденствия, как и заповедано Никейским собором.
Прочие, не подчиненные папе, течения христианства долго раздумывали, надлежит ли им следовать календарной реформе. В конце концов большинство христиан склонилось к мысли о светской природе календаря и приняло его в качестве более эффективного, чем юлианский, инструмента.
Лидеры православных церквей считали неприемлемыми и выбрасывание дней (то есть пропуск – пусть и одноразовый – ежегодных празднований в честь довольно многих святых), и усложнение расчета пасхи, и возможность совпадения христианской пасхи с иудейским песахом, и многие другие богословские и технические осложнения, возникающие при любой смене счета дней. Седьмое апостольское правило предписывает: “Если кто – епископ, или пресвитер, или диакон – святой день Пасхи прежде весеннего равноденствия с иудеями праздновать будет: да будет извержен от священного чина”. Но православные вероучители, ссылаясь на это требование, забывают: по григорианскому календарю, как и по юлианскому, пасха наступает только после астрономического весеннего равноденствия, правило же воспрещает лишь сочетание двух условий – не только совпадения с песахом, но и опережения равноденствия. Выходит, согласно логике и астрономии переход на новый стиль никому потерей должности не грозит.
Календарную реформу приняло меньшинство патриархий. В 1923-м константинопольский патриарх (и вслед за ним еще десять поместных церквей) приняли новоюлианскую систему, совпадающую с григорианской до 2800 года. Московская патриархия доселе остается при безнадежно устаревшем юлианском стиле, принуждая своих последователей отмечать все христианские праздники в отрыве от большей части единоверного мира (разрыв составляет уже тринадцать дней!), а рождество отмечать после общего Нового года.
Многие церкви восточного обряда, включая ту, что духовно окормляет нашу страну, отказываются выполнять единственное никейское предписание, допускающее независимую – астрономическую – проверку. Тем самым они лишаются – и, главное, лишают своих приверженцев – права на титул православных – правильно верующих, то есть соблюдающих все требования апостолов и вселенских соборов. В историю вошла
Выбирать надо
Религия не всегда и не во всем дает ложные указания. Если бы нечто подобное и впрямь происходило, нам было бы куда проще жить. Пророку Мухаммеду приписывается совет: мужчина, выслушай совет женщины – и сделай наоборот. Замени в этой фразе женщину на веру – и пользуйся религией, как компасом, где в привычный синий цвет окрашен конец стрелки, нацеленный на юг, а не на север.
На деле все куда сложнее. Среди христианских есть церкви, ориентирующиеся на точную астрономию, а есть и те, что пользуются астрономией существенно устаревшей. То есть даже ориентация на религиозный канон не освобождает по меньшей мере от одного выбора: какой канон?
Вот тут нас подстерегает неожиданная сложность в сфере, вроде бы очень отдаленной от веры, – в математике.
Теоремы Гёделя
Всякое рассуждение опирается на исходные предположения. Их в свою очередь требуется обосновать, и цепочка обоснований не может быть бесконечной. На каком-то этапе приходится выбрать исходные положения, принимаемые без доказательств.
Идея опоры на недоказанные предположения впервые отчетливо сформулирована древними греками. Поэтому их до сих пор во всем мире называют греческим словом “аксиома” – ценная, достойная. А следствия, логически выводимые из них, зовутся опять же греческим словом “теорема” — сказанная богом.
Выбор системы аксиом непрост. Если какие-то теоремы, выведенные из них, явно противоречат опыту, то приходится решать: то ли аксиомы неверны, то ли опыт интерпретирован неточно. Правда, можно развивать аксиоматику без проверки опытом – в надежде на то, что в какой-то новой сфере знаний для нее найдется приложение: так обычно действует чистая математика. Но опыт зачастую указывает нетривиальные направления работы – так развивается прикладная математика – и поэтому желательно сверяться с ним почаще.
Вдобавок какие-то аксиомы взаимозаменяемы: если выбрать одну из них, то другую можно доказать на ее основе. И надо решать, какой набор аксиом удобнее для доказывания. Евклид, в чьих трудах идея аксиоматики впервые проведена достаточно строго, одну из своих аксиом – постулат о параллельных прямых – сформулировал подчеркнуто неуклюже: похоже, он подозревал, что ее на самом деле можно доказать, и такой формулировкой нацелил на нее позднейших исследований. Правда, дело оказалось еще интереснее: как выяснилось уже в XIX веке, это действительно аксиома, и отказ от нее порождает другие геометрии, причем в рамках евклидовой аксиоматики можно построить модели этих геометрий – а значит, все они равно надежны.
Вопрос о надежности аксиоматики возникает и вне связи с опытом. Если в ней можно одновременно вывести и какое-то утверждение, и его отрицание, то такая противоречивая система явно бесполезна: уже доказанное можно сразу же опровергнуть. Если в системе можно построить утверждение, в ее же рамках недоказуемое, но и неопровержимое, то такая – неполная – система лишь ограниченно пригодна: для выяснения судьбы такого утверждения придется вводить в систему новые аксиомы.
Естественно, в числе целей математиков долгое время была проверка непротиворечивости системы аксиом, которой они пользовались. Желательна и полнота системы: не хочется каждый раз натыкаться, подобно Евклиду, на утверждения, с которыми заведомо невозможно справиться.