Найграндіозніше шоу на Землі: доказ Еволюції. Річард Докінз
хтось колись знайде доведення, то вона стане теоремою Ґольдбаха, або, можливо, теоремою Х, де Х – це кмітливий математик, який знайде доказ.
Карл Саган із насмішкою посилається на гіпотезу Ґольдбаха у своїй влучній відповіді людям, які стверджують, що їх викрали іншопланетяни.
Час від часу я отримую листа від когось, хто перебуває в «контакті» з іншопланетянами. Мене запрошують «запитати їх про будь-що». Тож за ці роки я підготував невеличкий список запитань. Ви ж пам’ятаєте, що іншопланетяни дуже прогресивні. Тож я запитую такі речі: «Будь ласка, дайте короткий доказ Великої теореми Ферма». Або гіпотези Ґольдбаха… Я ніколи не отримую відповіді. З іншого боку, якщо я запитаю щось на кшталт «чи маємо ми бути добрими?», то майже напевне отримаю відповідь. Ці прибульці з великою радістю відповідають на будь-які мутні запитання, особливо такі, що передбачають загальноприйняті моральні судження. Але вони мовчать у відповідь на будь-яке конкретне запитання, коли є шанс встановити, чи вони загалом знають щось поза тим, що знає будь-яка людина[7].
Велика теорема Ферма, як і гіпотеза Ґольдбаха, – це пропозиція щодо чисел, з якої ніхто не знайшов винятків. Її доведення було чимось на кшталт священного Ґрааля для математиків іще з 1637 року, коли П’єр де Ферма написав на берегах старої книжки з математики: «Я маю правдиве дивовижне доведення… яке ці вузькі береги не зможуть умістити». У 1995 році її нарешті довів англійський математик Ендрю Вайлз. До того деякі математики вважали, що її слід називати припущенням. Зважаючи на довжину й складність успішного доведення Вайлза та його звернення до просунутих методів і знань ХХ ст., більшість математиків вважає, що Ферма (щиро) помилявся, коли стверджував, що довів її. Я розповідаю цю історію лише як ілюстрацію до відмінностей між пропозицією і теоремою.
Як і казав, я запозичу математичний термін «теорема», але буду писати його «теорум», щоб відрізняти від математичної теореми. Науковий теорум, як-от еволюція або геліоцентризм, – це теорія, яка підпадає під визначення Оксфордського словника в першому значенні:
[Вона] підтверджена або встановлена завдяки спостереженням й експериментам і висунута або прийнята як пояснення відомих фактів; [це] твердження того, що вважається загальновизнаними законами, принципами або причинами чогось відомого або такого, що можна спостерігати.
Науковий теорум не було (і не могло бути) доведено в такий спосіб, в який було доведено математичну теорему. Але здоровий глузд вважає її фактом у тому ж сенсі, що й теорію про те, що Земля кругла, а не пласка, чи теорію про те, що зелені рослини отримують енергію від сонця, – усе це факти. Вони всі – наукові теоруми, які підтверджуються численними свідченнями, визнаними всіма обізнаними спостерігачами, і це незаперечні факти в звичайному сенсі цього слова. Проте (і це стосується будь-яких фактів), якщо вже за гамбургським рахунком, безперечно, можливо, що і наші вимірювальні
Sagan (1996).