흠..
게시글 주소: 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를 선물하세요.
-
노래방갈까 고민되네 ㅋㅋ
-
랜만오 1
ㅇ 힘들다......
-
문과고 화작 확통 영어 세지 한지 순 등급 3 1 2 1 1 백분위...
-
추론형은 홍준용 택앤스로 잘 되는디 오히려 개념이 딸리는거같아서요 백호 박선우...
-
중간고사 불안감이 스멀스멀 사람을 날카롭게 만드네요
-
다 검은색임 바디만 다름
-
나 중학생때 의리사탕이라 해가지고 화이트데이에 사탕 주고받는 유행이 있었음...
-
ㄹㅇ 등급컷 궁금하노
-
이새끼 뭐야
-
오늘부터미적만 1
하루3시간씩
-
볼텍스 어떰?? 0
구해서 풀어볼까 하는데 풀어보신분들 어떠셨나요
-
화작 70 확통 64 정법 27 사문 39
-
혹시 미적 1컷이 92보다 높았던 평가원시험이 있나요 3
제목그대로입니당
-
공부도 장비빨 6
8500원 flex
-
맛점 하세요 1
voca 외우면서 라면 물 기다리기
-
그냥 수능 그만둘까 고민중
-
확통미적 선택 0
작년에 미적 71점 3등급이었어요 목표는 2등급정도고 목표대학이 미적 3퍼 가산점...
-
자퇴 재수 0
20살 여학생이고, 말 그대로 자퇴 후 재수를 고민중입니다. 쌩재수를 하려고...
-
시험 난이도가 어려워도 90초중반인데 쉬워도 90초중반임 쉬울 때 한 두문제 더...
옳은 말씀이십니다
감사합니다