Na początku XX wieku filozof i matematyk Bertrand Russell przedstawił światu problem, który wydawał się prostą grą słów, ale w rzeczywistości skrywał katastrofalną wadę w fundamentach nowoczesnej matematyki.
Jest on znany jako „Paradoks golibrody” i przedstawia następującą sytuację:
W odległej wiosce jest tylko jeden golibroda. W tym miejscu obowiązuje absolutne i nienaruszalne prawo: golibroda goli tylko mężczyzn, którzy NIE golą się sami.
Problem pojawia się, gdy zadajemy sobie ostateczne pytanie: Czy golibroda goli samego siebie?
- – Jeśli golibroda goli samego siebie: Łamie prawo, ponieważ zasada mówi, że może golić tylko tych, którzy nie golą się sami. Zatem nie powinien golić samego siebie.
- – Jeśli golibroda NIE goli samego siebie: Natychmiast trafia do grupy mężczyzn, którzy nie golą się sami. A skoro prawo mówi, że golibroda goli tę grupę, to jest zobowiązany ogolić samego siebie.
To jest nieskończona pętla. Jeśli to robi, nie może tego robić; a jeśli tego nie robi, musi to zrobić. Twój mózg właśnie się zawiesił.
Jaka jest prawdziwa odpowiedź na ten problem?
Przez lata ludzie próbowali znaleźć luki w tej historii: „że golibroda była kobietą”, „że golibroda był łysy i nie miał brody”, albo „że przyjechał golibroda z innej wioski”. Ale w czystej logice te odpowiedzi to oszustwo.
Prawdziwa naukowa i matematyczna odpowiedź na ten paradoks jest równie prosta, co druzgocąca: golibroda nie istnieje. To logiczna niemożliwość.
Russell wymyślił tę historię, aby pokazać, że „teoria zbiorów” używana przez matematyków jego czasów miała poważną wadę. Pokazał, że można zapisać regułę, która na papierze brzmi całkowicie logicznie, ale kiedy próbujesz zastosować ją do rzeczywistości, sama siebie niszczy.
Paradoks zostaje rozwiązany przez uznanie, że warunek definiujący golibrodę jest sprzeczny; dlatego istnienie postaci, która spełnia to prawo, jest matematycznie niemożliwe.
Dzięki temu bólowi głowy naukowcy musieli przepisać zasady nowoczesnej matematyki, aby zapobiec ponownemu pojawianiu się tych „czarnych dziur logiki”.