Стивен Хокинг - Высший замысел

Кварки. Концепция кварков — крайне важный элемент в наших теориях фундаментальной физики, несмотря на то что наблюдать отдельные кварки невозможно.

Моделезависимый реализм может дать основу для обсуждения вопросов, подобных вот такому: что происходило до создания мира, если он был создан конечное время назад? Христианский философ Августин Блаженный (354–430) считал, что ответ не в том, что Бог уготовил ад для людей, задающих подобные вопросы, а в том, что время — это свойство созданного Богом мира и его не существовало до сотворения мира, которое, по мнению философа, произошло не так уж давно. Это одна из возможных моделей, полюбившаяся тем, кто утверждает, будто расчет времени, данный в Книге Бытия, верен буквально, несмотря на то что в мире встречаются окаменелости и другие свидетельства, доказывающие, что мир намного старше. (Они что, были подброшены, чтобы дурачить нас?) Кто-то может придерживаться другой модели, согласно которой время длится уже 13,7 миллиарда лет, считая от Большого взрыва. Эта модель, объясняющая большинство наших нынешних наблюдений, включая исторические и геологические свидетельства, является лучшим из имеющихся представлений о прошлом. Она может объяснить и окаменелости, и данные радиоуглеродного анализа, и то, что до нас доходит свет от галактик, расположенных в миллионах световых лет от нас. Поэтому вторая модель — теория Большого взрыва — более приемлема для нас, чем первая. И все же ни одну из них нельзя считать более реальной.

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

Любая модель хороша, если она:

1) простая (или «изящная»);

2) содержит мало произвольных или уточняющих элементов;

3) согласуется со всеми существующими наблюдениями и объясняет их;

4) дает подробные предсказания результатов будущих наблюдений, которые могут опровергнуть эту модель или доказать ее ложность, если предсказания, сделанные по этой модели, не подтверждаются.

Например, теория Аристотеля о том, что мир состоит из четырех элементов — земли, воздуха, огня и воды — и что объекты действуют так, чтобы выполнить свое предназначение, была изящна и не содержала уточняющих элементов. Но во многих случаях она не могла дать четких предсказаний, а если и давала, то эти предсказания не согласовывались с наблюдениями. Одно из таких предсказаний гласило, что более тяжелые предметы должны падать быстрее, поскольку их предназначение — падать. И похоже, никто до Галилея не счел нужным проверить это. Известна история о том, как он проверял это, бросая предметы различной массы с «падающей» Пизанской башни. Рассказ, скорее всего, недостоверный, а вот точно известно, что Галилей скатывал разные грузы по наклонной плоскости и заметил, что вопреки предсказанию Аристотеля они движутся с одинаковым ускорением.

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