흠..
게시글 주소: 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
오르비 잘자요
-
-
맨날 막 오르비에 글쓰고 점심시간에 오르비 염탐하고
-
궁금합니다
-
슬퍼요 8
울고싶어요 새르비하고싶었는데 오늘은일찍자야할것같아요 정신이말짱치가않아서...
-
이미지 7
이 미지
-
죽을게그냥
-
하루 남았네 10
미리 바이바이
-
잘 맞는 친구 하나 만나기도 정말 정말 정말 어렵구나
-
닉 바꿨다고 몰라보나 12
저에여 저
-
닉변완 6
-
개인적으로 수학은 12
여유롭고 느긋하게 n제 한문제씩 푸는거보다 100분잡고 실모 양치기하는게 내 실력...
-
얘들아 잘자 5
사랑해 뭐 잘자던가 말던가
-
재수를 하는 시간이 낭비다라고 생각되거나 잠깐 동안이라도 후회했던적 있으셨나요...
-
T의 장점 6
팬티를 입어야된다고 가정해보셈
-
본인만의 아우라를 풍기며 본인의 취미를 좋아하는, 분위기 있는 사람이 되고 싶다
-
간절해요 ㅜ
-
재수학원 한달쯤 다니고 있는데 이번에 알레르기검사를 했더니 풀이랑 나무알레르기가...
옳은 말씀이십니다
감사합니다