수학의 완전성 증명
게시글 주소: https://orbi.kr/00071957732
1. (A가 거짓->모순)->(A가 증명있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 증명없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 증명없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 증명있음)
4번이 바로 "완전성"임
따라서 나는 귀류법이 참이라는 전제하에 완전성을 유도해냄
그렇다면 괴델의 불완전성은 틀린것인가?
그렇다..
괴델의 불완전성 정리의 문제는
G : "G가 증명불가능"
1. "G가 증명불가능" 함을 괴델이 증명
이는곧
2. "G"를 증명 한것
이는곧
"G : G는 증명불가능"
과 모순
그렇다..
나는 수학의 완전성을 복구한 수능수학 5등급 수포자인 전설의 신성자인것이다...
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
3모 수학 96 1 0
틀린놈 21번 찍맞한놈 10번 나머지 다 잘 풂 기하 문제 ㄱㅊ아요 평이한듯 수열...
-
07년생 현역 여고생 여르비 5 2
나
-
컨디션 안좋긴 했는데 ㄹㅈㄷ네 ㅋㅋ
-
개념쎈이랑 어삼쉬사중에 뭘 먼더 하는게 맞을까요? 0 0
일단 어삼쉬사는 샀는데 어삼쉬사부터 다 풀고 개념쎈을 할까요?
-
-
수학 브릿지 몇분잡고 풂?? 5 2
30분잡고 풀어도 하나를 못풀고 40분잡고 풀어도 하나를 못풂 근데이제 아무리해도...
-
객관식은 14? 근데 답이 특수 상황이라 조건 이해했으면 그거부터 보는게 당연해서...
-
07 왜이리 고능함…? 0 0
나만 국어 수학 존나 어려웠던거임…?
-
3모 못봄 0 0
-
항상 시험 보면 잘봤다 생각드는데 채점해보면 항상 국어 의문사 개많고 수학은...
-
모교가서 시험지 가져왔다 0 1
일 있어서 21시 이후부터 풀 듯?
-
탐구컷은 보통 언제쯤 나오나요 0 0
오늘 안에 안 나오려나
-
메가 등급컷 떴네요 0 0
챙겨보시길
-
국어 86 0 0
1 ㄱㄴ? 나 지문이랑 혈관에서 박살남ㅋㅋㅋㅋ
-
3모 국어 0 0
개어렵나보네 내일 풀려고 했는데.... 쫄린다 ㄷ
-
허수 현역인데 0 0
죽을게 그냥..
첫번째 댓글의 주인공이 되어보세요.