Przejdź do treści

Logika za Kawę i Rygor

Scenariusz zajęć: Logika za Kawę i Rygor

Oto skonsolidowany, kompletny scenariusz ramowy zajęć „Logika za Kawę i Rygor”, stanowiący architektoniczny fundament pod szczegółową minutówkę. Scenariusz integruje przedwojenną historię Warszawskiej Szkoły Matematycznej z najnowszą rewolucją sprzętowo-algorytmiczną z lipca i sierpnia 2026 roku (PrismML Bonsai z Caltechu, chińskie architektury Qwen/DeepSeek Ternary).

🏛️ Skonsolidowany Scenariusz Ramowy: „Logika za Kawę i Rygor”

Moduł cyklu: Historia Myśli Obliczeniowej w dobie Sztucznej Inteligencji
Czas trwania: 90 minut
Grupa docelowa: Wielopokoleniowa (6–106 lat), uczestnicy zaawansowani oraz „oporni”
Metodyka: Wykład interaktywny, fizyczna metaforyzacja, wielopokoleniowe gry symulacyjne, cyfrowy blitting v11 w tle.

I. Filozofia i Główne Założenia Warsztatów (Architecture First)

1. Dostępność i Inkluzja Pokoleniowa

  • Wiek 6–10 lat (Poziom Ruchowo-Sensoryczny): Reagują na fizyczne bodźce, kolory i proste komendy kinetyczne. Działają jako „tokeny” lub „wagi” sterujące ruchem.
  • Młodzież i Dorośli (Poziom Algorytmiczny): Zarządzają strukturą logiczną, wykonują szybkie operacje sumowania całkowitego, analizują reguły zapisu i RPN.
  • Seniorzy i Eksperci (Poziom Filozoficzno-Krytyczny): Łączą kawiarniane anegdoty o bohemie II RP z refleksją nad ograniczeniami energetycznymi współczesnego świata i powrotem do rygoru czystej logiki.

2. Rewolucyjny Most Naukowy: Rok 1920 → Sierpień 2026

  • Przeszłość: Jan Łukasiewicz tworzy logikę trójwartościową (prawda, fałsz, neutralność) oraz notację przedrostkową, aby uwolnić maszyny liczące od nawiasów.
  • Teraźniejszość (Sierpień 2026): Krzem i energetyka osiągają ścianę fizyczną w tradycyjnej precyzji zmiennoprzecinkowej (FP16). Nowe modele – komercyjne chińskie destylacje (Qwen/DeepSeek Ternary) oraz radykalny, natywny model PrismML Bonsai 27B z Caltechu – rewolucjonizują AI. Przechodzą na kwantowane wagi trójstanowe . Operacje mnożenia (MatMul) znikają na rzecz wektorowego dodawania. Logika Łukasiewicza ratuje współczesną architekturę LLM.

II. Struktura i Moduły Zajęć (90 minut)

Moduł 1: Kawiarniany Rozbieg i Świt Rygoru (Wprowadzenie w kontekst)

  • Forma: Wykład interaktywny przy kawiarnianych stolikach.
  • Sceneria i Tło: Sala stylizowana na warszawskie kawiarnie Lours, Zodiak oraz Małą Ziemiańską. Na ekranach w tle pulsuje animacja warszawa_ai_topology.py (wersja z wydłużonym d
  • **o 15 sekund cyklem i kolorami przyjaznymi dla osób z niedowidzeniem barw).
  • Intelektualny Kontrast: Prowadzący wprowadza uczestników w klimat dwubiegunowości przedwojennej matematyki. Żywiołowy, biesiadny chaos Lwowa kontra wielkoświatowy sznyt, elegancja i instytucjonalny rygor Warszawy (Sierpiński, Mazurkiewicz, Kuratowski).
  • Zadanie Stolikowe (Warsztat): Uczestnicy otrzymują wyzwanie: zapisać precyzyjny przepis na zaparzenie kawiarnianej kawy bez użycia słów – wyłącznie za pomocą relacji logicznych i strzałek topologicznych. Zrozumienie, czym jest sformalizowanie języka.

Moduł 2: Żywy Komputer i Magia Zapisu Polskiego (Warsztat z RPN)

  • Forma: Gra wielopokoleniowa na dywanie sensorycznym.
  • Teoria: Wyjaśnienie, o co chodzi w sformalizowanym wyrażeniu logicznym typu ((p -> q) v ~r) na żywym, ludzkim przykładzie (Reguła: „Jeśli pada deszcz, asfalt jest mokry, LUB nie idę na spacer”).
  • Fizyczna Metafora: Prezentacja oryginalnego Zapisu Przedrostkowego Łukasiewicza (v -> p q ~ r) oraz Odwrotnej Notacji Polskiej (RPN: p q -> r ~ v), które całkowicie usuwają nawiasy i tworzą strukturę stosu komputerowego.
  • Działanie Ruchowe: Uczestnicy od 6 do 106 lat stają się fizycznymi elementami stosu pamięci. Najmłodsi to zmienne (p, q, r), dorośli to operatory logiczne (->, v, ~). Uczestnicy muszą wskakiwać na wielką matę stosu na podłodze w odpowiedniej kolejności, wykonując aktywacje (np. podanie ręki, obrót), idealnie odwzorowując to, co w tym samym momencie wykonuje silnik animacji na ekranie (Faza 1).

Moduł 3: Krzemowy Rygor – Wielki Pojedynek: FP16 kontra Bonsai 1.58-bit

  • Forma: Gra symulacyjno-ruchowa o wysokiej dynamice.
  • Teoria (Wstrzyknięcie Wiedzy 2026): Porównanie tradycyjnego podejścia matematycznego (FP16), opartego na koszmarnie prądożernym mnożeniu ułamków, z rewolucją trójstanową z lata 2026 roku. Omówienie ortodoksyjnej, amerykańskiej architektury PrismML Bonsai z Caltechu (kompresja modelu 27B z 54 GB do 5.9 GB, pozwalająca na lokalne działanie na telefonie) oraz hybrydowej metody chińskiej (zmasowana destylacja wiedzy w Qwen/DeepSeek Ternary).
  • Gra Symulacyjna na dwóch torach: - Tor Czerwony (Procesor Tradycyjny FP16): Młodzież i zaawansowani stoją jako bramki z kalkulatorami. Dzieci-tokeny muszą biec przez tor, a każda bramka zmusza je do zatrzymania i policzenia trudnego mnożenia zmiennoprzecinkowego (np. 10 * 0.835). Tor generuje gigantyczne opóźnienia, a bramki szybko opadają z sił (zużycie energii). - Tor Zielony (Procesor Ternary Bonsai): Seniorzy stoją jako bramki, trzymając wyłącznie kostki/tabliczki o wartościach [-1, 0, +1]. Obliczenia są błyskawiczne: waga +1 krzyczy "Biegnij dalej!" (dodawanie), waga -1 krzyczy "Odejmij 1 od energii i biegnij!", waga 0 krzyczy "STOP!" (zjawisko sparsity – ignorowanie nieistotnych ścieżek). Tokeny przelatują przez sieć masowo i bez wysiłku.

Moduł 4: Topologia Cyfrowego Rozumu (Podsumowanie i Synteza)

  • Forma: Dyskusja panelowa i klamra edukacyjna.
  • Wizualizacja: Na ekranie dominuje Faza 3 naszej animacji – punkty z gry na podłodze układają się w trójwymiarowe, gęste, plastyczne klastry semantyczne AI (Język Naturalny, Kod Maszynowy, Logika).
  • Synteza dla Widza: Wyjaśnienie, jak topologia Kazimierza Kuratowskiego pozwala współczesnym modelom AI „rozumieć” świat. Sieć neuronowa po przejściu przez trójstanowy rygor Łukasiewicza umieszcza pojęcia w przestrzeni: słowa o podobnym znaczeniu lądują blisko siebie.
  • Klamra Międzypokoleniowa: Powrót do kawiarnianych stolików. Najmłodsi rysują nowo powstałe klastry, starsi i zaawansowani analizują wektorowe wykresy, a seniorzy podsumowują: „Warszawscy mistrzowie sto lat temu pisali genialne oprogramowanie cywilizacyjne, przed wynalezieniem sprzętu, który mógłby je udźwignąć. Ten sprzęt narodził się dopiero teraz, w sierpniu 2026 roku.”

III. Infrastruktura i Wymagania Techniczne Sali

  1. Ekran Główny: Komputer z systemem Kubuntu/X11 z uruchomionym natywnie, zoptymalizowanym silnikiem blittingu v11 (warszawa_ai_topology.py).
  2. Strefa Lours/Zodiak: Stoliki ze zmywalnymi, czarnymi blatami tablicowymi + biała kreda / zmywalne markery.
  3. Rekwizyty Kinetyczne: - Rozwijana mata podłogowa „Stos RPN”. - Zestawy piankowych lub drewnianych kostek trójstanowych w trzech kolorach (Zielony: +1, Szary: 0, Czerwony: -1). - Lekkie piłki/poduszki dla dzieci symbolizujące energię aktywacji tokenów.