|
|
Dark Regis
@EzE. W kwestii języka jest jeszcze to ;)))
youtube.com
Teoria typów jako język programowania. To wiele zmienia w obrazie języka matematyki, ale ja nie do końca się z takim ograniczeniem zgadzam. Procedura efektywna w sensie Churcha i Turinga, czyli jak mówiłem wyżej "proces wykonujący się w nieskończonej pętli", systematycznie i mechanicznie, który czasem może dawać różne wyniki, trochę zmienia optykę ukazaną w tym filmie. O efektywności jest tu:
plato.stanford.edu
Po pierwsze zbiór liczb naturalnych rozumianych w sensie Peano jak i HoTT nie jest po prostu zwykłym zbiorem, tylko taką procedurą nadającą porządek i strukturę algebraiczną jednocześnie. Gdybyśmy uznali typ [int] za zbiór, to moglibyśmy jedynie powiedzieć o nim "ma nieograniczenie wiele elementów" choć można go zbudować lub rozebrać dorzucając lub odejmując po 1 elemencie. Ale też zabierając lub dorzucając po skończonej liczbie elementów. Tylko tyle. Takie dobieranie ręczne elementów może prowadzić w nieskończonym ciągu operacji to innych porządków dla tego zbioru. Jeśli jednak zakładamy, że ma on element najmniejszy i każdy następny jest większy od poprzedniego o 1, to przyjmujemy już bardzo silne założenia dotyczące zarówno porządku, jak i konkretnej arytmetyki, czyli po prostu konkretnych operacji algebraicznych na tym zbiorze. Dlatego po typie [int] powinniśmy rozważyć chyba jakiś typ [o-int], czyli parę składającą się ze zbioru nieskończonego i wybranego porządku na tym zbiorze. Oczywiście porządek 1,2,3,... będzie tu porządkiem naturalnym, ale można podać nieskończenie wiele innych nierównoważnych porządków. Przykładowo porządek liczb wymiernych, porządek liczb algebraicznych, porządek grupy wolnej o dwóch generatorach i z podobnych "paprotek" porządek drzewa Titsa, porządek kraty na płaszczyźnie, porządek liczb całkowitych i porządek liczb całkowitych w granicy systemów pozycyjnych z ujemna bazą itp. Jest tego bardzo bardzo dużo. O ile porządek naturalny zgadza się z zasadą indukcji, to inne mogą odzwierciedlać jakieś inne cechy zbioru nieograniczonego i przeliczalnego. Stąd wprowadziłem tu pomocnicze pojęcie aranżacji zbioru, bowiem nie w każdej dziedzinie da się to załatwić jakąś relacją porządku (która jest tu modelem pewnego rodzaju predykatów o określonych aksjomatami własnościach), ale będzie to na pewno jakiś proces konstrukcji. Chodzi po prostu o to, że pewne rodzaje porządkowania zbioru liczb naturalnych (i innych znanych też) są w istocie procesami, procedurami, a nie funkcjami. Tymczasem matematyka klasycznie sobie z procesami nie radzi, czego przykładem jest choćby hipoteza Collatza "3x+1".
researchgate.net |
|
|
Kazimierz Koziorowski
@EldezEly: belkot jest tylko szumem, przyspieszaczem entropii, niezaleznie czy wyglaszanym przez utytulowanego akademika czy przez nawiedzona gimbaze. natomiast odbiorcy i piewcy belkotu to wielka wspolnota ponad podzialami ktora jest sukcesem padgatowki (подготовка) ostatnich pokolen. padgatowka byc moze przeszla najsmielsze oczekiwania jej tworcow, iz poszlo tak szybko i tak malym kosztem |
|
|
Dark Regis
Czyli komórka to też automat, ale nie na płaszczyźnie, tylko w pewnej dość elastycznej ("probabilistycznej") konfiguracji przestrzennej motywowanej własnościami chemicznymi cząstek plus zapewne dyskretnie zachodzące zjawiska kwantowe (mikrotubule i teoria Penrose'a i Hameroffa). To znaczy trzeba uwzględnić to, że Turing-zupełność gry Life realizowana jest dla nieskończonej planszy i nieskończonego czasu (nieograniczonego).
Ogólne automaty komórkowe intensywnie badał Stephen Wolfram. Tu jest ciekawy wykład na ten temat:
home.agh.edu.pl
Warto tu zwrócić uwagę na kilka punktów:
1) "wszystkie metody probabilistyczne okażą się nieskuteczne", a raczej niezbyt skuteczne - czyli stosowanie jakiegokolwiek podejścia z użyciem jakiegoś "języka miar" też. Podobny zresztą problem ma teoria liczb.
2) W granicy nieskończonego czasu wszystkie zachowania w automacie komórkowym można uznać za "okresowe" czyli za glidery.
3) Na nieskończonej planszy w skończonym czasie mamy w zasadzie chaos, który jest pogłębiany przez złożoność obliczeniową algorytmów służących do policzenia czegokolwiek. Bardziej poetycko mówiąc, pewna wiedza o ewolucji układu, albo o jego wyniku, za sprawą złożoności wykracza poza granice czasowe/obliczeniowe naszego Wszechświata i nie dowiemy się już nigdy jaka jest dokładna odpowiedź ;)
4) Proces zachodzący jednocześnie w całej przestrzeni planszy, czyli przekładając to na warunki fizyki, nie dający się zsynchronizować w żadnym konkretnym eksperymencie (np. na planszy rozmiaru 10^127x10^127, już nie mówiąc o nieskończonej), to na pewno nie jest Maszyna Turinga. Tak samo proces zachodzący jednocześnie w przestrzeni komórki, w każdej z komórek ciała, w kooperacji poprzez zdarzenia życiowe z komórkami innych ciał, to też na pewno nie jest Maszyna Turinga. Skoro więc taki "uogólniony język" przetwarzany na tych "uogólnionych automatach" nie może być przetwarzany w oparciu o Maszynę Turinga, więc wnioskujemy, że jest czymś więcej niż zbiór prostych reguł dla prostych automatów i wygląda zgoła inaczej niż liniowe ciągi słów rozdmuchiwane prostymi rekurencjami jak u Chomskiego. |
|
|
Dark Regis
Wracając na koniec do automatów i różnych rekurencji, weźmy na tapetę taką oto konstrukcję: "zbiorem", czyli sortem lub typem odpowiadającym zbiorom, nazwijmy obiekt składający się powiedzmy z podzbioru liczb rzeczywistych (można sobie wybrać przedziały) i wszystkich jego modyfikacji polegających na dodaniu lub usunięciu skończonej liczby punktów. Od razu widać, że nasze zbiory nie przetrwają eksperymentu polegającego na tworzeniu z nich topologii, bo "dowolna suma zbiorów otwartych" (o ile nie ograniczymy jakoś z góry liczby zbiorów otwartych) znaczyłaby dokładnie cała przestrzeń. To znaczy w nieskończonej (i nieprzeliczalnej) operacji dodawania pojedynczych punktów do tej rodziny możemy dodać dokładnie wszystkie punkty przestrzeni. Podejrzewam, że właśnie taki eksperyment myślowy przeprowadził dawno temu ktoś, kto zdefiniował sigma ciała z przeliczalną addytywnością. Ale nie o tym chciałem, choć wiąże się to z powyższym tematem algebr Boole'a i ich konstruowaniem. Chodzi mi o to, że my już w matematyce pracujemy z różnymi uogólnieniami zbiorów, tylko nie przebiło się do świadomości matematyków to, że mogą w ten sposób przechodzić do innych toposów, co by znakomicie ułatwiło posługiwanie się w tych przypadkach stosownym językiem. A jaki zagmatwany i zarośnięty indekso-nawiasami to jest język wie każdy nieszczęśnik, który zdawał kiedykolwiek egzaminy z probabilistyki, procesów stochastycznych, albo ze statystyki. Takich języków jest bardzo dużo. Przykładowo można sobie wygooglować "coś zachodzi z prawdopodobieństwem 1", "coś jest zbieżne prawie na pewno", "coś jest z dokładnością do zbiorów miary zero",...
To wygląda dokładnie tak, jakbyśmy pracowali nie z tym językiem, w którym została opisana dana rzeczywistość, tylko z pewnym jego tłumaczeniem na język z innej dziedziny, który wygląda dla nas rozsądniej. Mniej więcej w taki sposób dotąd ja widziałem język używany w teoriach typów, np. homotopijnej teorii typów. Teraz to się zmieniło i wraz z tą zmianą zmianie ulega mój paradygmat.
No i rozgadałem się jak nigdy. Jeszcze tylko przypomnę parę ciekawych faktów z teorii automatów:
1) Wspominałem o gliderach: en.wikipedia.org
W tym przypadku możliwość zbudowania w oparciu o glidery uniwersalnej maszyny Turinga w grze Life Conwaya, mówi dużo więcej niż chcieliby niektórzy usłyszeć ;))
2) Przeniesienie tego rodzaju obserwacji do wnętrza komórek ludzkiego organizmu wskazuje, że "glideryzacja" złożonych cząstek związków organicznych jest podstawowym mechanizmem podtrzymywania życia (vide Quora i film o kinezynach, dyneinach). Jest tu właśnie czynny pewien rodzaj "probabilistycznego automatu", który zachowuje się nadzwyczaj regularnie, wręcz obsesyjnie klockowo. Właśnie ta obserwacja natchnęła mnie myślą, że w LLM-ach w zasadzie musimy poszukać analogicznych procesów, bowiem to nie jest cecha środowiska, tylko pewnego języka (raczej uogólnionego w stosunku do zwyczajnych automatów) i sposobu jego przetwarzania. |
|
|
Dark Regis
Oto przykłady chorych rekurencji:
1) n-kąt foremny przy przejściu z n do nieskończoności nie staje się okręgiem.
2) sofizmat polegający na "udowodnieniu", że Pi=2: bierzemy okrąg o promieniu 1 i jego średnicę; którą dzielimy na 2,4,8,... i na każdym z tych kawałków rysujemy mniejszy półokrąg o danej średnicy, ale tak, żeby szły naprzemiennie do góry i dołu, bo wtedy utworzą wykres funkcji ciągłej i do tego różniczkowalnej (splajny, w punktach sklejeń będzie problem dla pochodnej). Gdy patrzymy na to ustrojstwo za pomocą jakiejś "miary", np. badamy odległości punktów wykresu od średnicy, to dostajemy zbieżność do 0. Ale gdy liczymy długość wykresu każdej krzywej, to dostajemy zawsze Pi. Czyli dowozimy do nieskończoności długość, ale "miara" nie działa.
3) Ad. powyższego analogiczny przykład: wiemy, że przestrzenie funkcji całkowalnych, a już na pewno całkowalnych z kwadratem są przybliżane za pomocą funkcji schodkowych (stałych na odcinkach po zignorowaniu miejsc skoku). Gdy to zaczniemy rysować, to mamy dokładnie sytuacje 1 i 2. Funkcję sinus można w ten sposób przybliżać (z góry i z dołu, albo alternatywnie trapezami), ale granica nie będzie wykresem funkcji sinus. Będzie się jedynie zgadzała nasza "miara", tu całka Lebesgue'a.
4) Gdy z tą konstrukcją (zobaczmy, że jest to daleko uogólniona rekurencja) będziemy przechodzili do różnych przestrzeni ilorazowych, to nam się algebraicznie wszystko posypie, za to przy przechodzeniu do konstrukcji "względem miary" otrzymamy znane przestrzenie operatorów zwanych dystrybucjami. Tu oczywiście wszystko może być różniczkowalne, wszystko może mieć granice i ogólnie robimy taki myk jakbyśmy z góry założyli "wszystkie równania różniczkowe cząstkowe liniowe i układy tych równań" są rozwiązywalne za pomocą "funkcji". Oczywiście wiemy, że to nie mogą być żadne funkcje, ale jak wspomniałem robimy myk. Gdzieś w sieci widziałem inny myk, gdzie facet zbudował kategorię, w której wszystkie pierścienie były lokalne. Tak więc są to konstrukcje "legalne". Kłopot w tym, czy mają jakiś ogólniejszy sens oprócz zapostulowania czegoś, co nie prowadzi do sprzeczności. Przypomnę tylko, że takie zdanie, które jest niezależne od aksjomatów teorii możemy dołączyć per se, albo zaprzeczając mu, albo zrobić na nim kilka myków dla zabawy ;) (vide geometrie).
5) Przenoszenie wybranych cech obiektów do granicy w nieskończoności nie jest więc metodą stabilną, a nawet gdy w danej sytuacji jest, to nie wiadomo dlaczego wyskakują oboczności. Kiedyś cytowałem rozmowę starego profesora ze studentem, gdzie ten zwracał uwagę młokosowi, że równości typu 1=0.99... w rozwinięciach liczb nie są przypadkiem, tylko regułą (w dowolnych ekspansjach). Ja mam ciekawszy przykład "reguły": gdy przedstawimy liczby całkowite w bazach ujemnych -2,-3,.., to zauważymy, że dla minus nieskończoności dostajemy nieskończony ciąg liczb nieujemnych i zaraz za nim w odwrotnej kolejności ciąg wszystkich liczb ujemnych i na końcu -1. Też uważam, że to jest reguła. |
|
|
Dark Regis
@Władysław Ludendorf. Maszyna Turinga jest mocno nadużywana i w ogóle z użyciem rekurencji jest coś nie tak. Przypomnę tylko, że na polu matematyki indukcja to jakby "obiekt liczb naturalnych", zaś rekurencja jest mocno od tego odchylona, bo np. można rekurencyjnie używać funkcji sita dla liczb pierwszych, ale nie można jakoś indukcyjnie podać wzoru na funkcję "n |-> n-ta liczba pierwsza", albo nawet "n|-> liczba liczb pierwszych mniejszych lub równych n". To jednak drobiazg przy tym, co się dzieje w toposach. Oczywiście z braku miejsca mieszam tu razem pojęcia toposów, logik modalnych i innych logik niestandardowych, ale sens pozostaje ten sam: istnieją skuteczne metody wnioskowania, które odkrywają nową "niematematyczną" rzeczywistość. Czy słyszał Pan przypadkiem o automatach i metodach badania języków opartych na automatach? No bo w sumie taki LLM to jest właśnie coś w ten deseń, taki automat, który jest może kilka czy kilkadziesiąt razy bardziej złożony od tego, co się dotąd badało, na przykład od gry Life Conwaya, czy Mrówki Langtona. Ja twierdzę i ten facet chcący zastosować toposy do badania LLM-ów też, że da się w nich wydzielić pewną taką strukturę klockową, chociaż te klocki nie muszą się tu zachowywać jak ich trójwymiarowe odpowiedniki, ani nawet jak klocki euklidesowe (mogą żyć w geometrii hiperbolicznej). Wracając do tych automatów, to maszyna Turinga nie jest tu jakimś dogmatem i stale podważa się jej znaczenie. Przykładowo automaty Buchiego.
en.wikipedia.org
cs.stackexchange.com
Chodzi o to, że akceptuje on (potencjalnie) nieskończone słowa (schemat "X WHILE Y") i dlatego jest stosowany do translacji języków i logik. W przypadku LLM-ów mamy właśnie potencjalnie nieskończenie budowane konteksty, czyli budowle z tych wewnętrznych klocków, które nie mają charakteru liniowego jak TM tylko wielowymiarowy jak uogólnienie Life. Dlatego zaraz pomyślałem sobie o gliderach, czyli właśnie czymś w rodzaju takiego nieskończonego jąkania "X WHILE Y", co można by było zinterpretować jako ukrytą siłę przyciągającą generowany tekst do zadanego "tematu". Trochę musiałbym tu namachać rękami, więc podam lepiej link do strony, gdzie już kiedyś namachałem ;)
qr.ae
Reasumując problemy w matematyce (np. paradoksy) opierają się na tym, że: 1) ma sztywny język, czyli np. używa zbiorów, funkcji, lecz 2) nie rozumie procesów. Procesy nie są funkcjami jak to sito. Warto też zwrócić uwagę na:
1) prace Gregora Chaitina
2) LPO, czyli jak się rozpada rozumowanie iteracyjne/rekurencyjne po wywaleniu AC: en.wikipedia.org
3) mój paradoks numeracji w nieskończonej tablicy kwadratowej, gdzie startujemy z pierwszym wierszem wypełnionym 0,1,2,3,..., a kończymy z pierwszą kolumną wypełnioną 0,1,2,3,..., ale gdy nie numerujemy, to na koniec nic nie wiemy, czyli mamy pełną tablicę czegoś. |
|
|
Władysław Ludendorf
ha oglądałem, tylko, że AI działa na maszynie Turinga, a Penrose mówi o postrzeganiu, które według niego, nie może być procesem algorytmicznym. Więc jakkolwiek deep learning nie byłby skomplikowany, to niestety a może stety, zawsze będzie algorytmiczny. |
|
|
Edeldreda z Ely
@Jan1797
Miałam już o tym ostatnio napisać, ale skoro Pan poruszył ten temat, wspomnę teraz o naszym Prof. Abramowiczu. Jest On zresztą w tym wywiadzie z Penrosem także wspomniany.
filozofiaprzyrody.pl |
|
|
Jan1797
@Spike, Ptr,
-Wierzący nie muszą porzucać rozwoju technologii na rzecz pacyfizmu,
Całkiem liczna grupa wierzących to wzięci fachowcy w dziedzinie nowych technologii jednego z kluczowych działów przemysłu. Katolicy -macie pojęcie? Oczywiście można ich odsuwać do zadań pomniejszych, tyle że nie bez ujemnego skutku. Tak jeszcze można napisać.
-Topowo handluje się fałszem, który ostatecznie będzie sporo kosztował,
Wyciągane, odgrzewane newsy służące dyskredytacji opozycji to dobra pożywka dla nieświadomych. Zachowanie takie wynika z faktu, że nasze elity to w sporej części ludzie zaścianka. Skąd nam wziąć lepszych po zaborach, zsyłkach powstaniach i wojnach? Ocaleli dla „chleba powszedniego” nie zauważają do dzisiaj nic poza tradycją powojennego ochłapu z ludowo -„pańskiego” stołu? Komisarz Schinas wyjaśnił to prawo etapu, ale zawsze można lepiej wybierać.
-Odpowiedzialność jednostek za los narodu,
"Trzeba mieć broń atomową, bo realnie jest potrzebna do obrony. Trzeba mieć elektrownie atomowe", bo potrzebne są do rozwoju gospodarki, a żadnej z dostępnych topowych technologii przyszłości nie wolno tracić. "Bo nie mając ich najlepsi poeci będą ginąć na barykadach." Jeżeli Polska zdobędzie topowe inwestycje powstrzyma uciekanie inwestorów, które wynika również z postawy społeczeństwa. To o czysty wewnętrznie kraj, warto walczyć i jeżeli przyjdzie za niego umierać. Wtedy dla Polski większość zdolna będzie do obrony. Nie ma czasu na dominantę humanistów, czy gry polityczne. To musi się przebić do świadomości ludzi. |
|
|
Edeldreda z Ely
@Kazimierz Koziorowski
Wrzuciłam AI fragment wypowiedzi Penrose'a, oto jak podsumowała nasze "prawdy wiary" :-)
Kluczowe Przemyślenia Penrose'a
Różnica między obliczeniami a myśleniem świadomym: Penrose podkreśla, że przetwarzanie komputerowe, które opiera się na dobrze zdefiniowanych procedurach zakodowanych w formie zer i jedynek, jest fundamentalnie różne od świadomego myślenia. Podczas gdy komputery mogą wykonywać operacje na symbolach, nie posiadają one zrozumienia tych symboli.
Twierdzenie Gödla i jego znaczenie: Penrose odnosi się do twierdzenia Gödla, które mówi, że w każdym wystarczająco złożonym systemie aksjomatycznym istnieją twierdzenia, które są prawdziwe, ale nie można ich udowodnić w ramach tego systemu. Penrose podkreśla, że nasze zrozumienie prawdy nie może być w pełni ujęte przez formalne zasady czy procedury. Zasady te są narzędziami, ale prawda leży poza nimi i wymaga świadomości do jej pełnego zrozumienia.
Prawda a symbole: Penrose argumentuje, że symbole, takie jak 0 i 1, mogą być używane do reprezentowania prawdy i fałszu, ale same w sobie nie są nośnikami prawdy. Prawdziwe zrozumienie wymaga czegoś więcej niż tylko manipulacji symbolami; wymaga świadomości i zdolności do zrozumienia, dlaczego zasady prowadzą do prawdziwych wyników.
Świadomość i zrozumienie: Według Penrose'a, zrozumienie prawdy wymaga świadomości. Tylko świadome istoty są w stanie pojąć, dlaczego coś jest prawdziwe. Świadomość jest kluczowym elementem rozumienia i jest to cecha, która odróżnia ludzkie myślenie od przetwarzania komputerowego.
Wnioski na temat prawdy i świadomości
Prawda: Penrose sugeruje, że prawda jest głębszym konceptem, który wykracza poza formalne systemy i obliczenia. Prawdziwe zrozumienie prawdy wymaga świadomości, która pozwala na wgląd w to, dlaczego dane zasady prowadzą do prawdziwych wyników.
Świadomość: Penrose widzi świadomość jako kluczową dla zdolności do rozumienia. Świadomość pozwala na refleksję nad zasadami i wynikiem ich stosowania, co jest poza zasięgiem maszyn opartych na obliczeniach.
Ograniczenia maszyn: Penrose podkreśla, że nawet najbardziej zaawansowane komputery, które mogą przetwarzać ogromne ilości danych i wykonywać skomplikowane obliczenia, nie są w stanie zrozumieć. Ich działania są ograniczone do manipulacji symbolami bez głębszego zrozumienia, co jest cechą wyłącznie świadomych istot.
Podsumowanie
Penrose argumentuje, że istnieje fundamentalna różnica między świadomym myśleniem a przetwarzaniem komputerowym. Prawda i zrozumienie są nierozerwalnie związane ze świadomością, co sugeruje, że nasze obecne podejście do sztucznej inteligencji i obliczeń nie może w pełni uchwycić istoty ludzkiego umysłu i jego zdolności do rozumienia prawdy.
|
|
|
Kazimierz Koziorowski
@Ptr: czyzbys sugerowal ze nauka jest wtedy gdy moze cos zmierzyc? wtedy wiekszosc nauk nie rozni sie od wiary. zreszta nauki scisle tez przyjmuja do wierzenia aksjomaty i buduja swoje teorie na swoich prawdach wiary, maja swoich wyznawcow, dogmaty, piewcow-liderow, misjonarzy, nawet quasi-liturgie i inkwizycje |
|
|
Edeldreda z Ely
@Henry
Dziękuję Ci za życzenia i odpowiedź. |
|
|
NASZ_HENRY
@Admin & @EzE
Do @Edeldreda z Ely
Miałem odpowiedzieć tak jak TY mi odpowiadasz:
"Nie mogę ;-)"
Ale żeby zaspokoić Twoją babską ciekawość podam link do Wikipedi:
pl.wikipedia.org
i komentarz stamtąd:
Przez pewien czas była nadzieja, że teoria twistorów może być prawidłowym podejściem w stronę rozwiązania problemów grawitacji kwantowej, ale w tej chwili uważa się, że to nieprawda 😉
Przy okazji reanimacji EzE (100 lat w zdrowiu życzę) mam też sprawę do admina ;-)
Do @admina
W salonie24 pojawiła się ciekawa propozycja! Może administracja NB zacznie w końcu dbać o swoich blogerów i Nasze Blogi pokuszą się o podobną: Suppi.pl.
salon24.pl
Możecie wspierać nasz zespół drobnymi wpłatami, które pomogą w utrzymaniu naszego serwisu.😉 |
|
|
Edeldreda z Ely
@Admin & @Henry
Dziękuję, Adminie za reanimację wątku :-)
Wobec tego rzucam wakacyjne wyzwanie naszemu NaszoBlogowemu fizykowi, Henremu, by skomentował, jeśli może wywiad z Penrosem, ze szczególnym uwzględnieniem koncepcji grawitowania mechaniki kwantowej.
youtube.com
|
|
|
Dark Regis
Tak, ale on trochę to schrzanił i widać to było po minie Penrose'a. Początek filmu był w koło o Hawkingu. Natomiast zupełnie pominięty został wątek rachunku spinorowego i twistorowego, epokowego kroku w fizyce matematycznej. Mam gdzieś na półce oba te tomy dzieła Penrose'a ;)) |
|
|
Edeldreda z Ely
@Imć Waszeć
Czyli udało się M. Kaweckiemu dopiąć swego i dorwać Penrose'a jednak..? :) |
|
|
Dark Regis
@Władysław Ludendorf , @Ptr
Polecam film, który się ukazał dzisiaj i który rozwija moją myśl. Proszę zwrócić uwagę na fragment gdzieś koło połowy filmu o logice i obliczalności:
Roger Penrose: youtube.com
Mógłbym napisać o tym więcej w kontekście tego, co już tu pisałem po pojawieniu się powszechnego AI: gra Life i glidery, Mrówka Langtona i glidery (rozwijające cykle lub oproste ścieżki) życie w komórce (i kinezyny, dyneiny), złożone sieci neuronowe i tworzące się w nich wzorce, czyli np. to, wokół czego oscyluje "rozumienie" promptu przez Chatbota. Znalazłem właśnie pracę, w której na dniach jakiś badacz próbuje przypisać tej wewnętrznej dynamice sieci jakąś logikę, a robi to właśnie w oparciu o toposy. To co się tutaj w sieci dzieje podczas rozmowy z AI jest właśnie tym czego szuka Penrose. To całkiem dobry opis "kolapsu funkcji falowej". Pozorny chaos lub bełkot (jakoś zapisany tam korpus miliardów tekstów) kolapsuje do jakiegoś zrozumiałego komunikatu i może to zrobić na miliardy sposobów, w rozmowie z każdym z nas z osobna, więc co tym zarządza? ;) |
|
|
Ptr
Na potrzeby naszej sytuacji potrzebujemy znależć równanie ruchu trzech zmiennych w czasie: wydarzenie polityczne x, ruch władzy y, świadomość społeczeństwa z. Np. ruch Y na granicę. Świadomość Z ? Jakie wydarzenie x ? Y ogłasza wzrost, X spada, Z pozostaje stabilne. itd. Aż jakieś dziecko będzie mogło to przewidzieć ze 100% dokładnością. |
|
|
Dark Regis
Poruszyłem ten temat po to, żeby przełamać "barierę języka", że się tak wyrażę. Gdy się w końcu człowiek oswoi z pojęciami, zrozumie język logiki, wgryzie w podstawowe zagadnienia i problemy, to okazuje się, że to wcale nie jest trudniejsze niż powiedzmy dla matematyka zrozumienie geometrii algebraicznej. Owszem, zajmuje to trochę czasu i innych zasobów, ale nie jest niemożliwe, czego właśnie próbuje dowieść. Co zabawniejsze można za jednym zamachem uwędzić dodatkowe rybki: informatykę, toposy i filozofię, a być może też teorię organizacji. Problemem jest tu przede wszystkim to, ze nasza ukochana szkoła nie uczy nas podstaw. A podstawą do zrozumienia logiki jest to, jak się wyprowadza jedne fakty z innych. Wszyscy szukają tu tych "iksów przez igrek kwadrat równasie...", takich jasnych algorytmów jak liczenie pochodnych, rozwiązywania równań, albo badania przebiegu funkcji, a tymczasem dostaje jakiś "bełkot". Wnioskowanie wygląda przecież tak: "Weź se kolego kilka formuł, spróbuj je jakoś poszatkować regułami dowodzenia, posklejać, poustawiać inaczej, znajdź jakieś nowe zdanie. Dołącz to zdanie do pozostałych i baw się tak aż do skutku, czyli do otrzymania tezy. To może być 10 albo milion kroków, ale weź sie chopie w garść i na pewni ci wyjdzie". :D. Właśnie to odrzuca matematyków, inżynierów i częściowo informatyków (choć tych najmniej) od zagadnień poznawania systemów logiki. Ta dowolność i brak wyznaczonego kierunku. Czytałem wiele podręczników do logiki, ale wszędzie tam jest tak przy$rane jakimiś oderwanymi od rzeczywistości wzorami, nazwami, twierdzeniami, że po prostu głowa woła Hilfe! Tymczasem każdy z tych kawałeczków dosłownie można sobie rozrysować na kawałeczku papieru i wtedy okazuje się, że najwięcej tu było mądrego gadania, bo treści konkretnej, takiej inżynierskiej to niewiele. przykład:
tsinghualogic.net
en.wikipedia.org
itp. Chodzi o to, że najgorsze jest tu to, że człowiek pierwszy raz na to trafia i nie ma zielonego pojęcia od czego zacząć. Człowiek sie po prostu boi nowości.
No to weźmy tego Hintikkę: en.wikipedia.org
Tu autor wymienił jakieś alfy i bety, ale kompletnie z tekstu nie wynika czym to jest i jak to się je. A tymczasem chodzi o metodę tablic semantycznych jako alternatywy dla metody rezolucji, a w zasadzie jej rozwinięcie w metodę tablic analitycznych. Tworzy się formuły oznaczone wartościami logicznymi {t,f}, rozbicia na alfy, bety, gammę, a nawet deltę. Czyli taką prościznę gdzie się jedzie palcem po krokach metody. Zamiast tu się rozpisywać pokażę to na innych obrazkach i będzie jasne:
logic.amu.edu.pl
Po prostu trzeba na wszystko znaleźć swoją metodę, zaś ChatGPT jest świetnym narzędziem, które uruchamia samodzielne poszukiwania.
W informatyce jest jeszcze inaczej, ale to wychodzi z rozróżnienia toposów "geometrycznych" Grothendiecka i ogólnych. |
|
|
Edeldreda z Ely
@Panowie
Aby podsumować naszą miłą rozmowę jakimś zgrabnym telemarkiem, polecę łaskawej uwadze Panów rozmowę dwóch fizyków...
Dowiadujemy się z niej m.in. iż:
- prof. Krzysztof Meissner otrzymał niegdyś (2013r.) od Donalda Tuska propozycję objęcia funkcji ministra nauki i szkolnictwa wyższego (!),
- matematyka rzekomo nie nadąża za fizyką i fizyka wyprzedza ją o 30 lat (?),
- język fizyki może być nieco nonszalancki i niedbały, bo fizyka czuje się bezpieczna, gdyż od prezycji ma matematykę, filozofia zaś musi być bardziej precyzyjna, bo nie ma tego luksusu (?)...
youtu.be |
|
|
Ptr
Autor książeczki chyba używał słowa zabobon w sensie powszechnie uznanego za prawdziwy fałszywego poglądu. Przesąd, potoczna wiedza ignorantów. I zaokrąglił do 100.:). |
|
|
Władysław Ludendorf
tak @xuy'u szczególnie siostry z Broniszewic trzepią tę kasę na ostro, ty przygłupie, na ciebie nawet śliny szkoda na splunięcie... Środkowy palec dla pana, tylko przez szybę, żebyś nie zamarzył usiąść na nim. |
|
|
Władysław Ludendorf
ooo ale dużo ciekawych wiadomości. szczerze to logikę intuicjonistyczną skończyłem na izomorfiźmie Curry'ego-Howard'a. Nie miałem pojęcia, że to struktura Kripkego. Kontekst jest wtedy raczej prostym zbiorem założeń i stwierdzeń do dowodzenia poprawności typów i to tylko w kompilatorze Scali i pewnie Haskella. W starym C to typy były raczej wskazówką dla kompilatora jak upakować w rejestrze czy pamięci wartości danych a nie do wnioskowania poprawności programu. Przez chwilę w świecie Scali była taka idee fixe żeby wynik kompilacji zastępował pisanie testów, w sumie dość ciekawe, bo w nie wiem, czy np. modelowane procesy biznesowe są kompletne i niesprzeczne (czy są na tyle proste z algebraicznego punktu widzenia). W końcu chyba z tego zrezygnowano, bo system typów był horrendalny i w sumie niezrozumiały dla przeciętnego inżyniera, począwszy od zastąpienia np. typu Int liczbami Peano.... ach ten Goedel. |
|
|
u2
***“zabobon” ma jakby posmak czegoś magicznego: nazywa się przecież “zabobonnym” człowieka, który jest przekonany, że może coś uzyskać przez wypowiadanie tajemniczych słów, albo przez kłucie igłą lalki woskowej.***
W zabobonach chodzi o nieskuteczną magię. W magii wpada się w rodzaj transu, np. pod wpływem modlitwy, hipnozy, czy medytacji. Choć zwykle religie np. katolicka odżegnują się od wszelakiej magii, zwłaszcza czarnej.
PS. Słucham czasami Radio Maryja i tam ludzie się modlą publicznie. To nie jest uprawianie czarnej magii, ale przekazywanie ludziom dobrej energii, cokolwiek ta dobra energia by miała znaczyć :-) |
|
|
Ptr
Co można powiedzieć ? Są jakieś prawidłowości.
W dużych miastach jest mniej żywej wiary.
Wśród gorzej wykształconych jest mnóstwo wierzących jak i niewierzących.
Neohumaniści jaskrawie mijają się z prawdą.
Wiele poglądów i działań zależy od odgórnych poleceń , których ogólny kierunek wskazuje kasa i poprawność polityczna. Tak jakby byli kupowani do pewnych zadań.
Ogólna poprawność działania państwa jako realizatora dążeń narodu , społeczństwa , i jednostek ( z uwzględnieniem UE ) jest od niepamiętnych czasów zła , a bywała czasem bardzo zła. To wynika również ze słabej refleksji nad tym co dobre , a co złe.
Wierzący nie powinni porzucać rozwoju technologii na rzecz pacyfizmu. Jest odpowiedzialność jednostek za los narodu. Można mieć broń atomową, bo ona realnie jest potrzebna do obrony. Trzeba mieć elektrownie atomowe i te wszystkie technologie. Bo nie mając ich najlepsi poeci będą ginąć na barykadach. ( Ukraina oddała broń w imię pokoju europejskiego. )
Pewnie każdy Niemiec i japończyk wolałby , aby jego kraj miał te Wunderwaffe , a wtedy nie byłoby przegranej.
Pytanie czy dla Polski byłbyś zdolny by zabijać na polu walki ? Czy boisz się broni ? Jaki czysty wewnątrz musi być kraj by za niego umierać ?
|
