Tego zdania nie można dowieść
Jeśli to zdanie jest fałszywe, to fałszem jest, że nigdy nie można go dowieść, zatem można go dowieść, więc jest prawdziwe. Skoro jest prawdziwe, to rzeczywiście jest tak jak ono mówi, czyli nigdy nie można go dowieść. Słów kilka o pierwszym twierdzeniu Gödla.
Poczmistrz_z_Tczewa z- #
- #
- #
- #
- #
- #
- 71
- Odpowiedz
Komentarze (71)
najlepsze
Wyobraź sobie, że muszę złożyć świętą przysięgę szczerości i zupełności. Składają się na nią dwa oświadczenia:
1. Nie mogę powtórzyć na głos fałszywego zdania.
2. Muszę powtórzyć na głos zdanie
Czy zagłosujesz na NIE?
- Tak
- Nie
Załóżmy oto, że mamy jakiś system – nazwijmy go systemem
@Poczmistrz_z_Tczewa: Błąd w błędzie tkwi w tym, że Godel zdefiniował co to jest dowód i co to jest dowiedlność i wykazał ścisłym rozumowaniem matematycznym, że istnieje zdanie, które nie jest fałszywe, ale nie istnieje dowód dla niego.
To oznacza też, że zdanie "niemożliwe" w jednej dziedzinie można bez problemu udowodnić w innej (a ta inna dziedzina będzie miała swoje własne
To mi wygląda na zwykłą incepcję, a każdy (po filmie) wie do jakich
@redet: Nie wszędzie w matematyce zachodzi przechodniość. ( ͡° ͜ʖ ͡°)
Zdanie A = "Zdania A nie można dowieść"
"Zdania "Zdania A nie można dowieść" nie można dowieść"
"Zdania