흠..
게시글 주소: 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를 선물하세요.
-
아니 호요버스야 1
붕스 2주년은 엄청 미뤄주네 원신 4주년은 20뽑 이벤트 하나로 퉁쳤으면서 겁나...
-
.......ㅠ
-
작년부터 졸리면 무조건 엎드려서 잤었는데 요즘은 오히려 멍해지고 더 자고 싶어짐...
-
매우 정상적이네
-
담당일진이 날 수학으로 조팬다면 난 그 수학을 부셔버릴것
-
문이유 문법N제 2회독 나기출 유대종 기실해 N기출 언매 마더텅 언매 리얼오리지널...
-
지금 벚꽃 1
만개 했나요? 석촌호수 여의도 서울숲 어떤가요
-
아님 오뎅 먹을까
-
반에서 저번에 잘자요 아가시 추고 수퍼노바 불렀더니 애들이 수업 빼려고 나한테 노래...
-
애완견이 아니라 그냥 들개임 ㄹㅇㅋㅋ
-
대체... 언제... 끝나는... 거야...
-
와 마약이 나라 턱 밑까지 기어들어올라왔놐ㅋㅋㅋㅋ
-
학벌이 필요하다는 주장은 구분해줘야함 난 전자는 동의하고 후자는 동의하지 않음
-
CNN 재밌노
-
In April, a study published in Nature observed...
-
Are we the baddies 걍 존나 웃김
-
절대유사소수임
-
뉴런에 있는 문항들은 개념 배우고 푸니까 잘풀리는데 타 문제들도 정복 가능함? 뭔가...
-
"한덕수 재판관 지명 위헌 확인" 헌법소원·가처분 잇따라 1
한덕수 대통령 권한대행 국무총리(사진)가 헌법재판관 후보자를 지명한 것은 위헌임을...
-
며칠 동안 끙끙 앓고 있었는데 바로 나음 캬캬
옳은 말씀이십니다
감사합니다