수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
이제 진짜 1 0
각잡고 공부한다.
-
르비 언제 재밋어지지 2 0
노잼시즌인가 지금이
-
올해 헬린님 누백 초판 2 1
언제 나올까?
-
피파엔 애정이 많음 2 0
자기 잘한다고 깝치던애 5:0박고 놀려먹던게 아직도 생각남 초딩때여슴
-
아이묭 티케팅 도전해봐야지 2 1
로쿠데나시 바로 다음날이었네 이건 못 참지 근데 요아소비때처럼 사람 몰려서 못 할거 같긴한데
-
지구과학빼면 나머진 사실 비슷하지않음??? 아닌가,,, 내가 물리만해봐서...
-
요즘 대병 가기 진짜 힘든듯 3 0
진료 한번 받으려면 기본적으로 인맥 없으면 대기가.. .
-
어어 테슬라 왜 이래 2 0
돌아와
-
6명뽑는과에 19-13-9으로 예비받았었고 3 4차는 전화추합으로 하거든요 ㄱㄴ할까요?
-
제가 넣은 학과 1차때 14명 2차때 10명 붙고 더 이상 아무도 못 붙고 있는데
-
눈 내린 토론토공항서 착륙 중 여객기 전복…"2명 위중" 1 0
현지 시간 17일 오후 캐나다 토론토 피어슨 국제공항에서 80명이 탑승한 여객기가...
-
타로파이 << 언제 재출시함 1 0
맥도날드 뭐해
-
가군 19명 모집 예비 41번 받고 1차 추합 29 2차 추합 22 3차 추합 18...
-
왜 잠을자도 졸릴까? 3 0
흠...
-
작년에 뒷단지쪽 맥날 없어지고 앞단지 맥날도없어져서 이제 맥날 먹으려면 역 앞까지...
-
삼수 고민좀.. 3 0
언미물지 현역때 41221 재수때 31211 현역때랑 재수때 국어가 시험장 가면...
-
나에겐 꿈이 있습니다! 2 4
서강대가 전화추합 시켜주는거요! 서강 생물 왜 안되냐고.... 추합 달라고....
-
내가 다녔던데 vip룸 한달에 19만원인데 겁나 넓은 1인실이여서 의자에 앉아서 발...
-
맞팔 구합니다! 2 0
청테 갖고 싶어요!
-
한뱃은 너무 안예쁨 3 0
색이 우중충함
첫번째 댓글의 주인공이 되어보세요.