Trafny komentarz pod filmem (zeby go zrozumiec trzeba obejrzec film): "Ironic that Godel's death was the result of a self-referential paradox: he died in order to not die"
@zielarz: ironią smierci Godel'a był wynik paradoksu odwołującego się do siebie (nie umiem lepszych słów dobrać) - umarł bo nie chcial zginać (nie jadł bo bał się, że jedzenie bedzie zatrute)
@zielarz: Kurt Gödel, ktory wymyslil i udowodnil, ze zawsze beda twierdzenia w matematyce, które beda prawdziwe, ale nie bedziemy mogli udowodnić, ze sa prawdziwe (i nie wiadomo, ktore twierdzenia takie beda) w pozniejszym okresie zaczal uwazac, ze moze zostac otruty, na skutek czego przestal cokolwiek jesc i tym samym zaglodzil sie na smierc (a wiec paradoksalnie zmarl, gdyz nie chcial umrzec). Wazyl w chwili smierci tylko 29 kg. To jest
the deeper metaphysical and epistemic lesson here is that you cannot capture reality and encapsulate it into a formal system because reality is infinite and so it will always escape any attempt to encapsulate it as it must, because reality is one thing, it is the self, and the self is capable of self-reference and when you're capable of self-reference this necessarily leads to a paradox.
W kwestii tych twierdzeń uzytkownicy jezyka polskiego sa mocno uprzywilejowani, poniewaz moga przeczytac ksiazke Stanislawa Krajewskiego Twierdzenie Gödla i jego interpretacje filozoficzne . Serdecznie polecam, fascynujaca rzecz. Tak samo jak Gödel, Escher, Bach Hofstadtera. Ta ksiazka miala z kolei status kultowy przez wiele lat w niektorych czesciach amerykanskiego srodowiska akademickiego (glownie lata 80 i 90. ) Nie bez powodu.
generalnie nie polecam zapoznania sie z twierdzeniami Gödela za
Wykażę się ignorancją, ale nie rozumiem tezy Godela. Zakładamy, że g jest nieudowadnialne i z tego wnosimy, że jest nieudowadnialne. Ktoś coś może mi wytłumaczyć? Jeśli chodzi o dowolne zdanie to ja mogę powiedzieć, że nie da się udowodnić, że czerwony jest ładniejszy niż niebieski i Godel mi do tego nie jest potrzebny.
@zebrak: Gödel udowodnił w twierdzeniu o niezupełności, że każdy niesprzeczny rozstrzygalny system formalny pierwszego rzędu, zawierający w sobie aksjomaty Peana, musi być niezupełny, a z tego wynika jego kolejne twierdzenie o niedowodliwości niesprzeczności tj. że w ramach żadnego rozstrzygalnego systemu formalnego pierwszego rzędu zawierającego w sobie aksjomaty Peana nie da się dowieść niesprzeczności jego samego,
jeśli się nie ma odpowiednich narzędzi poznawczych w postaci wiedzy z matematyki wyższej, nie analizowało dowodów,
Komentarze (84)
najlepsze
"Ironic that Godel's death was the result of a self-referential paradox: he died in order to not die"
To jest
W kwestii tych twierdzeń uzytkownicy jezyka polskiego sa mocno uprzywilejowani, poniewaz moga przeczytac ksiazke Stanislawa Krajewskiego Twierdzenie Gödla i jego interpretacje filozoficzne . Serdecznie polecam, fascynujaca rzecz.
Tak samo jak Gödel, Escher, Bach Hofstadtera. Ta ksiazka miala z kolei status kultowy przez wiele lat w niektorych czesciach amerykanskiego srodowiska akademickiego (glownie lata 80 i 90. ) Nie bez powodu.
generalnie nie polecam zapoznania sie z twierdzeniami Gödela za
jeśli się nie ma odpowiednich narzędzi poznawczych w postaci wiedzy z matematyki wyższej, nie analizowało dowodów,
Ale dzięki za próbę wyjaśnienia.
Komentarz usunięty przez moderatora