Maszyna która nie może

MASZYNA KTÓRA NIE MOŻE: 1936
Tytuł: Alan Turing i Problem Zatrzymania
Czas: 90min | Cel: Z gruzów Gödla zbudować komputer

1. TEZA MODUŁU

"Skoro nie da się zbudować maszyny do wszystkiego, to zbudujmy maszynę do niczego. Najprostszą z możliwych. I nazwijmy ją uniwersalną."

2. STRUKTURA 90 MINUT - STYL HITCHCOCK

[00:00 - 05:00] SCENA 1: TRZĘSIENIE ZIEMI. COLD OPEN

Sala ciemna. Od razu puszczasz 2 wizualizacje na 2 ekranach. Bez słowa.

EKRAN 1: DOMINO HILBERTA. Idzie w nieskończoność.
EKRAN 2: REGUŁA 110 WOLFRAMA. Rodzi się chaos.

Po 30s ciszy trener wchodzi i gasi oba ekrany.

TRENER: "5 lat temu Gödel powiedział NIE.
Dziś 24-letni Alan Turing odpowie DLACZEGO NIE."
Pisze na tablicy PROBLEM ZATRZYMANIA
"Czy da się napisać program który sprawdzi czy inny program się zatrzyma?
Odpowiedź Turinga: NIE. I zaraz wam pokażę dlaczego to najlepsza wiadomość w historii informatyki."

Uderzenie. Cisza 3s.

[05:00 - 20:00] BLOK 1: ZBUDUJMY NAJGLUPIESZĄ MASZYNĘ ŚWIATA 05-20

Nie zaczynamy od dowodu. Zaczynamy od zabawki.

Trener wyciąga kartkę, długopis i pudełko.

TRENER: "Turing powiedział: Dobra. Zapomnijmy o zębatkach Babbage'a.
Zróbmy maszynę z 3 rzeczy."
1. Nieskończona taśma w kratki rozkłada papier
2. Główka która czyta 1 kratkę kładzie palec
3. Tabela z 3 rozkazami: CZYTAJ, PISZ, IDŹ LEWO/PRAWO pokazuje kartkę

TRENER: "To wszystko. To jest Maszyna Turinga.
Głupsza od kalkulatora. I potężniejsza od całego Google."
Pokaz: Trener "odpala" maszynę na papierze. Liczy 2+2. Wolno. Głupio. Ale działa.

W materiałach pomocniczych jest scenariusz dla Maszyny Turinga

PUENTA: "Hilbert chciał Boga. Turing zbudował mrówkę. I ta mrówka może udawać Boga."

[20:00 - 35:00] BLOK 2: DOWÓD PRZEZ SPRZECZNOŚĆ. "MASZYNA H" 20-35

Tu robimy Hitchcocka. Napięcie.

TRENER: "Załóżmy że maszyna do wszystkiego ISTNIEJE.
Nazwijmy ją maszyna H. Dajesz jej kod. Ona mówi: ZATRZYMA SIĘ / NIE ZATRZYMA SIĘ."
Rysuje na tablicy maszynę H

TRENER: "Turing mówi: Dobra. To teraz oszukajmy ją."
Rysuje drugą maszynę MASZYNA D
"Maszyna D robi 1 rzecz: Bierze kod maszyny H. I robi DOKŁADNIE ODWROTNIE.
Jak H mówi ZATRZYMA SIĘ to D zapętla.
Jak H mówi NIE ZATRZYMA SIĘ to D staje."

TRENER: dramatyczna pauza "A teraz uwaga.
Co się stanie jak damy maszynie D... kod maszyny D?"
Cisza. Patrzy po ludziach
"H mówi ZATRZYMA SIĘ -> D zapętla. Czyli KŁAMIE.
H mówi NIE ZATRZYMA SIĘ -> D staje. Czyli KŁAMIE."
Trzaska markerem "BUM. Maszyna H nie istnieje. Problem nierozstrzygalny."

Symulacja w tle: Kod który wywołuje sam siebie i crashuje.

[35:00 - 65:00] WARSZTAT: "ZAWIEŚ SWOJEGO SĄSIADA" 35-65

Cel: Każdy ma zbudować paradoks.

Zasady: W parach. 1 osoba pisze "program z 3 rozkazów". Druga ma być "maszyną H" i przewidzieć czy się zatrzyma.
Przykładowe programy:

PISZ 1. IDŹ PRAWO. POWTÓRZ
JEŚLI 0 TO STÓJ. W PRZECIWNYM RAZIE IDŹ W LEWO

Po 15 min zamiana. Po 15 min debrief.

TRENER: "Ile razy się pomyliliście?
Turing udowodnił: Będziecie się mylić ZAWSZE. Dla jakiegoś programu.
I to jest super. Bo gdyby się dało, to nie byłoby wolności. Byłby algorytm na życie."

[65:00 - 85:00] BLOK 3: Z GRUZÓW BUDUJEMY KOMPUTER 65-85

Zwrot. Z tragedii robimy triumf.

TRENER: "Turing udowodnił że maszyna uniwersalna nie może wszystkiego.
Ale udowodnił też coś drugiego:
Jedna taka maszyna może udawać KAŻDĄ inną maszynę."
Pokazuje telefon "To jest maszyna Turinga.
Udaje kalkulator. Udaje aparat. Udaje maszynę do pisania."
1 WIELKA IDEA: "Nie budujemy 1000 maszyn. Budujemy 1 i wgrywamy 1000 programów."
Pokaz: Animacja. Taśma Turinga -> dziurkowana karta -> procesor -> iPhone.

TRENER: "Bez tego 'NIE' Gödla i Turinga nie byłoby 'TAK' dla komputerów.
Granica stworzyła narzędzie."

[85:00 - 90:00] ZAMKNIĘCIE. WYROK I NADZIEJA 85-90

Trener wraca do 3 słów Hilberta. Wszystkie przekreślone.

TRENER: "Hilbert chciał: KOMPLETNOŚĆ SPÓJNOŚĆ ROZSTRZYGALNOŚĆ.
Gödel i Turing odpowiedzieli: NIE. NIE. I NIE.
I dzięki temu mamy to." pokazuje telefon
PUENTA: "Granice nie są więzieniem. Granice są definicją.
Człowiek jest człowiekiem bo nie jest algorytmem."

Zadanie do Księgi: "Napisz 1 rzecz której NIGDY nie oddasz algorytmowi do decyzji."
QR: "Zeskanuj. Porozmawiaj z AI o Problemie Zatrzymania. Zapytaj ją czy ona się zatrzyma."
Next: "Moduł 4: SHANNON. Jak z 0 i 1 zrobić gadanie, muzykę i Netflixa."

CHECKLISTA REKWIZYTÓW MODUŁ 3

Rzecz	Po co
2 ekrany/projektory	Domino + Reguła 110 na wejściu
Taśma papieru w kratki 5m	Maszyna Turinga na żywo
Kartki "Tabela rozkazów" x30	Warsztat
Telefon	Most na koniec
Dźwięk tykania	Cicho w tle w Bloku 2

3 ZASADY REŻYSERSKIE HITCHCOCKA

Cold Open: Pierwsze 10s to bum. Nie ma "dzień dobry".
Pauzy: Po "Co się stanie jak damy maszynie D kod maszyny D" czekasz 5s. Niech im mózg zawiśnie.
Zwrot: Z "świat się kończy" na "i dlatego mamy komputery". Ludzie mają wyjść z ulgą.