흠..
게시글 주소: 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를 선물하세요.
-
수시 정했다 7
설의 일반 연의 활동우수
-
아진짜 닿을락말락 ㅋㅋ 뭔가 불가능한건 아닌데
-
현역 정시파이터입니다. 선생님께서 무단조퇴 할때마다 벌점 준다는데 어떡하나요?...
-
https://youtu.be/9Hi0DOChfTc?si=-ZEdqcO6jHcxK_X...
-
난 CC 싫음 6
BB면 좋겠음 제발
-
과 동기들 근황 9
행정학개론 줄줄이 수강철회...
-
진짜 스펙 1도 안바뀐 사람이 작년에 광탈했던 대학 다음해에 전액장학금 최초합하는걸...
-
이번이 좀 못낸건가 비타민 k 한번 만들어보는게 교육청 사설업체 꿈인가 ㅋㅋ
-
제가 고2라는 것은 아님.
-
교수님들은고등학생이배울필요가없다고보신건가
-
진짜 이랬어야만 함 제발
-
미적 시험범위가 3년치 더프인데 해설지도 안주면 뭐 어떻게 공부하라고 미친놈들 아...
-
생각해내는게 대단한 일인가요?
-
개수 제한이 있음? 성적순 이란거 말고 그냥 6장 중에서 뭐 4장까지만 쓸수 있다던가 그런것들
-
내가 자신있는거 학습 방향 설정이랑 상태 분석하는거 학습상담같은거 전문적으로 하면...
-
맘모스 사냥
-
-
분명 공대인데 6
대체 이 이상치들은 무엇인가 건물에서 보다 보면 존나 인문대 상인 인간들이 있음 정체가 무어냐.
-
오늘 4덮 친 분들 고생많았습니다 재밌게 푹 쉬었네요 잘자셔요
-
왜 선지에 없노;;
옳은 말씀이십니다
감사합니다