수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
"김여정 남편, 180㎝에 미남…11년전 총정치국 부부장 근무" 1
(서울=뉴스1) 유민주 기자 = 북한 김여정 노동당 부부장의 남편이 북한 총정치국...
-
연대 교과 등급컷은 그냥 참고만 하는게 맞음? Z점수는 따로 공개 안 하나? Z점수...
-
책쓰는 사람들 신기함 10
머리에서 그 수백장에 달하는 문자들이 나온다는게..
-
시대 반배정 2
시대 반배정 조금이라도 더 잘됐으면 해서 질문해요 기숙 선착전형 수능 성적만 올려서...
-
2025수능 오답률 1위였던 8번문제 정답률이 22수능 15번(화작 1위,...
-
펑! 1
(메가서버터지는소리)
-
나도 그사람들 사이에선 평균이하아닌가
-
ㅈㄴ어려움ㅋㅋ
-
-
1. 2022 개정 교육과정부터는 일반고 기준으로 했을때 공통수학1 2 대수 미적1...
-
윾넨 ㄹ황 1
-
ㅈㄱㄴ
-
ㄹㅇ...
-
1. (Not A->모순)->(A의 증명있음) 2. (Not A->모순)A 3....
-
-
닉바꿀까 3
뭔데벌써쿨이돌지
-
내신때 했지만 4였음ㅎ 현재 수1수2 정승제로 듣고있어요
-
나온다면 언제 나오나요? 제가 희망하는 대학 희망하는 과가 수시로 대학어디가에서...
첫번째 댓글의 주인공이 되어보세요.