흠..
게시글 주소: 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
끝났네요 수고많았어요 모두
-
강철중 N제 0
번장, 중고나라에서만 구입가능?
-
이새끼 뭐야
-
화작 70 확통 64 정법 27 사문 39
-
레전드 인물...
-
아직 실력이 많이 부족하네.... 최근에 폼 오른거 같았는데
-
생명 얘기가 단 하나도 없네..
-
와 똑같은건 내년에 안나온다지만 적분 개고자라 꼭 정복했어야하는데 드디어 해냈다 씨빠알!!!!!!
-
-
시험 난이도가 어려워도 90초중반인데 쉬워도 90초중반임 쉬울 때 한 두문제 더...
-
나만 3번한거야?
-
ㅇㅇ
-
4덮 미적 3
77점이몀 무보정으로로 2컷 가능할까요...?
-
주말까지 못기다리겠는데 오늘 국수치고 내일 영탐치고 이렇게 띄엄띄엄 쳐도...
-
26000원에 샀는데 새상품 10000원정도 되는거 널렸네 그냥 하..
옳은 말씀이십니다
감사합니다