흠..
게시글 주소: 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를 선물하세요.
-
최저러가 탐구 하나 버리는거 4 1
너무 위험한가요?? 4합8이 최대라서 생1을 좀 유기했더니 바로 4가 나와서...
-
먼가 허전해…
-
9평 다시 풀어보니까 0 1
헛웃음이 절로 나오네 인간이 저지를 수 있는 실수란 실수는 다 저질러버렸구나...
-
날.. "N수하는 버러지"라고 불러 줄 수 있나?.. 이유는.. 나도 멋진 별명을...
-
6잘9망수잘은 공식임 13 3
현역 재수때 똑같이 저랬으
-
"58점" 확정
-
하 ..떼야겠지?
-
특히 12번 22번 음 230922같은 느낌인가
-
근데 이번화학 쉬웟음….? 6 2
체감상 6모보다 훨씬 어려웠는데… 나만망햇나… 이게 1컷 47이면 진짜 수능날...
-
내가싫어하는오르비언 4 1
본인인거같으면응디
-
어제 업소 누나가 안아줬음 7 0
자주가는 페티쉬업소인데 플레이 두 타임 끝나고 내가 용기내서 안아달라 했음. 진짜...
-
2020 가형 100이면 확통 28번 풀기 가능하다봄 6 0
2020 가형 100 실력이면 9평 확통 28번 킬러 맞출수 있을가요
-
과탐 2과목 봤는데 한과목을 개망쳤을때 제2외국어라도 잘 봤으면 [과탐 1과목이랑,...
-
대체 어디서 싸우는거임? 5 2
제발알려줘
옳은 말씀이십니다
감사합니다