Czy można udowodnić, że 1+1=2?

Tytułowe pytanie wydaje się absurdalne, prawda? Przecież od przedszkola wiemy, że jeden plus jeden to dwa. Podnosisz jeden palec. Potem drugi. Masz dwa palce. 1+1=2. Oczywiste, prawda? To jest tak oczywiste, tak fundamentalne, że aż boli.

Ale czy kiedykolwiek zastanawiałeś się, dlaczego tak jest? Czy to jest udowodnione? A jeśli tak, to jak? Ta pozornie banalna kwestia prowadzi nas w sam środek jednego z najbardziej fascynujących i, szczerze mówiąc, szokujących odkryć w historii logiki i matematyki – prosto do fundamentów matematyki i słynnych twierdzeń Gödla o niezupełności.

Co jeśli powiem ci, że udowodnienie tej pozornie trywialnej prawdy zajęło Bertrandowi Russellowi i Alfredowi Northowi Whiteheadowi aż 379 stron w ich monumentalnym dziele „Principia Mathematica”? I że nawet ta gigantyczna praca nie była w pełni satysfakcjonująca?

Witaj w świecie, gdzie najprostsze prawdy okazują się najbardziej skomplikowane do udowodnienia.

Dlaczego w ogóle próbować udowadniać oczywistości?

Na początku XX wieku matematycy mieli problem. Odkryli paradoksy, które podważały fundamenty ich dziedziny. Najsłynniejszy to paradoks Russella: rozważ zbiór wszystkich zbiorów, które nie zawierają siebie jako elementu. Czy ten zbiór zawiera siebie? Jeśli tak, to nie powinien. Jeśli nie, to powinien.

To jak pytanie: „Czy fryzjer, który goli wszystkich mężczyzn w mieście, którzy nie golą się sami, goli siebie?”

Jeśli się goli, to znaczy, że nie powinien się golić. Jeśli się nie goli, to znaczy, że powinien się golić.

1. Fryzjer goli siebie → Ale zgodnie z założeniem goli tylko tych, którzy się NIE golą sami, więc nie powinien golić siebie → Sprzeczność.
2. Fryzjer nie goli siebie → Zatem nie goli się sam, a zgodnie z definicją powinien zostać ogolony przez fryzjera, czyli powinien golić siebie → Sprzeczność.

W obu przypadkach dochodzimy do sprzeczności logicznej. To znaczy, że taki fryzjer nie może istnieć, a samo założenie (czyli opis problemu) jest wewnętrznie sprzeczne.

Matematycy zorientowali się, że ich „oczywiste” intuicje mogą prowadzić do sprzeczności. Potrzebowali solidnych fundamentów. Musieli wrócić do podstaw i udowodnić absolutnie wszystko – włącznie z tym, że 1+1=2.

Jak Russell i Whitehead próbowali uratować matematykę?

W latach 1910-1913 Russell i Whitehead opublikowali trzytomowe dzieło, które miało rozwiązać wszystkie problemy matematyki raz na zawsze. Ich plan był prosty w koncepcji, ale diaboliczny w wykonaniu: zdefiniować matematykę w kategoriach czystej logiki.

Zaczęli od najprostszych elementów. Co to jest liczba? Według nich liczba to klasa wszystkich klas o tej samej liczebności. A to dopiero początek.

Liczba „1” to klasa wszystkich klas jednoelementowych. Czyli klasa zawierająca: klasę {jabłko}, klasę {Sokrates}, klasę {Ziemia}, i wszystkie inne klasy zawierające dokładnie jeden element.

Liczba „2” to klasa wszystkich klas dwuelementowych: {jabłko, gruszka}, {Sokrates, Platon}, {Ziemia, Mars}, itd.

Na tej podstawie musieli zdefiniować dodawanie. I tu zaczyna się prawdziwa przygoda logiczna. Ich dowód tego, że 1+1=2 wypełnił setki stron precyzyjnych definicji, aksjomatów i rozumowań.

Konkretnie: jak wygląda dowód że 1+1=2?

Wyobraź sobie, że musisz wyjaśnić kosmicie, który nigdy nie słyszał o liczbach, dlaczego 1+1=2. Nie możesz użyć żadnych pojęć matematycznych – musisz zacząć od czystej logiki.

Najpierw definiujesz pojęcie istnienia. Potem pojęcie unikalności. Następnie pokazujesz, jak z tych pojęć wynika definicja liczby „1”: „istnieje dokładnie jeden obiekt o właściwości X”.

Potem definiujesz liczby „2”: „istnieją dokładnie dwa obiekty o właściwości X”. Ale co oznacza „dwa”? Musisz to zdefiniować bez używania liczb: „istnieje obiekt x i istnieje obiekt y, takie że x≠y, i nie istnieje trzeci obiekt z różny od x i y”.

Następnie definiujesz dodawanie jako operację na klasach rozłącznych (czyli takich, które nie mają wspólnych elementów). I dopiero wtedy możesz udowodnić, że jeśli masz klasę o jednym elemencie i drugą klasę o jednym elemencie, i te klasy są rozłączne, to ich suma jest klasą o dwóch elementach.

Russell słynnie napisał: „Z powyższego twierdzenia wynika, że 1+1=2” – i to dopiero na 379. stronie pierwszego tomu!

Gödel niszczy piękne marzenia

Ta historia ma zwrot akcji godny najlepszego thrillera naukowego. W 1931 roku młody austriacki logik Kurt Gödel opublikował pracę, która zburzyła wszystkie marzenia o kompletnej matematyce.

Gödel udowodnił coś, co wydawało się niemożliwe: w każdym systemie matematycznym na tyle bogatym, by zawierać arytmetykę, zawsze istnieją prawdziwe twierdzenia, których nie można udowodnić w ramach tego systemu.

To jakby Gödel powiedział: „Widzicie ten piękny, kompletny budynek matematyki, który chcecie zbudować? No to przykro mi, ale w każdym budynku zawsze będzie przynajmniej jeden pokój, do którego nie da się dotrzeć żadnymi schodami znajdującymi się wewnątrz budynku.”

Jak Gödel to zrobił? Matematyka patrzy w lustro

Gödel użył genialnego triku. Stworzył zdanie matematyczne, które mówi o sobie samym: „To zdanie nie ma dowodu”.

Jeśli to zdanie ma dowód, to jest fałszywe (bo twierdzi, że dowodu nie ma). Ale fałszywych zdań nie da się udowodnić w poprawnym systemie. Sprzeczność.

Jeśli to zdanie nie ma dowodu, to jest prawdziwe (bo właśnie to twierdzi). Ale oznacza to, że mamy prawdziwe zdanie bez dowodu.

W obu przypadkach system jest niekompletny – albo może udowadniać fałszywe rzeczy, albo nie może udowodnić wszystkich prawdziwych rzeczy.

To jak lustro postawione naprzeciwko matematyki. I w tym odbiciu matematyka zobaczyła własne ograniczenia.

Co to oznacza dla naszego 1+1=2?

Czy oznacza to, że nie możemy udowodnić, że 1+1=2? Nie do końca. Możemy to udowodnić, ale tylko w ramach konkretnego systemu aksjomatów. Problem w tym, że nie możemy udowodnić, że sam ten system jest spójny (czyli wolny od sprzeczności).

To jakby budowanie domu na fundamentach, których solidności nie da się sprawdzić bez… budowania kolejnego domu na innych fundamentach. I tak w nieskończoność.

Współczesna matematyka przyjęła to z pokorą. Zaakceptowaliśmy, że matematyka jest grą według ustalonych reguł, a nie odkrywaniem absolutnych prawd o rzeczywistości. W ramach systemu aksjomatów Peana możemy udowodnić, że 1+1=2. W systemie ZFC (Zermelo-Fraenkel z aksjomatem wyboru) też. Ale nie możemy udowodnić, że te systemy są „prawdziwe” w jakimś absolutnym sensie.

Metamatematyczna podróż w głąb rzeczywistości

Opowiadana historia staje się jeszcze dziwniejsza, gdy pomyślimy o tym z perspektywy fizyki. Czy liczby w ogóle istnieją? A jeśli tak, to gdzie?

Weźmy na przykład dwa elektrony. Czy można powiedzieć, że masz „dwa” elektrony? W mechanice kwantowej elektrony są nierozróżnialne. Nie ma sensu mówić „ten” i „tamten” elektron – są to te same cząstki we wszystkich możliwych sensach.

A co z czasem? Jeśli masz jeden foton teraz i jeden foton za sekundę, czy masz „dwa” fotony? W teorii względności pojęcie „teraz” jest względne. Dla kogoś poruszającego się z inną prędkością te fotony mogą się pojawić w odwrotnej kolejności.

Okazuje się, że nawet tak podstawowe pojęcie jak liczenie napotyka na fundamentalne problemy, gdy konfrontujemy je z rzeczywistością fizyczną.

Czy AI może rozwiązać problem Gödla?

W epoce sztucznej inteligencji pojawia się ważne pytanie: czy AI może znaleźć dowody, których ludzie nie potrafią znaleźć? Czy może przełamać ograniczenia Gödla?

Odpowiedź jest… skomplikowana. AI może znajdować bardzo długie i złożone dowody, które przekraczają ludzkie możliwości. Ale nadal działa w ramach tych samych systemów logicznych, które ograniczają ludzi. Twierdzenia Gödla dotyczą samej natury dowodzenia, nie tego, kto lub co prowadzi dowód.

To jakby pytać, czy superszybki samochód może przekroczyć prędkość światła. Nie, bo ograniczenie nie dotyczy prędkości silnika, ale praw fizyki.

Codzienność i nieskończoność

Gdy następnym razem będziecie liczyć pieniądze w portfelu albo odliczać sekundy do końca przerwy, pomyślcie przez chwilę o tej niezwykłej podróży. Te proste operacje arytmetyczne, które wykonujecie bez namysłu, to wierzchołek gigantycznej góry lodowej filozoficznych i logicznych problemów.

1+1=2 to nie tylko stwierdzenie o liczbach. To okno do fundamentalnych pytań o naturę rzeczywistości, granice ludzkiego poznania i miejsce logiki w opisie świata.

Wiele ludzi ma poczucie, że zna świat na wylot, że wiemy już wszystko. Tymczasem okazuje się, że nie jesteśmy w stanie udowodnić najprostszego równania, które jest synonimem oczywistości typu kiedy mówimy „proste jak 2+2”.

Russell i Whitehead chcieli zbudować matematykę na skale. Gödel pokazał, że ta skała stoi na piasku. Ale może właśnie w tym jest piękno – że nawet nasze najbardziej pewne prawdy mają w sobie ziarno tajemnicy.

A 1+1? Nadal równa się 2. Przynajmniej w większości przypadków, w większości systemów, przez większość czasu.

FAQ