흠..
게시글 주소: 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를 선물하세요.
-
간절해요 ㅜ
-
재수학원 한달쯤 다니고 있는데 이번에 알레르기검사를 했더니 풀이랑 나무알레르기가...
-
그때 맨날 놀앗는데...하...그래도 수학만 좀 해놔서 다행
-
이정도면 어디감? 11
98 100 1 99 100 96 100 1 98 98 언미영탐탐 백분위에여
-
술을 좀 줄여야되나 막 언어 장애가 자꾸 생기는 것 같음 그리고 길 걸을때 사선으로 걷더라
-
야이 기요마 7
이 기요미야 꾸준글
-
4덮 언매 85 7
무보정이랑 보정 어느정도 예상하시나요 독서에서만 틀렷음...
-
어떤 사람은 인강,수업 듣는것도 순공 포함이다 미미미누 유튜브 보는것도 순공...
-
-
해줘 앨범단위면 더 좋아
-
1주년 기념으로 전애인이랑 여행갓는데 집이 보수적?인가봄 전애인 부모가 우리집...
-
진짜 수능 한번 더칠까
-
엄….ㅋㅋㅋㅋㅋㅋㅋ ㅅㅂ
-
새르비 일동은 장락무극님의 대충 24시간 공부를 미리 축하드립니다. 조의금은 여기로 받겠습니다.
-
기억해두셈
-
쌈무나보고가라 4
-
구라임
-
-
아빠들한테만 안타맞음
-
쌍윤할때는 뭔가 담백하게 재밌는데 물2는 자극적으로 재밌다... 내신덕분에 내가 물리를 하는구나
옳은 말씀이십니다
감사합니다