Ричард Докинз - Самое грандиозное шоу на Земле

Можно было бы продолжать пользоваться словосочетаниями «теория в первом значении» и «теория во втором значении», но это не слишком удобно. Придется найти замену. Для теории во втором значении есть отличный синоним — гипотеза.

Всем понятно, что гипотеза — это допущение, предположение, ожидающее подтверждения или опровержения. Гипотезой эволюция была во времена Дарвина. Найти адекватную замену первому значению слова «теория» сложнее. Удобнее всего, конечно, было бы забыть о втором смысле этого слова и пользоваться им как ни в чем не бывало. Другая отличная мысль: второго смысла не должно быть вовсе, оно избыточно и сбивает с толку, учитывая наличие слова «гипотеза». Тем не менее второе значение, к сожалению, широко распространено, и игнорировать его мы не можем. Поэтому мне придется сделать существенное, но вполне логичное и оправданное, заимствование из математики. Я воспользуюсь словом «теорема». Как мы увидим, это заимствование не совсем верно, но мне представляется, что риск оправдан. Дабы не обижать математиков, я изменю написание слова на «теорум» [8] Только ради красоты / Напиши «теорум» ты. . Для начала следует объяснить, как математики понимают смысл слова «теорема», заодно прояснив высказывание о том, что только математики действительно способны что-либо доказать (в отличие от адвокатов, несмотря на претензии последних).

С точки зрения математика, доказательство — это логически непротиворечивая демонстрация того, что утверждение следует из аксиом. Так, теорема Пифагора следует из аксиом евклидовой геометрии (например аксиомы, гласящей, что параллельные прямые не пересекаются). Сколько бы вы ни измерили прямоугольных треугольников, пытаясь опровергнуть теорему Пифагора, вы зря потратите время. Кто угодно может прочитать доказательство, найденное пифагорейцами, и убедиться в его истинности. Теорема справедлива, и все тут! Чтобы отличить теорему от гипотезы, математики используют концепцию доказательства. Гипотеза представляет собой утверждение, которое кажется истинным, однако истинность его не доказана. В случае, если она будет доказана, гипотеза станет теоремой. Прекрасным примером гипотезы является проблема Гольдбаха, которая заключается в доказательстве того, что всякое целое число, большее или равное шести, может быть представлено в виде суммы трех простых чисел. Поскольку математикам не удалось опровергнуть гипотезу, с позиций здравого смысла это уже не гипотеза, а факт Гольдбаха. Тем не менее никто и никогда не смог доказать истинность этой гипотезы (несмотря на приз, ожидающий того, кто сумеет это сделать), и математики совершенно справедливо отказывают этой гипотезе в членстве в клубе теорем. Если кто-либо найдет доказательство, утверждение будет переименовано в теорему Гольдбаха. Или, быть может, в теорему Х, где Х — способный математик, опубликовавший доказательство.

Карл Саган отвечал людям, утверждавшим, будто они были похищены пришельцами:

Время от времени мне приходят письма от людей, якобы находящихся в «контакте» с инопланетянами [9] Sagan (1996). . Мне предлагают задавать «любые» вопросы. За несколько лет я составил небольшой список: инопланетяне гораздо более развиты, чем мы, разве нет? Поэтому я задаю вопросы такого рода: «Пожалуйста, представьте короткое доказательство Великой теоремы Ферма. Или проблемы Гольдбаха…» Знаете, я не получил ни одного ответа. А когда я спрашиваю, следует ли нам хорошо себя вести, мне отвечают почти всегда. Эти инопланетяне счастливы ответить на любые нечеткие вопросы, особенно содержащие конвенциональные моральные суждения. Но в ответ на любой четкий вопрос, который позволил бы выяснить, знают ли они что-либо за пределами человеческих знаний, звучит только тишина.

Великая теорема Ферма, как и проблема Гольдбаха, представляла собой гипотезу с 1637 года, когда Пьер Ферма написал на полях старой математической книги: «Я нашел… поистине чудесное доказательство, но поля книги слишком узки для него». Теорема была доказана английским математиком Эндрю Уайлзом только в 1995 году. Поскольку доказательство Уайлза весьма длинно и сложно, а также учитывает новейшие методы и знания, большинство математиков склоняется к мнению, что Ферма искренне заблуждался, считая, что у него есть доказательство. Эту историю я пересказал только для того, чтобы пояснить, в чем разница между теоремой и гипотезой.

Я позаимствую из математики термин «теорема», но чтобы отличить ее, изменю написание на «теорум». Научный теорум, например эволюция или гелиоцентрическая система, вполне соответствует первому значению теоремы из Оксфордского словаря: «гипотеза, подтвержденная наблюдением, экспериментом, или построенная на их основе, предлагаемая или принимаемая как объяснение известных фактов; утверждение, включающее общие законы, принципы или причины известных или наблюдаемых явлений».

Научный теорум никогда не будет доказан (и не может быть доказан) так же, как доказывают математические теоремы. Но с точки зрения здравого смысла он является фактом.

Таковы утверждения, что земля круглая, а не плоская, а растения добывают энергию из солнечных лучей. Прекрасно информированные наблюдатели и экспериментаторы собрали массу доказательств, подтверждающих истинность этих теорем — бесспорных фактов в общепринятом смысле слова. Тем не менее, если мы желаем быть педантами, нам следует признать, что мы не можем быть уверены до конца в доступных нам измерительных приборах и органах чувств. Бертран Рассел однажды сказал, что мы все «могли появиться на свете всего пять минут назад с готовыми воспоминаниями, в дырявых носках и с шевелюрами, которые пора стричь» [10] Bertrand Russell, Religion and Science (Oxford: Oxford University Press, 1997), 70. . Учитывая имеющиеся сегодня данные, для того, чтобы эволюция оказалась не фактом, потребовался бы примерно такой же хитроумный трюк Творца, а в это мало кто из теистов согласится поверить.

Настало время выяснить, как словари объясняют слово «факт». «Оксфордский словарь английского языка» дает несколько значений. Нам подходит одно:

Факт. Действительное, невымышленное происшествие, событие, явление; нечто, совершенно точно имеющее данные свойства; истина, известная благодаря непосредственному наблюдению или достоверному сообщению, в отличие от воображаемого, вымышленного или только предполагаемого; установленное знание, данное в опыте, служащее для какого-либо заключения, вывода, являющегося проверкой какого-либо предположения.

Заметим, что факт, как и теорум, не обладает привилегированным положением математической строго доказанной теоремы, с неизбежностью следующей из аксиом. Более того, как раз «непосредственное наблюдение или достоверное сообщение» может быть ужасающе ненадежным, и в залах судебных заседаний им придают неоправданно большое значение. Юрист, всецело полагающийся на показания очевидцев, был бы шокирован результатами некоторых психологических экспериментов.