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