Formalny System jako Graf Skierowany
Formalny system aksjomatyczny definiuje graf skierowany:
- Wierzchołki: wszystkie poprawnie sformułowane formuły konstruowalne z symboli systemu
- Krawędzie: kroki wnioskowania — jedna formuła wynika z innych według reguły wnioskowania
- Aksjomaty: wyróżnione wierzchołki źródłowe bez krawędzi przychodzących
- Twierdzenia: wszystkie wierzchołki osiągalne ze zbioru aksjomatów
Dowód twierdzenia T: ścieżka skierowana ze zbioru aksjomatów do T. Dowód jest ciągiem wierzchołków A₁, A₂, ..., Aₙ = T gdzie każdy krok wynika z reguły wnioskowania.
Dwie fundamentalne własności formalnego systemu, wyrażone geometrycznie:
Niesprzeczność: żadna formuła F i jej negacja ¬F nie są jednocześnie osiągalne z aksjomatów. Geometrycznie: wierzchołek twierdzenia F i wierzchołek twierdzenia ¬F nie są jednocześnie osiągalne. Żadna ścieżka 'eksplozji' nie istnieje.
Zupełność: każda formuła F lub ¬F jest twierdzeniem (osiągalna). Geometrycznie: graf jest silnie spójny w sensie, że dla każdego wierzchołka F, co najmniej jeden z F lub ¬F ma ścieżkę z aksjomatów.
Niezupełność Gödla jako Własność Geometryczna
Kurt Gödel udowodnił w 1931 roku, że każdy niesprzeczny formalny system wystarczająco potężny do wyrażenia podstawowej arytmetyki jest niezupełny: istnieją formuły G takie, że ani G ani ¬G nie są dowodliwe.
Geometrycznie: w każdym wystarczająco bogatym niesprzecznym formalnym systemie, istnieją wierzchołki w grafie formuł, które nie są osiągalne z aksjomatów — ani wierzchołek G ani wierzchołek ¬G nie ma ścieżki ze zbioru aksjomatów.
Konstrukcja Gödla: zakodował formułę G, która mówi w zasadzie: 'Nie jestem dowodliwa.' Gdyby G była dowodliwa, system byłby sprzeczny (prawdziwe stwierdzenie mówi, że nie jest dowodliwe). Gdyby ¬G była dowodliwa, system byłby sprzeczny (G byłaby fałszywa, ale system ją dowodzi). Tak więc ani G ani ¬G nie jest dowodliwa — G jest nieosiągalnym wierzchołkiem w niesprzecznym systemie.
Obiekty Matematyczne jako Punkty w Przestrzeni
Platońska wizja matematyki może być sformalizowana geometrycznie: obiekty matematyczne zamieszkują abstrakcyjną przestrzeń, której punktami są obiekty same w sobie i której struktura jest dana przez relacje między nimi.
Rozważ liczby naturalne ℕ = {0, 1, 2, 3, ...}. Relacja podzielności definiuje porządek częściowy: m dzieli n iff m | n. Ten porządek częściowy definiuje geometrię — diagram Hassego kraty podzielności.
Każda liczba pierwsza siedzi na minimalnej pozycji powyżej 1. Każda liczba złożona siedzi powyżej swoich czynników pierwszych. Struktura tej przestrzeni koduje całą teorię liczb.
Co czyni to Platońskim: struktura istnieje niezależnie od tego, czy jakiś umysł ją studiuje. Fakt, że 7 jest pierwsze — że 7 nie ma dzielników między 1 i 7 — jest faktem o pozycji 7 w kracie podzielności, niezależnym od notacji, kultury czy cywilizacji.
Każda cywilizacja, która badać będzie liczenie i podzielność, odkryje tę samą strukturę. Geometria systemu liczb jest uniwersalna.
Nawigacja po Kracie Podzielności
W kracie podzielności, najmniejsza wspólna wielokrotność (nww) dwóch liczb odpowiada ich złączeniu (najniższemu górnemu ograniczeniu) a największy wspólny dzielnik (nwd) odpowiada ich spotkaniu (największemu dolnemu ograniczeniu).
Nwd można obliczyć za pomocą algorytmu Euklidesa: nwd(a, b) = nwd(b, a mod b), kończąc się gdy b = 0.
Co Abstrakcja Usuwa
Abstrakcja geometryczna: projekcja obiektu wielowymiarowego na podprzestrzeń niższego wymiaru. Projekcja traci informacje (współrzędne poza podprzestrzenią) ale zachowuje strukturę podprzestrzeni doskonale.
Abstrakcja matematyczna działa w ten sam sposób. Grupa to zbiór z jedną operacją binarną spełniającą cztery aksjomaty. Abstrakcja do struktury grupy usuwa: konkretne elementy, regułę obliczeniową konkretnej operacji, każdą dodatkową strukturę (porządek, metryką, topologią). Co pozostaje: szkielet czterech aksjomatów.
Nagroda: każde twierdzenie o grupach stosuje się do WSZYSTKICH grup — liczby całkowite pod dodawaniem, rotacje pod złożeniem, permutacje pod złożeniem, symetrie cząsteczki, grupy Galois równań wielomianowych — jednocześnie. Twierdzenie abstrakcyjne jest dowodliwe raz; instancje otrzymujemy za darmo.
Dlatego właśnie czysty matematycy opierają się dodawaniu założeń specyficznych dla domeny: każde dodane założenie ogranicza zastosowanie twierdzenia. Twierdzenie o ciałach (dodając odwrotność multiplikatywną) stosuje się do mniej struktur niż twierdzenie o pierścieniach (nie wymagającej odwrotności multiplikatywnej).
Kompromis Precyzja-Ogólność
Istnieje kompromis: bardziej abstrakcyjne twierdzenia stosują się szerzej, ale mówią mniej o konkretnych instancjach. Twierdzenie o przestrzeniach wektorowych nad ciałem mówi mniej o ℝ^n niż twierdzenie specyficznie o ℝ^n (gdzie zdefiniowana jest odległość i kąt).
Implikowana reguła Hamminga: abstrakcja tak daleko, jak to możliwe, zachowując potrzebne własności. Abstrakcja zbyt daleko i twoje twierdzenia stają się próżnie ogólne ('każdy zbiór z każdą operacją spełnia...'). Abstrakcja zbyt mało i twoje twierdzenia nie przenoszą się na nowe zastosowania.