Природа науки
Человеком, потратившим всю жизнь на создание инструментов и проведение необходимых измерений, был датский астроном Тихо Браге (1546–1601). К концу жизни он составил огромный список положений планет на небе, определенных в результате точных измерений. Список этот, кстати, имел огромную коммерческую ценность, потому что его можно было использовать для расчета гороскопов. После смерти Браге его помощник, немецкий математик Иоганн Кеплер, блестяще применив математическую дедукцию, использовал результаты этих измерений, чтобы показать, что все данные можно объяснить с помощью трех простых правил. Эти правила движения планет, называемые теперь законами Кеплера, гласят, что:
– все планеты обращаются вокруг Солнца по эллиптическим орбитам,
– находясь ближе к Солнцу, планеты движутся быстрее, чем когда они находятся дальше от него, и
– чем сильнее удалена от Солнца орбита планеты, тем медленнее планета движется и тем длиннее ее «год».
У этих законов есть и математическая формулировка, и если вы знаете, например, на каком расстоянии данная планета находится от Солнца, третий закон позволит вам вычислить продолжительность ее года. Законы Кеплера, кстати, — хороший пример, иллюстрирующий сделанное выше замечание: полученную из наблюдений информацию можно обобщить с помощью нескольких простых правил, умещающихся на обороте конверта, вместо того чтобы пробиваться сквозь тома данных.
Здесь надо отметить еще вот что: ученые очень небрежно обращаются со словом «закон». В книге, посвященной разъяснению законов природы, эту проблему нельзя упускать из виду. Было бы очень удобно, если бы существовало простое правило, определяющее использование в науке таких слов, как «теория», «принцип», «эффект» и «закон». Например, можно было бы проверенное тысячу раз называть «эффектом», проверенное миллион раз именовать «принципом», а то, что проверили 10 миллионов раз, — «законом». Но так просто не поступают. Использование этих терминов основано на исторических прецедентах и не имеет отношения к тому, насколько ученые убеждены в верности каждого конкретного утверждения.
Например, закон всемирного тяготения Ньютона — одно из наиболее тщательно проверенных научных утверждений. Он, однако, входит в состав теории относительности Эйнштейна. Каждое подтверждение закона Ньютона — это одновременно и подтверждение теории Эйнштейна. Но существуют и подтверждения общей теории относительности, выходящие за рамки закона всемирного тяготения. Таким образом, мы имеем дело с «теорией», имеющей больше подтверждений, чем «закон». И это далеко не единичный пример. Некоторые аспекты поведения идеального газа описываются законом Шарля и законом Бойля-Мариотта, но эти законы можно вывести из (соответственно, более общей) теории — молекулярно-кинетической теории газов. Одна из наиболее проверенных научных идей, на которой зиждутся все биологические науки, описывает развитие жизни на нашей планете. Несмотря на все подтверждения, ученые все же говорят о теории эволюции.
Таким образом, слово «теория» может относиться к новой концепции, которую еще предстоит как следует проверить, а может обозначать идею, бывшую когда-то новой, но с тех пор настолько тщательно проверенную, что ее можно считать одной из самых достоверных истин о Вселенной. Ученые просто не особо интересуются тем, как идеи называются и какими словами их обозначают. Важна лишь суть идей и то, насколько они верны. В результате такого невнимания к терминологическим условностям вы столкнетесь в этой книге с самыми разными заголовками. Речь идет о коктейле из «эффектов», «теорий», «законов» и «принципов», составленном без оглядки на высоту положения. Это, равно как и тот факт, что законы часто называют именами тех, кто их не открывал, можно считать свидетельством отношения ученых к своему делу.
Гипотеза
Когда эксперименты проведены и новые закономерности природы открыты, это значит, что ученым пора остановиться и подвести итог. Говорят ли что-то вновь открытые закономерности о том, как устроена природа? Согласуются ли они с уже известными закономерностями, расширяющими представления о какой-то области науки? Задавшись подобными вопросами, ученые приступают к формулированию гипотез — догадок или предположений об устройстве Вселенной. Вот тут и заводятся величественные идеи о правящих Вселенной силах.
Именно на этом этапе язык математики вступает в свои права. Когда закономерности сформулированы в виде уравнений, их можно преобразовывать по стандартным правилам математики, играющим, если хотите, роль грамматики языка. Часто такие преобразования приводят к потрясающим открытиям. Например, Исаак Ньютон совместил закон всемирного тяготения Ньютона и законы механики Ньютона, получив при этом совершенно новую модель Солнечной системы, в которой планеты вращаются вокруг Солнца, а сила притяжения Солнца не позволяет им улететь в космическое пространство. Как мы увидим дальше, это событие оказало большое влияние на умы. С одной стороны, законы Кеплера, раньше считавшиеся обобщением данных наблюдений, сами стали следствиями — утверждениями, выводимыми логическим путем из более глубокой теории Ньютона. С другой, стало возможно рационально рассуждать о движении комет, до этого считавшемся непредсказуемым, и это обстоятельство позволило Эдмунду Галлею (1656–1742) открыть в 1705 году орбиту кометы, носящей теперь его имя.
На данном этапе научного процесса мы сталкиваемся с еще одной вариацией на нашу лингвистическую тему — еще одним оттенком значения слова «теория». В физических науках это слово часто обозначает математическое описание идей об устройстве Вселенной. Оно может означать как объяснение совершенно незначительного феномена — сноски на странице Вселенной, — так и величественную и масштабную конструкцию, объясняющую целый ряд известных результатов. Опять же, это слово может описывать (и описывает) идеи, признанные настолько, насколько это только возможно. Теория квантовой хромодинамики, например, — одна из наиболее скрупулезно подтвержденных экспериментом физических теорий. Некоторые из предсказанных ею явлений проверены экспериментаторами с точностью до 16 знаков после запятой. Известно, что она применима к широчайшему диапазону структур, от одиночных электронов до скоплений галактик. Замечательно, что ученые используют одно и то же слово, говоря и о столь серьезно проверенной концепции, и о новой неподтвержденной гипотезе какого-нибудь аспиранта.
Предсказание
Сколь бы сложной или элегантной ни была теория, ее качество определяется лежащими в ее основе данными, полученными в результате экспериментов и наблюдений. Но хорошая теория не просто объединяет уже известные факты — она предсказывает явления, которые до сих пор не наблюдались. Другими словами, хорошая теория «ручается за себя головой», давая ясные, поддающиеся проверке предсказания. Таким образом, замыкая круг, составляющий научный метод, мы можем, вернувшись к эксперименту и наблюдениям, выяснить, имеют ли место предсказанные теорией факты. Если да, мы ищем новые факты, выводимые из теории и подтверждающие ее верность. Если нет, возвращаемся к чертежам, меняем теорию и пробуем снова. В любом случае, качество теории определяется успешностью ее предсказаний.
Иногда теории очень точно предсказывают факты. К примеру, Галлей, рассчитав с помощью теории Ньютона орбиты комет, подверг эти теории суровой проверке, предсказав, что в 1758-м или 1759 году комета снова появится на небе. Тут не могло быть никаких отговорок или оправданий — если бы комета не появилась, теория рухнула бы. Теперь-то мы знаем, что возвращение кометы Галлея в ночь на Рождество 1758 года представляет собой одно из величайших подтверждений ньютоновского представления о Вселенной, но важно помнить, что все могло быть иначе. В наши дни, конечно, возвращения периодических комет можно предсказать куда точнее.
Теории могут предсказывать и общие закономерности. Например, история эволюции впервые была восстановлена по ископаемым органическим остаткам. Это дало ученым представление о том, как разные организмы связаны между собой, как давно у них были общие предки и так далее. Не так давно был найден новый способ выявления связей между живыми организмами — молекулярные часы. Эта методика основана на анализе ДНК: чем больше разница между ДНК двух организмов, тем раньше должны были разойтись их эволюционные пути. Теория эволюции предсказывает наличие единого генеалогического древа для всех живых организмов, потому ДНК и ископаемые остатки должны рассказывать одну и ту же историю. Это одно из недвусмысленных предсказаний теории, которое, однако, не привлекло к себе большого внимания. Совпадение двух историй прошлого — один из полученных в результате наблюдений фактов, подтверждающих теорию эволюции.
Эта опора на проверку опытом, как мне кажется, и есть то, что отличает науку от других видов интеллектуальной деятельности. Сформулируем разницу самым прямым и неоригинальным образом: в науке есть верные ответы. Не имеет значения, насколько элегантна теория и сколь высокое положение занимают ее создатели. Если теория не работает, надо от нее отказаться или изменить ее. И только так. Эта опора на проверку опытом служит демаркационной линией, разделяющей естественные и гуманитарные науки. В таких дисциплинах, как философия или литературная критика, нет внешнего объективного арбитра, играющего роль природы. Например, толкования произведения искусства так сравнивать невозможно. Соответственно, представителям гуманитарных и естественных наук бывает трудно понять образ мыслей друг друга. К этому вопросу мы скоро вернемся.
С опорой на экспериментальную проверку идей в научном сообществе связан интересный социологический феномен. Часто случается, что, когда теория оказывается несостоятельной, небольшая группа, иногда даже один человек, еще долго пытается ее оживить. По моему опыту, ни один ученый не испытывает такого одиночества, как те, кто пытается оживить теории, не выдержавшие проверку экспериментом. Покинутые коллегами, они не отступают, часто на протяжении всей жизни безуспешно пытаясь оспорить вынесенный природой приговор. Наука бывает суровым воспитателем, потому что она неумолимо требует подвергать идеи сомнению, заставляет судить их трибуналом наблюдения прежде, чем принять.
У этого факта есть важное следствие. Если идею невозможно проверить экспериментально, столкнуть ее лицом к лицу с природой, то это просто не наука. Используя термин, популяризованный философом Карлом Поппером (1902–94), научные идеи должны быть фальсифицируемы (т. е. опровержимы) — из них должны выводиться поддающиеся проверке утверждения. Другими словами, должно быть возможно представить себе результат эксперимента или наблюдения, демонстрирующий неверность теории (например, закона всемирного тяготения), даже если на практике такие результаты и не будут получены. Комета Галлея могла не появиться снова. Тот факт, что она появилась, конечно, подтвердил теорию Галлея, но то, что это могло не произойти, показывает, что теория была фальсифицируема. Таким же образом, могло оказаться, что ДНК рыб ближе к человеческой ДНК, чем ДНК шимпанзе. Это опровергло бы теорию эволюции. Результат, конечно, был иным — ДНК шимпанзе и людей совпадают на 98%, — но в принципе он мог быть и таким. Это показывает, что теория эволюции фальсифицируема.
Для сравнения рассмотрим теорию, популярную последнее время среди креационистов, — доктрину сотворенной древности. Согласно этой теории, Земля сотворена несколько тысяч лет назад, и в ней уже тогда были заложены свидетельства значительно большего возраста. Например, горные породы созданы вместе с находящимися в них ископаемыми остатками, деревья созданы с годичными кольцами, свет от звезд, находящихся на расстоянии тысяч световых лет, создан по пути к Земле, и так далее. Первая (и весьма элегантная) иллюстрация этого принципа дана в книге «Омфалос», написанной вскоре после выхода работы Дарвина. По-гречески «Омфалос» означает пупок, и главная идея книги состоит в том, что Адам был сотворен с пупком, хотя он не был в утробе и, соответственно, не нуждался в пуповине.
Главное в этой теории то, что невозможно представить себе опровергающий ее эксперимент или наблюдение. От любого свидетельства ее неверности можно отмахнуться, сказав, что такой была сотворена Земля. Эта теория не фальсифицируема (не опровержима), поэтому сколь бы она ни была привлекательна, она просто не научна. Немалая часть того, что принято называть альтернативной наукой, страдает этим недостатком — она не проходит тест на опровержимость. В телесериале «Секретные материалы» (горячим поклонником которого я, кстати, являюсь) речь идет о масштабном заговоре, единственная цель которого — уничтожить свидетельства присутствия на Земле инопланетян. Отсутствие доказательств всегда объясняется одним и тем же: «Они не хотят, чтобы ты это увидел». Это хороший сериал, но плохая наука.
Прежде, чем пойти дальше, я хотел бы упомянуть, что обвинения в невозможности фальсификации иногда приходится слышать в спорах об эффективности классической фрейдистской психотерапии. Некоторые критики утверждают, что фрейдистская теория может объяснить результат лечения независимо от его исхода. Если это так (в чем я не уверен), то эта теория также выходит за рамки науки.
Большой цикл
Итак, научное исследование образует цикл: эксперименты, затем обнаружение закономерностей, создание теорий, предсказание на их основе новых фактов и, наконец, возвращение к эксперименту для проверки верности предсказанного. Большинство ученых значительную часть жизни водят свою область знаний по этому кругу. Это то, что философы называют «нормальной наукой». Иногда, как мы видели, происходящее не укладывается в эту удобную схему, но ничего иного и нельзя ожидать от дела, которым занимаются люди. Таким образом, на любом этапе своего развития каждая научная область пытается перейти от одного этапа к другому. Один из способов сравнить разные науки — выяснить, на каком этапе цикла они находятся в данный момент. Другими словами, каким образом представители данной области стараются продвинуть ее вперед?
Я начинал свою карьеру в физике элементарных частиц — разделе науки, посвященном изучению фундаментальных составляющих материи. В данный момент этот раздел находится на этапе между предсказанием фактов и их проверкой. Налицо несколько правдоподобных теорий, и многие из них предсказывают поведение частиц очень высоких энергий при столкновении. К сожалению, мы не можем проверить верность предсказанного, потому что у нас нет машин, способных ускорить частицы до достаточно высоких энергий. В 1993 году Конгресс США с присущей ему мудростью принял решение о прекращении строительства машины, названной «Сверхпроводящий суперколлайдер», обеспечив таким образом невозможность последовательного развития теории и эксперимента в этой области. Машина поменьше под названием «Большой адронный коллайдер» должна вступить в строй в Европейском центре ядерных исследований (CERN) в Женеве (Швейцария) к 2005 году, и, может быть, физика элементарных частиц снова сможет развиваться.
В то время как некоторые отрасли науки изголодались по данным, другие, напротив, страдают от пресыщения. Например, во многих областях молекулярной биологии новая информация поступает таким потоком, что его невозможно переварить. Живые организмы — самые сложные структуры во Вселенной, и только теперь у нас появилась возможность исследования такого уровня сложности. Многие направления в науках о жизни задержались на этапе перехода от эксперимента к выявлению закономерностей, и исследователи прилагают большие усилия, пытаясь найти молекулярный аналог законов Кеплера.
Хороший пример этого — так называемая проблема укладки белка. Среди прочего, белки — это рабочие лошадки, управляющие химическими процессами в живых организмах. Это крупные молекулы, имеющие сложную пространственную форму. Именно эта форма позволяет