흠..
게시글 주소: 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를 선물하세요.
-
-
분명 공대인데 6
대체 이 이상치들은 무엇인가 건물에서 보다 보면 존나 인문대 상인 인간들이 있음 정체가 무어냐.
-
"질문해도 될까요?"라는 질문을 안 해도 괜찮습니다. 그냥 바로바로 물어보시면 제가...
-
예? 발문이 'ⓐ의 뜻은?'도 아니고 난 뭔가 있을 줄 알았는데
-
더프 기하 27 11
기하는 풀만한게 얘밖에 업음
-
오늘 4덮 친 분들 고생많았습니다 재밌게 푹 쉬었네요 잘자셔요
-
진짜 시발 이딴거 내기 싫다고요 ㅆㅂ 그리고 건보료도 좆같네 하아
-
응원좀
-
ㄱㄱ
-
시발.... 개어렵어....
-
방법을 확실하게 알겠음 지금 구조독해 주로 가르쳤던 강사들 방법 안먹히니까 연결...
-
-
90 98 2 96 96 화작 미적 사문 지구 입니다 공대 기준 어디까지...
-
하루종일 했지…
-
-
ㅋㅋㅋ
-
여친 구함 4
키 상관없고 날씬하고 자기 관리에 많은 노력을 기울이고 화장 열심히 하고 옷 잘입고...
-
뉴비 와쪄욥!! 3
-
언매 92 미적 97(3번 왜 2^5로 봄) 영어 85(흥선대원군 강림) 생명 47...
-
넌 나를 안아주지 말았어야지~
옳은 말씀이십니다
감사합니다