흠..
게시글 주소: 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를 선물하세요.
-
거의 맨날듣는듯
-
지가 잘못 알고있는거를 ㅈㄴ 우기는 큐브 학생 수준 ㅋㅋ 0
지가 잘못 알고있으니까 계속 설명해도 자기 방식이 맞는거 아니냐고 쳐 우기는 수준...
-
퇴근 7
ㅅㅅ
-
이번주 버틴 나 칭찬해
-
이번 3모에서 32323나옴(나도 앎 3모 의미 ㅈ도 없는거) 그치만 나한텐 의미가...
-
2시간 반 걸렸는데 오래걸렸나요? ㅠ 이해 속도가 너무 느려서 하고 나니까 시간이...
-
1.경북대 전기과 아웃풋 궁금합니다(공기업말고 대기업 기준으로) 2.전기과—>전자과...
-
스카 독재하는데 2
중딩들 시험기간이라 ㅈㄴ 많이 오는데 휴게실 진짜 개좁아서 자리 없으니까 바닥에...
-
선택과목 유불리 2
로스쿨이라 고대 인문 지망인데요 화작 확통 정법 사문 했는데 언매->화작으로 바꾼...
-
나도 같은류긴한데 특히 상급자가 그렇게 눈치빠른 유형이면 한낱 애기가 된 기분임.....
-
대학 학번 이름 전공 한번에 써잇는 서류가 없어서 서류 두 개 편집해서 올렷더니 다시올리래시발
-
꼴ㄹㅣ네요
-
아니 그게 쉽게...
-
-
간지러워
-
그냥 연계 작품 연습하는 정도로만 하고있어서 비연계는 틀려도 대충 넘어갔는데 그냥...
-
남자입니다 부모님은 평범한 회사원이고 나중에 약국개원하면 5억정도는 지원...
-
현역 고3인데 중간고사가 3주남았습니다.ㅠㅠ 학원없이 혼자해서 언매 단원의...
-
나도 늙엇나
-
수학 제발 0
아니 완전 노베는 아닌거 같아서 방학에 킥오프 수1수2 했는데 3모 낮3떠서.....
옳은 말씀이십니다
감사합니다