Przejdź do treści

Gadka

Gadka dla prowadzącego

Zweryfikowałem Ci fakty:

  1. Leśniewski - tak, był legendą kawiarni Ziemiańska. Wchodził, siadał na 6 godzin i dyskutował. Ale na zajęciach? Zero żartów. Jak ktoś zadał głupie pytanie to wstawał i wychodził.
  2. Tarski - to jego cytat: Leśniewski miał tylko jednego doktoranta. Mnie. I miał rację że miał geniusza. Powiedział to w Berkeley w latach 60.

GADKA SŁOWO W SŁOWO

00:00 WEJŚCIE - PRZY BARZE

Stajesz z kubkiem.
Dzień dobry. Warszawa. 1920. Kawiarnia Ziemiańska. Przy stoliku obok siedzi trzech panów. Jeden wymyśla nawiasy. Drugi wymyśla że prawda ma 3 wartości. Trzeci mówi że nie trzeba znać całości żeby coś udowodnić. Za 100 lat ich notatki będą w każdym telefonie. Dzisiaj zrobimy z tego procesor. Bez mnożenia. Bez prądu. Zaczynamy?

08:00 PRZED SZACHOWNICĄ - CHODZISZ MIĘDZY STOLIKAMI

Dobra, kasujemy kalkulatory. W 2026 roku najszybsze chipy z Chin i USA robią dokładnie to co zaraz zrobimy. Problem tylko jeden: w komputerze nie widzicie całej planszy. Widzicie tylko 4 pola obok. Tak jak w życiu. Nie możecie powiedzieć "ta droga jest zła" zanim jej nie sprawdzicie. To się nazywa "Problem Drogi". I zaraz nas zabije.

24:00 PRZERWANIE POZIOMU 1 - STAJESZ NA KRZEŚLE

Stop. Ile czasu? 10 minut? I policzyliśmy 3 drogi? A wiecie ile pól ma GPT-5? Więcej niż atomów na ziemi. Leśniewski by wstał i wyszedł z sali. Powiedziałby: "Panowie, to jest bez sensu". I miałby rację. 99% tych obliczeń to śmieci. Wagi 0.001. Płacimy prądem za nic. Ktoś ma pomysł jak to wywalić?

27:00 START POZIOMU 2 - SIADASZ PRZY STOLIKU Z NIMI

Dobra. Nowa zasada. Jesteśmy ludźmi, nie superkomputerem. Sala krzyczy tylko: CIEPLEJ, ZIMNIEJ, TAK SAMO. To jest dokładnie to w co graliście jako dzieci na podwórku. Bez zasłaniania oczu. W lipcu 2026 chińczycy z PrismML nazwali to Bonsai. I wrzucili na telefon. Bo wyrzucili 90% danych i zostawili tylko kierunek.

Anegdota na rozluźnienie:
Łukasiewicz wymyślił 3 wartości w 1920. Pytali go po co. Powiedział: "Bo świat nie jest tylko biały i czarny". 100 lat później inżynierowie w Shenzhen powiedzieli to samo. "Bo 32 bity to za dużo".

40:00 PO PRZESZKODZIE - POKAZUJESZ KRZESŁO

To jest minimum lokalne. Utknęliśmy. W AI nazywa się to "wpadliśmy w dolinę". Jak z tego wyjść? Leśniewski by powiedział: "Niech ktoś krzyknie głupstwo i idziemy dalej". Dlatego wprowadzamy SZUM. Losowe pchnięcie. Mózg robi to samo. Dlatego czasem trzeba iść na spacer żeby wpaść na pomysł.

54:00 BLOK 3 - TRZYMASZ 2 KARTKI

Patrzcie. Ta kartka to 25 liczb. Waży. Ta kartka to 25 słów: bliżej, dalej. Waży 10x mniej. I obie zaprowadzą nas do skarbu. Może ta druga o 2 kroki dłużej. Wybieracie którą? Właśnie wybraliście Bonsai zamiast superkomputera.

80:00 FINAŁ - WRACASZ POD TABLICĘ

Dobra. Składamy to. Łukasiewicz dał nam RPN i 3 wartości. Żeby nie trzeba było nawiasów i mnożenia. Leśniewski powiedział: nie licz całości. Licz tylko sąsiadów. Mazurkiewicz kazał nam gonić minimum jak w grze. I wiecie co? Leśniewski był straszny na zajęciach. Restrykcyjny. Ale po zajęciach szedł do Ziemiańskiej i siedział 5 godzin dyskutując. Bo wiedział że prawda rodzi się przy kawie. Tak jak dziś.

Cytat na koniec:
Tarski, jedyny doktorant Leśniewskiego, powiedział 40 lat później: "Miał tylko jednego doktoranta. I miał rację". My dziś mamy 20. I też mieliśmy rację. Bo właśnie zbudowaliśmy procesor Warszawski. Ten z lipca 2026. Dzięki. I do zobaczenia w Ziemiańskiej.

88:00 Q&A - JAK PADNIE TRUDNE PYTANIE

Nie wiem. Ale Leśniewski też by nie wiedział. I by wyszedł do kawiarni to przedyskutować. Kto idzie ze mną?

3 ZASADY GADANIA W KAWIARNI

  1. Mów ciszej niż muzyka. Jak krzyczysz to przegrałeś. Nachyl się do stolika.
  2. Rekwizyt w ręku. Trzymaj karteczkę -1. Machaj nią jak mówisz o Bonsai.
  3. Spersonalizuj. "Panie przy oknie, pan jest SZUMEM". "Panie z latte, pan liczy ułamki"