Aktywne Wpisy
pieknylowca +5
publikowanie takich filmow to jest idiotyzm (no ale czego sie spodziewac po wiadomo kim) - przeciez to tylko woda na mlyn dla ruskich, dodatkowo przeciez jesli beda wiedziec ze po zlapaniu beda zabijani to nie beda chcieli sie poddawac skoro poddanie sie=smierc to beda woleli walczyc do ostatniego naboju. (ps nawet jesli to wagner to i tak stosuje sie wobec nich prawo miedzynarodowe) #rosja #wojna #ukraina
tuschescu +145
Czy nasze rozważania mają coś wspólnego z twierdzeniem Gödla?
Człowiek tak naprawdę nie ma dostępu bezpośredniego do idealnego świata matematyki. Nie umie sobie wyobrazić nieskończoności, czy choćby idealnego trójkąta. Człowiek nie zawsze myśli logicznie. Czy zatem jest w stanie dobrze poznać twierdzenia matematyki.
Czy Bóg może stworzyć kamień, którego nie może podnieść? To klasyczne pytanie nasuwa się, gdy mówimy o wszechmocnym Bogu. Częsta odpowiedź jest taka, że Bóg jest wszechmocny więc może "złamać" prawa logiki. No ale może On wcale ich nie musi łamać, tylko po prostu nasza logika jest niedoskonała, bo my jesteśmy niedoskonali, a wszelkie nasze próby zinterpretowania matmy, to tak naprawdę większe czy mniejsze przybliżenia (tak jak i w fizyce na przykład).
Ale tak naprawdę i teraz i za kilkaset lat możemy być równie dalece od ideału jakim jest matma.
Słyszy się dużo o Twierdzeniu Gödla, ale myślę, że zwykły człowiek nie wie jak je interpretować. Czy chodzi o to, że nie da się stworzyć niesprzecznej teorii matematycznej? Czy to może jest właśnie tak, bo nasza "logika" jest nieidealna? Bo chyba nie zabronimy Bogu stworzyć niesprzecznej teorii matematycznej.
#filozofia #matematyka #rozkminy #logikaniebieskichpaskow #epistemologia #pytanie #kiciochpyta
ja bym chętnie porozkminiała ( ͡° ͜ʖ ͡°)
Możliwość zapostulowania czegoś nie
Jako wstęp do przygody z matematyką polecam Logikomiks, który w szczególności w tym temacie będzie przydatny.
co to znaczy twierdzenie jest niezależne od systemu formalnego. I to: "w ramach żadnego /sensownego3/ systemu myślowego, nie da się udowodnić niesprzeczności jego samego, choć może on taki właśnie być."
Może istnieje jakiś system, matma, logika, o czym pisał Requator w poście, w której np. Twierdzenie Godla nie
Twierdzenie Godla jest swego rodzaju metatwierdzeniem i jest całkiem dobrze opisane na wiki. Podane są dokładne założenia i przykłady systemów formalnych ich niespełniających a zatem dla ciebie i @Requator ciekawych.
Hipoteza Continuum jest niezależna od klasycznej aksjomatyki [5].
Nie wiem czym dokładnie w
studiuje na Politechnice Łódzkiej.
Nie rozumiem do końca tego artykułu, ogarnąłem Twoje linki. Spróbuję się rozpisać.
Co do linku pierwszego o zbiorze wszystkich zbiorów. Oczywiście, postulaty się obala i potwierdza. Zbiór wszystkich zbiorów to obalony postulat w naszej matematyce więc chyba nie ma co dalej tego zgłębiać. Ale dowodu na to, że Bóg nie może podnieść kamienia, czy może, czy coś chyba nie
@Dawidk01: jest wiele ciekawych teorii i analiz mówiących o tym dlaczego nie poznamy tego świata i nie ogarniemy go umysłem. Jeśli interesuje was to od strony trochę filozoficzno/psychologicznej to polecam Kanta i jego poglądy co do naszego poznawania świata, trochę też Schopenhauera. Akurat jestem w środku lektury na ten temat, więc jeszcze dobrze tego sobie
Co do paradoksu omnipotencji, no znałem go wcześniej, a wydaję mi się, że z teorii Requatora wynika, że Bóg nie tyle łamie prawa logiki, co po prostu wykracza poza prawa NASZEJ logiki, nieidealnej, stworzonej (odkrytej po części) przez nas, która tylko przybliża takie ideały jak Bóg czy matematyka.
Będzie czytane. Dzieki chłopaki! :):):)
Czy to ma być luzna rozkmina czy chcecie serio się porywać na udowadnianie czegoś? :p