흠..
게시글 주소: 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를 선물하세요.
-
ㅈㄱㄴ
-
국어를 더하자....
-
화작 82 확통 76 사문 47 지1 35 보정 1 2 1 2 가능? 지구 지1...
-
??
-
바질페스토 파스타 먹고싶음
-
개추
-
사문 47인데 3
아니 사문 시간내 다풀라고낸거 맞음? 절대 아닌거같은데 ㅋㄱ 걍 죽어보라고 낸거같음
-
계속 고민해봐도 모르겠어요
-
그냥 가고싶음
-
이럼 누가복귀하노
-
진짜 이해가 안가네 ㅋㅋ
-
나...대학 갈 수 있는건가
-
하...
-
ㅋㅋ캬
-
ㅊㅊ좀요 27 28 30 틀림
-
하 확통런할까 2
흐음
-
20대 남성들 보수가 많은데
-
헤헤헤
-
10kg줄게 필요한 사람?
-
여기 >>>> https://orbi.kr/00072826736 1단원 문제면 다...
옳은 말씀이십니다
감사합니다