흠..
게시글 주소: 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를 선물하세요.
-
언매 92 미적 97(3번 왜 2^5로 봄) 영어 85(흥선대원군 강림) 생명 47...
-
넌 나를 안아주지 말았어야지~
-
감기걸렸나 ;; 1
왜 1학기 중간고사 기간마다..
-
01년생한테 4
몇년생이냐고 물어보는거 민폐인가요
-
작수5 -> 3모 4 -> 4덮 81점 (찍맞31,36) 인생처음으로 영어 2떠서...
-
꿈나라 고고 2
굿밤
-
21번은 버리고 앞문제에 집중하고 시험 끝날때쯤 걍 문제 슥 훑어봤는데...
-
휴릅하고 왔는데 7
뭔 탈릅메타ㅇ에요 이상한 소리 노노
-
고3 현역이고 매일 이정도 분량 공부하고 있는데 매일 2~3개 정도는 못 지키는 것...
-
설대 aa가 4
수시로 자기들 학교 썼을 때 면접 부르거나 할 정도 되어야 주는 점수인가
-
오늘 친구가 문제냈는데 멍청해서 그런지 안풀림 어떤 가게 사장이 옷을 50% 할인...
-
미2확통기벡 2
수2미1확통
-
자러갈게
-
지방살아서 서울에 대한 로망이 있는데 서울사람들은 다 예쁘고 잘생겼나요?
-
님들 할거없죠 4
이거맞아요?
-
초반만해도 6월전에 멘탈나가서 뭐하나 싶어서 안보려고 했는데 속는셈 치고 봐보니까...
-
안녕히 주무세요 2
-
진짜 ㅇㅈ마렵네 3
진짜 ㅇㅈ마렵네
-
한번 밟고 지나갈 징검다리 중에 하난데 내가 너무 큰 의미를 둔거같다노.. 재수는...
-
내일 오답이랑 피드백이나 잘 해야지 아 근데 오늘 놀았어야 했는데.. 오늘 못 논게 아
옳은 말씀이십니다
감사합니다