Zdanie Które Zabiło Pewność

ZDANIE KTÓRE ZABIŁO PEWNOŚĆ: 1931
Tytuł: Kurt Gödel i Twierdzenie o Niezupełności
Czas: 90min | Cel: Poczuć na własnej skórze że "nie da się". Nie wytłumaczyć matematycznie.

1. TEZA MODUŁU

"Nie da się zbudować systemu który jest jednocześnie kompletny, spójny i potrafi mówić o sobie. W każdym wystarczająco silnym systemie będzie prawda której nie da się udowodnić."

2. STRUKTURA 90 MINUT

[00:00 - 05:00] WEJŚCIE. 1 ROK PÓŹNIEJ

Sala ciemna. Na tablicy 3 słowa z Modułu 1: KOMPLETNOŚĆ SPÓJNOŚĆ ROZSTRZYGALNOŚĆ

TRENER: "Rok 1931. Wiedeń. Rok po przemówieniu Hilberta.
Na salę wchodzi 25-letni Kurt Gödel. Blady. Nieśmiały.
I mówi 1 zdanie: 'Pański system jest dziurawy panie profesorze.'"
Wskazuje na 3 słowa i przekreśla je
"Dziś pokażę wam jak to zrobił. Bez wzorów. Na palcach i na kłamstwie."

[05:00 - 20:00] BLOK 1: ROZGRZEWKA. PARADOKSY 05-20

Zanim damy młot, dajemy cegłę. Muszą poczuć problem.

GRA 1: "PARADOKS KŁAMCY" [05:00 - 12:00]
Trener pisze na tablicy: TO ZDANIE JEST FAŁSZYWE

TRENER: "Prawda czy fałsz?
Jak powiesz PRAWDA, to znaczy że kłamie. Czyli FAŁSZ.
Jak powiesz FAŁSZ, to znaczy że mówi prawdę. Czyli PRAWDA.
System się zapętlił. Wybuchł."
PUENTA: "To jest błąd nr 1. System który mówi o sobie."

GRA 2: "FRYZJER Z SEVILLI" [12:00 - 20:00]

TRENER: "W mieście jest fryzjer. Goli WSZYSTKICH którzy się nie golą sami.
Pytanie: Kto goli fryzjera?"
Dajecie im 2 min na kłótnię
PUENTA: "To jest błąd nr 2. Zbiór który zawiera sam siebie."

TRENER: "Gödel powiedział: Matematyka Hilberta ma oba te błędy. Jednocześnie."

[20:00 - 35:00] BLOK 2: TRIK GÖDLA. "ZAKODUJMY MATEMATYKĘ" 20-35

Tu nie tłumaczymy dowodu. Tłumaczymy trik.

TRENER: "Gödel zrobił 2 rzeczy. Genialne i proste."
KROK 1: "Zakodował całą matematykę na liczby. Każde twierdzenie = 1 wielka liczba.
2+2=4 = 28374918273. To się nazywa Numeracja Gödla."
Pokaz: Wpisujesz "KOT" na ekranie. Wyskakuje kod 107111116.
KROK 2: "Napisał zdanie o SAMYM SOBIE. Ale w języku liczb."
Pisze na tablicy
"Istnieje zdanie G które mówi: Nie da się mnie udowodnić w tym systemie."

Pytanie do sali:

"Załóżmy że G jest FAŁSZYWE. Czyli DA SIĘ je udowodnić.
Ale ono mówi że się nie da. Czyli system kłamie. Czyli jest NIESPÓJNY.
Załóżmy że G jest PRAWDZIWE. Czyli NIE DA SIĘ go udowodnić.
Ale ono mówi prawdę. Czyli jest PRAWDĄ której nie da się udowodnić. Czyli system jest NIEKOMPLETNY."

Pauza 5s. Cisza.

TRENER: "To jest wszystko. Złamał Hilberta 1 zdaniem."

SCENA: DOBIJANIE HILBERTA 3-min

Trener wraca do tablicy. Podkreśla 3 słowo: ROZSTRZYGALNOŚĆ

TRENER: "Gödel zabił 2 słowa: Kompletność i Spójność.
Ale zostawił 1. Najważniejsze. To o które Hilbert krzyczał najbardziej."
Pisze wielkimi literami ENTSCHEIDUNGSPROBLEM

TRENER: "Hilbert w 1928 wrzasnął: 'Dajcie mi algorytm!'
Algorytm który dla DOWOLNEGO twierdzenia matematycznego powie:
PRAWDA albo FAŁSZ. Kropka. Bez człowieka. Bez myślenia.
Maszyna do prawdy."
Pauza. Patrzy po sali
"Brzydko mówiąc: Maszyna która kończy robotę matematykom."

Wkurwienie wchodzi tu:

TRENER: "Brzmi znajomo?
To jest marzenie każdego prawnika: 'algorytm do sprawiedliwości'
To jest marzenie każdego managera: 'algorytm do decyzji'
To jest marzenie każdego programisty: 'algorytm który sam znajdzie buga'
Hilbert chciał to samo. Tylko dla całej matematyki."

TRENER: "I tu wchodzi 1936. 5 lat po Gödlu.
Dwóch gości niezależnie bierze młotek i dobija ostatnią deskę."
Pisze 2 nazwiska ALAN TURING ALONZO CHURCH

TRENER: "Oni odpowiedzieli Hilbertowi: NIE MA.
Nie ma takiej maszyny. Nie da się.
I udowodnili to. Pokazali gdzie system musi się zawiesić."

Przejście do Modułu 3:

TRENER: "Za tydzień zobaczycie JAK to udowodnili.
Turing zbudował maszynę. Żeby pokazać że maszyna ma granice.
I przy okazji wynalazł komputer."
Ścisza głos "Ale najpierw musicie zobaczyć to na własne oczy."

[35:00 - 65:00] WARSZTAT: "ZBUDUJ SYSTEM KTÓRY SIĘ ZAWALI" 35-65

Cel: Każdy ma zbudować system i sam go rozwalić.

Zadanie dla 4 zespołów:
"Dostajecie świat. 3 zasady:

Każdy mieszkaniec mówi PRAWDA lub KŁAMIE
Istnieje prawo: Każdy może powiedzieć 1 zdanie o systemie
System ma być kompletny - na każde pytanie jest odpowiedź

Macie 20 minut. Napiszcie 1 zdanie które rozwali ten system."

Po 20 min:
Zespół 1: "To zdanie jest fałszywe"
Zespół 2: "System nie może udowodnić tego zdania"

TRENER: "Brawo. Właśnie wynaleźliście Twierdzenie Gödla.
Nie da się. Nie da się zamknąć świata w przepisach. Zawsze będzie dziura."

[65:00 - 85:00] BLOK 3: KONSEKWENCJE. DLACZEGO TO ANTY-HUMANITARNE 65-85

Tu wchodzimy w to o czym piszesz. To jest najważniejsze 20 minut cyklu.

Trener siada. Mówi wolno.

TRENER: "Dobra. Matematyka padła. A co z nami?"
1. PRAWO: "Prawnicy od 2000 lat próbują napisać 'kompletny kodeks'.
Gödel mówi: Nie da się. Zawsze będzie sytuacja której prawo nie przewidziało.
Dlatego potrzebny jest sędzia. Człowiek. Z wyczuciem."
2. PROGRAMOWANIE: "Programiści próbują opisać cały świat w if else.
Gödel mówi: Nie da się. Zawsze będzie przypadek brzegowy.
Dlatego potrzebny jest człowiek który powie 'olejmy algorytm'."
3. AI: "Najgorsze. Firmy próbują 'zakodować etykę' do AI.
'AI, nigdy nie kłam'. 'AI, zawsze mów prawdę'.
Gödel mówi: Da się zbudować zdanie które zmusi AI do kłamstwa i prawdy jednocześnie.
AI bez człowieka = maszyna która się zawiesi na paradoksie."
PUENTA: "Niezupełność to nie błąd. To cecha.
To jest miejsce na wolność. Na wybór. Na człowieka.
System bez dziur to system bez tlenu."

Pokaz w tle: Animacja. Piękna maszyna zębatkami. Pojawia się 1 trybik z napisem "G". Maszyna staje.

[85:00 - 90:00] ZAMKNIĘCIE. EPITAFIUM DLA PEWNOŚCI 85-90

Trener wyciera tablicę. Zostaje tylko zdanie G.

TRENER: "Hilbert chciał niebo. Gödel pokazał że niebo ma dziurę.
I dobrze. Przez tę dziurę wlatuje światło.
Matematyka po 1931 nie umarła. Dorosła.
Przestała być religią. Stała się rzemiosłem."
Zadanie do Księgi: "Napisz 1 prawo/regułę z twojego życia która na 100% się wywali w jakimś przypadku."
QR: "Zapytaj AI: Wyjaśnij mi Twierdzenie Gödla na przykładzie zasad w domu"
Next: "Za tydzień: Turing. Gość który przeczytał Gödla i zbudował komputer."

POPRAWIONE ZAMKNIĘCIE MODUŁU 2 Z PALIWEM

[88:00 - 90:00] ZAMKNIĘCIE Z HACIEM NA MODUŁ 3

Trener pisze na tablicy: KOMPLETNOŚĆ X SPÓJNOŚĆ X ROZSTRZYGALNOŚĆ ?

TRENER: "Gödel zabił dwa.
Za tydzień Turing zabije trzecie.
I pokaże przy okazji że skoro nie da się zbudować maszyny do wszystkiego...
...to zbudował maszynę do niczego. A ta maszyna nazywa się Komputer."
Uśmiech
"Wkurwieni? Dobrze. Z taką energią wchodzimy w Moduł 3."
Zadanie do Księgi: "Napisz 1 pytanie na które NIGDY nie dostaniesz odpowiedzi TAK/NIE od algorytmu."
QR: "Zeskanuj i zobacz Domino Hilberta i Regułę 110 zanim przyjdziesz za tydzień"

2 WIZUALIZACJE NA START MODUŁU 3

Żeby wkurwienie zamieniło się w paliwo. Puszczasz to w tle w pierwszych 5 minutach Modułu 3.

WIZUALIZACJA 1: DOMINO HILBERTA

Co widzisz: Nieskończona linia kostek domina. Maszyna wrzuca pierwszą.
Tekst na ekranie: Problem Hilberta: Czy ta maszyna kiedyś się zatrzyma?
Haczyk: Po 10 sekundach domino układa się w fraktal i idzie w nieskończoność. Nigdy się nie kończy.
QR: "To jest Problem Zatrzymania. Turing udowodnił że nie da się przewidzieć."

WIZUALIZACJA 2: REGUŁA 110 WOLFRAMA

Co widzisz: 1 czarna kropka. Z niej wyrasta losowy, chaotyczny, ale skomplikowany wzór.
Tekst na ekranie: 3 proste zasady. Nieskończona złożoność. I nieodgadniony środek.
Haczyk: W środku tego chaosu żyją "cząsteczki" które zderzają się jak w komputerze.
QR: "Wolfram udowodnił: z prostych reguł wychodzi nierozstrzygalność. To jest fizyczny dowód Gödla."

Obie wizualizacje krzyczą to samo: PROSTE REGUŁY = NIEROZSTRZYGALNE SKUTKI

CHECKLISTA REKWIZYTÓW MODUŁ 2

Rzecz	Po co
Tablica + marker czerwony	Przekreślenie 3 słów Hilberta
Koperty do warsztatu	"Zbuduj system"
Slajd: Kodowanie "KOT" -> 107111116	Pokazać numerację Gödla
Metronom lub tykanie	Puścić cicho w tle w Bloku 3. Symbol "maszyny"

3 ZASADY ZŁOTE PROWADZĄCEGO

Zero wzorów. Jak ktoś zapyta o dowód formalny: "Dostaniesz link po wykładzie. Dziś czujemy."
Sprzedaj ból. Ludzie mają wyjść wkurwieni. "Jak to nie da się?!". To znaczy że zrozumieli.
Kończ nadzieją. Niezupełność = wolność. Inaczej ludzie wyjdą z depresją.

DLACZEGO TO DZIAŁA

Domino Hilberta = pokazuje Problem Zatrzymania bez słowa "taśma" i "maszyna Turinga". Ludzie widzą.
Reguła 110 = pokazuje że z prostych zasad wychodzi coś czego nie da się przewidzieć. To jest Gödel w ruchu.
Trzecie pytanie = łączy matematykę z życiem. "Algorytm do wszystkiego" to rak naszych czasów.