불완전성 정리가 틀린이유
게시글 주소: https://orbi.kr/00069328218
G : "G는 증명불가능"
G에따라
1. G가 거짓<->G는 증명가능
1이 모순이라서 1이 거짓
따라서 2가 참
2. G가 참<->G는 증명불가능
그런데 1의 대우명제가 2임
2가 참이므로 1도 참이어야함
1이 거짓인데 참인 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그냥 표준편차가 만표 박살낸 과목들임 표편만 평상시대로 떴으면 2409 정도 만표 떴다는 증거
-
1컷 42인걸 현장에서 풀면 눈물콧물 다 짜내고 집에서 내 점수 기다릴 엄마생각...
-
아--아---아 그것은 바로 롤드컵이 시작하기 때문입니다 GOAT
-
학창시절이 떠오르네요
-
평가원 성적표 0
영어칠때 속뒤집어져서 병원갔는데 성적표 안나오나요?
-
이 문제의 2번 선지에서 ‘자신의 집’ 이라는 표현이 쓰이는데 도적놈처럼 지내는...
-
고3 결석 질문 1
질병결석하면 처방전 필요하잖아요? 전에 받아뒀던 처방전 복사해서 날짜만 바꿔서...
-
20회 난이도가 절대 1컷이 86 나올 시험지가 아닌데; 그래서 찾아보니 짝수회차는...
-
이감 국어 파이널1 제 7차 예비평가 등급컷 어케봄.. 7
아 너무 복잡해서 못찾겠어요...
-
적생모 시즌2 5회입니다 (다)에서 자극전파 상황인데 물질문화의 전파가 일어났다고...
-
에어팟 시험장 반입 12
국어 풀때 귀마개 유무 여부로 집중도가 많이 달라져서 그러는데 에어팟 안에 전자장치...
-
솔직히 그럴거같지는 않은데 수학에서 수상하 내용으로 변별시도할거다...? 출제원칙상...
-
-
신라 왕조 인물들임 박지마 박아달라
-
진짜 개크게 흐아아아아아암~~~~ 하는데 얼마나 피곤하면 저러지 안쓰럽다......
-
솔직히 국수는 그냥 그러려니 하는데 과탐은 진짜 레전드네 3
보통 수능 끝나고 이런 반응 나와야하는데 올해는 9모부터네
-
으아아 어지러워 2
미치겠네 분명 안 어지러운데 어지러운 느낌이
-
비율 2.xx이면 만백 99임?
-
좋았거나 많이 배웠던 순으로
-
2랑 3 완충지대가 넓음
개소리노
왜요
G자체가 증명 불가능인데 누구맘대로 G가 참 거짓인지를 전제로 깔고 시작하노?
내가알기론 G가 증명불가능하고 G가 참이라는게 답이라고 알고있음