Мої колеги часто просять мене допомогти з числами. Вони вважають, що знаю математику. Іронія в тому, що я жахливо вважаю в умі.
Люди часто розуміють математику неправильно. Вони думають, що це швидкі додавання та віднімання в голові, поки ви купуєте каву. Ні. Справжня математика – це “будова світів”.
Міф про фундамент
Все починається з правил. Аксіом. Базових істин, які ви приймаєте, щоб гра могла розпочатися. На цій основі ви споруджуєте все інше: множини перетворюються на числа, числа — на функції, а функції скручуються на геометрію. Все це спирається на цю початкову підлогу.
Довгий час математики вели небезпечну гру з балансом. Вони хотіли використовувати якнайменше правил, але при цьому достатньо для опису сучасного всесвіту. І ці правила мали здаватися “вірними”. Інтуїтивно зрозумілі. Як твердження «існує пусте безліч». Це просто має сенс.
До 1900-х років усі зійшлися на системі ZFC. Теорія множин Цермело – Френкеля з аксіомою вибору. Дев’ять правил. Все. То був фундамент.
Або вони так думали.
Гедель руйнує все
Математики любили свій фундамент. Вони мріяли про систему, яка мала б дві якості одночасно:
- Повнотою. Будь-яку істину можна довести.
- Несуперечливістю. Суперечності неприпустимі.
Настає 1931 рік. На сцені – Курт Гедель. Йому двадцять п’ять років. Він скидає бомбу, яка тріскає сам фундамент.
Його перша теорема про неповноту безжальна. Вона говорить, що в будь-якій досить потужній і несуперечливій системі існують твердження, які не можна довести ні як справжні, ні як хибні. Крапка. А потім слідує друга теорема. Ще гірше. Система не може довести свою власну несуперечність.
Звучить академічно, звісно. Анотація логіки. Колеги Ґеделя сподівалися, що це просто дивина. Якийсь теоретичний збій, позбавлений практичного значення. Вони помилялися.
Гедель довів, що достовірність має межу. Ви не можете знати все навіть у рамках правил, які створили самі.
Візьмемо ту саму систему ZFC. У ній повно недоведених тверджень. Найвідоміше – континуум-гіпотеза. Чи існує нескінченність між цілими числами та дійсними? Ми не знаємо. І ми ніколи не зможемо цього довести за допомогою наших інструментів. Це питання просто… залишається висіти у повітрі.
Невирішений. Навіть не піддається рішенню.
Так що так, ви можете будувати світи з аксіом. Ви можете піднятися від простих множин до складної топології. Але у структурі є дірки. Вбудовані сліпі зони, де ховається істина, назавжди залишаючись поза досяжністю.
Навіщо розум прагне повноти, якщо повнота неможлива?
