흠..
게시글 주소: 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를 선물하세요.
-
사문 수능개념 절반 정도 했고 끝나면 수특수완할건데 강의 꼭 들어야할까요......
-
틀린 사람들 꽤 있을듯 16번도 문제 유형 안 보고 풀었다가 5분 넘게 쓴듯
-
67점!!
-
흠..
-
국어 컷 예상 4
무보정 80초반일거 같은데 님들 생각은 어떰?
-
누나가 지켜줄게 힘들면 일루와잇❤️
-
지방 일반고 내신 3.4에 2학년때 기하 b 그리고 3학년 1학기 지금 물리가 b가...
-
4덮 결과띠 3
국어 89 (3, 8, 13, 25) 나 어휘력 딸리나… 어휘문제 왜 이렇게...
-
작수3 미적 3덮 안풀었어요 3모 81점: 6(계산실수), 21(수열에서 1개...
-
경제 응시자들한테 조은거임?? 실수 많이 유입되면 표점 낮아져서 안 좋은거...
-
좀 삐뚤빼뚤하긴 한데 사각형 APQO 넓이 구하기 > 선분AQ 길이 구하기 >...
-
수시 정시 둘 다 상위권이라 가정하면 문과는 모르겠는데 이과 수시는 물리 화학...
-
불문학싫어 2
저리가아아아아아아아아아악
-
주변에 인강 거의 안듣고 현강 2달 찍먹만하고 중대에서 한의대성적 찍은 애 있는데...
-
기분좋규나
-
원래 생윤 사문 하려했는데 생윤만 바꿀려합니다. 생윤도 리밋 듣는데 너무 재미없고...
-
4덮 언매 94 4
무보정 1 가능??
-
더프수학 쉬움? 4
풀지말까
-
수학 노베 조언 1
수학 완전 개념도 처음하는 노베인데 교재에 있는 문제를 혼자풀면 절대 못풀겠어서...
-
곧 중간고사 시즌이잖아요 수시 버리고 정시해도 되냐는 글이 쇄도할거임
옳은 말씀이십니다
감사합니다