흠..
게시글 주소: 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를 선물하세요.
-
강된장돌솥비빔밥먹는다 14
이미 비벼서 짤은 못올림
-
"질문해도 될까요?"라는 질문을 안 해도 괜찮습니다. 그냥 바로바로 물어보시면 제가...
-
잠시 휴릅 8
강해져서 돌아올게요 5덮 딱대
-
한번 밟고 지나갈 징검다리 중에 하난데 내가 너무 큰 의미를 둔거같다노.. 재수는...
-
넌 나를 안아주지 말았어야지~
-
심천지 탈퇴하고 엄준식국어나 들을까
-
작수5 -> 3모 4 -> 4덮 81점 (찍맞31,36) 인생처음으로 영어 2떠서...
-
언매가 표점면에서 이득인 거 같은데 독서 문학 황 분들이 가끔 화작 해서 궁금했음
-
중간좆됐네 8
아
-
고3 현역이고 매일 이정도 분량 공부하고 있는데 매일 2~3개 정도는 못 지키는 것...
-
무물보 10
생물학노베는망햇어요
-
또 1교시... 6
그만 괴롭혀... 빨리 종강주세요......
-
Psat 뽑아씀 이거 진짜 국어 공부 시작하기전에 간단하게 풀기 좋은듯
-
휴릅 좀 하고 10
이따 올게요
-
이중극한 7
예를 들어 어떤 함수에서 t+로 가고있는데 여기서 t에 2-를 넣은다 치면 그대로...
-
표점 꼴찌: 생2 or 지2 일단 물2 화2는 둘다 화생방 만들어놨고 물1 화1...
-
이채연 확92가 암만봐도 나보다 잘본거같은데 그냥 미적하셔도 잘하실 듯..
-
RNA지문 6
저만 어려웠나요? ㅠㅠ 16 빼고 다 틀림
-
이왜진 ㄷㄷ
-
그러나 19 22같이 농도높은 문장에서 이해 요구하는 케이스들은 아직 안심못함 19...
옳은 말씀이십니다
감사합니다