흠..
게시글 주소: 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 0
공공기관 pc나 전광판 POS기조차도 우하단에 ^Windows 정품 인증^ 워터마크...
-
꽁초 버리는 경범죄 벌금의 기댓값도 포함하는거임 ㅇㅇ 좋은생각인듯
-
생1 환경저항 질문 2 0
강대 서킷 6회서 찍맞 하나 빼고 9번을 틀렸는데 환경 저항은 개체군이 특정...
-
열람실을 없애버린 경우가 많아서 시설은 좋은데 난감할 때가 좀 있습니다.집 앞...
-
25학년도 서바 2 0
수학 난이도 어떰?
-
정시 대학라인 8 0
화작 미적 영어 사탐두개 기준! 백분위 93 91 2 93 83(3등급) 대충...
-
갑자기 회의감이드네 내가 어느정도인지 파악이안됨 수학만 겁나 파고있는데 유의미한...
-
-
33322 가능? 3 0
모의고사 국수영 평균 5등급대이고, 탐구는 평균 4등급인데, (한국사는 의미 없게...
-
언어와 매체 문제 0 0
어머니께서는 어제 당신이 생각하시기로 내일 날씨가 맑을 것으로 예상된다고 쓰여진...
옳은 말씀이십니다
감사합니다