흠..
게시글 주소: 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를 선물하세요.
-
나 뭐 잘못했나? 근데 어차피 폰 안받아서 전화도 못받는데
-
2023 수능인데요 (갑: 장자, 을: 불교) 여기서 질문드릴건 오답인 5번선지인데...
-
잇올글 없으니까 오르비 개짜친다
-
브릿지 전국 1회에 나온 문젠데 S기 핵상이 진찌 2n임? 재수만에 처음 안거 이거 진짜임?
-
콩깍지가 벗겨져서 상대방이 날 안좋아하게 될 수도 있잖아요
-
현우진t 수분감이랑 뉴런은 병행 많이 하는 거 같은데 드릴도 드릴드랑 같이 하나요?...
-
세상에 모순이 없는이유 22
모순이 참이되면 모든명제가 참이됨 대우명제는 어떤명제가 거짓이면 모순이 거짓임 아무...
-
넌 장난이라 해도
-
ㅈ노잼됐네 대체 누가 처바꾸자도 찡찡거린거임
-
뉴분감 진행 중인데 스텝2랑 시냅스도 막힘 없이 잘 풀리기도 하고 기출 문제들은...
-
알파메일인데
-
문제 푸는건 좋은데 인강 듣기가 싫으면 어떡함? 시발점 들으려고 하다가 집중 안돼서...
-
옳은 말씀이십니다
감사합니다