흠..
게시글 주소: 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를 선물하세요.
-
이해원이랑 비슷한느낌으로.. 아직 미적은 안나와서 다른거 하나 먼저 푸려구용
-
나름 공부 잘해야갈수있었음? 93년생이면 12학번때
-
-
ㅇㅇ
-
4덮 수학 2
15 21 22틀 88 망했노
-
6평은 망쳐도 괜찮다구요?? 9평은요?? 수능 때는 되는 거 맞죠? 선생님??
-
ㅈㄴ 이상하게 답해주네 ㅋㅋㅋㅋ 님들도 한번 해보셈
-
4덮 경제 4
허허 별표 5개치고 강렬히전사 한 번호로 찍을걸 그랬나
-
4덮봣는데 15 22 28 30 틀림 미적 4점은 벽 있는 느낌이라 극복이안됨ㅜㅜ
-
확통 들을건데 22랑 15중에 뭐 들어야 해요?
-
4덮 결과 4
언매 92(7, 12, 21틀) - 평이한 시험지 기하 80(15, 22, 28,...
-
-
지구 과학이랑 할거 정하려고 하는데 한지가 괜찮을까요 사문이 괜찮을까요?
-
ㅜㅜ
-
제목 그대로 입니다… 미적 자신이 있었다가 없어졌다가 생겼다가 없어지는데… ㄹㅇ...
-
영향 있을것같은데..
-
대선 시기 되니까 지 표 올리려고 개소리하는 거 판단 못 하나
-
국어 83 수학 68 영어 97 3합 얼마 될까요? 국어 무보1은 욕심이겠죠
-
느는거임? 맨날 3이하고작수도 망치고 더프도 망하고 독서문학 언매 다 따로따로풀면...
-
91인가 92에서 88됨..
옳은 말씀이십니다
감사합니다