The RationalistSkip to content
Tw. Gödla, czyli czy waga może zważyć sama siebie.

This plot has expired

Sections of Forum » Filozofia i światopogląd
Date of addingAuthorTitle
23-06-2025 12:37Franek Franciszek (15 points)Tw. Gödla, czyli czy waga może zważyć sama siebie.
Choć twierdzenie Pana Kurta Gödla, odnosi się do systemów spełniających konkretne warunki, to wciąż intryguje możliwość jego szerszego zastosowania, oraz wysuwania ciekawych implikacji dalece wykraczających poza czystą matematykę.

1. Co, jeśli udałoby się stworzyć fizyczny system, który łamie powyższą zasadę?
2. Co, jeśli udałoby się matematycznie opisać tę część mózgu, która odpowiada za samookreślenie i procesy decyzyjne, tak, aby jako system spełniał warunki Gödla?
3. Co znaczy fakt, że językiem matematyki i logiki, można sformułować proces sprzeczny, a językiem systemów empirycznych, nie można tego zrobić?
4. Czy nie męczy was kwestia, że istnieją warunki dla systemów tak ścisłe, że nie przepuszczą ani jednego systemu?

Mam swoje przemyślenia, jednak chciałbym aby najpierw ktoś kompetentny w tym temacie, wyraził swoje opinie. Jeśli to co piszę, to tylko czysta fantazja, to proszę mi o tym powiedzieć. Pozdrawiam
Author can remove replies violating regulations or out of topic.

Murdoch_13 (1467 points)
>Co, jeśli udałoby się stworzyć fizyczny system, który łamie powyższą zasadę?

To by oznaczało że prawa fizyczne są skrajnie inne niż się to obecnie wydaje - nie są równoważne żadnej maszynie Turinga / systemowi formalnemu

Takie modele musiałyby mieć w sobie coś nietypowego jak przesyłanie informacji wstecz w czasie (np. były proponowane pewne modyfikacje mechaniki kwantowej zawierające tzw. wektor "teleologiczny")

>Co, jeśli udałoby się matematycznie opisać tę część mózgu, która odpowiada za samookreślenie i procesy decyzyjne, tak, aby jako system spełniał warunki Gödla?

Stworzenie takiego opisu (spełniającego warunki do zastosowania twierdzenia Godla) byłoby jednocześnie dowodem że ten opis jest błędny lub co najmniej niepełny

No chyba że złamano by jakiś warunek, np. można się kłócić, co jeśli odkrylibyśmy ten opis empirycznie? I nie moglibyśmy zrozumieć na poziomie teoretycznym, że ten opis obejmuje ludzkie zdolności rozumienia dowodów matematycznych (nie wszystkie zdolności, mówimy tu jedynie o bardzo ograniczonym wycinku)?

Jak takie czysto empiryczne odkrycie algorytmu (bez jego zrozumienia) miałoby wyglądać?

Tutaj ściślejsza analiza z formalnego punktu widzenia:

www.racjonalista.pl/forum.php/s,897856

.

Back to the list of plots działu Filozofia i światopogląd 
To write in this plot, you have to sign in


 


[ Cooperation ] [ Advertise ] [ Map of the site ] [ F.A.Q. ] [ Store ] [ Sign up ] [ Contact ]
The Rationalist © Copyright 2000-2018 (English section of Polish Racjonalista.pl)
The Polish Association of Rationalists (PSR)