흠..
게시글 주소: 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를 선물하세요.
-
21번 왜 틀렸나 햇네 2 0
수학 ㅗㅗ
-
생명 비유전 2 0
빡셋던 모고,, 머잇죠? 25수능??
-
더프 기하 29번 1 0
공도 많이 안해봐서 미적분으로 풀었는데 운좋게 맞았어요
-
하루만 기다리면 전역이에요❗ 1 1
왜냐면 이제부터 기다림이 24시간이 넘을 때마다 대가리를 존나 쎄게 쳐서 제...
-
8덮 77인데 0 0
공15미8이면 1컷이라도 가능할까요...? 16번을 틀려버려서;
-
쌍사 백건아 교재 3 0
주니어 시니어 자연특 이렇게 있는거 맞나요...? 시리즈 순서, 난이도가 어떻게...
-
8덮 언매 37번 1 0
음운변동 몰라서 틀린것도 아니고 그림 잘못 표시해서 틀린게 ㄹㅇ 열받음..
-
이러면 성적표 안나오나요? 더프 근데 아프긴했는데 미적 6모84 7덮89에서 이번거...
-
피램으로 독서 문학하신분들 효과보신분 계신가요??? 6 0
계신가요???
-
아래정답 ㅇ ㅇ ㅇ ㅇ ㅇㅇ ㅇ ㅇ ㅇ ㅇㅇ ㅇ ㅇ ㅇ ㅇ ㅇ ㅇ ㅇ ㅇ ㅇ ㅇ ㅇ ㅇ ㅇ 2번
-
ㅈㄱㄴ
-
8월 더프 1 0
언매 91 미적 88 영어 1 생윤42 사문47 어느정도 나올까요
-
근데 사문 어려웠음? 1 0
15번 빼고 나만 할만했냐
-
아니 사문 2 0
3 15 18틀임 어아아아아ㅏ라라??
-
더프 결과 2 1
국어: 원래 못함 수학: 시험지 체감 난이도는 쉬웠는데 많이 틀림 영어: 졸았음...
-
수시원서 서울대 1 0
서울대 전기정보공학부 생각중인데.. 제 친구도 저랑 같은 학과 생각중입니다 제가...
-
더프보신분들 수고하셨습니다 2 1
-
너무 공부하기 싫은데 2 1
오늘은 노는거 합법인가
-
6모때 둘 다 1이었는데 ㅅㅂ
-
강K 12회 1 0
반 최고점이엇는데 더프는 반 꼴지일듯 슈뢰딩거의 수학점수..
옳은 말씀이십니다
감사합니다