흠..
게시글 주소: https://orbi.kr/00072770940
위 링크에서
(A가 증명없음)->(A가 거짓)
을 증명했고
(A가 거짓이면)->(A가 증명없음)은 원래 참임
따라서
(A가 증명없음)<->(A가 거짓)
즉,
증명없으면 거짓이고, 거짓이면 증명없다
괴델의 문장인
G : "G는 증명없음"
이 문장은 다시
G : "G는 거짓"
이문장은 거짓말쟁이의 역설과 동일함
G가 거짓이면 G는 참
G가 참이면 G는 거짓
따라서 G는 모순을 낳음
결론이 모순이면 전제가 거짓
따라서
"G : G는 거짓"
또는
"나는 지금 거짓말을 하고있다"
가 거짓이라는말인데
앞에서 G가 거짓이면 참, 참이면 거짓
이라고 했으므로
진짜로 지적해야할 원인은
"자기자신을 거짓이라고 하는 자기참조적 구조" 자체가 문제라는거임
즉,
"G : G는 거짓" 이라는 말의 구조자체가 성립할수 없다는 말임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
스러너 기하 1회 후기 0 1
28 공간도형. 쉬웠음 29 포물선. 어려워할 문제는 아닌 것 같은데 시간많이쓰고...
-
제본 종이 두께 1 0
80g이랑 100g 중에 뭘로 해야하나요? 모고 아니고 예전에 학원에서 준...
-
이거머노
-
국바 2회 80점인데 0 0
2등급이면 좋겟다…
-
스블 다음 수1 n제 0 1
스블 수1 끝냈는데 복습하면서 시작할 n제 추천 좀요 카나토미 할까...
-
최근에 세 개의 애니를 봤을때 진격거 쿠로코 데스노트 각각 최애캐가 리바이 아오미네...
-
통역부스 ㅇㅈ 0 3
오랜만에 ㅇㅈ ㅋㅋㅋ
-
몸상태가 왜이러지…
-
제 과외생이 귀여워요 0 0
동생같고 가르칠 때 할미미소 나와요 칭찬해주면 기분 좋아져서 웃는 것도 귀여ㅂ고...
옳은 말씀이십니다
감사합니다