수학의 완전성 증명
게시글 주소: 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 완강 ㅋㅋㅋㅋㅋㅋ 대 대 대 ㅋㅋㅋㅋㅋ
-
중대본 "산불사태로 26명 사망…산림피해 3만6천㏊ 역대 최대" 2 0
중상 8명·경상 22명 등 인명피해 56명…대피 주민 3만7천명 (서울=연합뉴스)...
-
오늘 왜 목요일임? 2 0
왜 내일 주말아님?
-
성적 피드백 좀 요 3 0
요새 8시간 수학만 함 다음과목 작수이후로 안함 영어 단어 외우면 가능성있냐?
-
브릿지 같은 교재? 모의고사? 1 1
준킬러풀때 시간줄이려고 브릿지같은거 풀고싶은데 구할 수 있는거 뭐 없을까요?
-
언매 87인데 0 0
왜 백분위 99임뇨 뭐임
-
얼버기 0 0
정시 의대 정원은 먼말임?
-
이륙해서) 강의 1주일간 모두 무료! 3 26
3월 학평 본 학생들 모두 수고했습니다. 많이 어려웠던 시험이라 시험 보자마자 연락...
-
화학 지구 VS 세지 지구 7 0
현역 고3이고 올해 고3 3모 화1이 47점 정도 나왔지만 솔직히 수능에서...
-
나도 3모보고싶어 4 0
누구 시험지 링크같은거 아시면 공유좀요
-
현여기 3모 채점후기ㅜㅜ 2 0
느자구실종한정신머리로시험쳐서 33333 생각했는데 가채점결과 1? 1? 3 3 2임...
-
노베 재수생 집3모 후기 0 0
국어 - 집중력 이슈 80분 집중을 몬함. 그치만? 연속 5개 맞히고 빵댕이댄스...
-
진짜 개빡치네 ㅋㅋ 5 2
220921푸는데 워낙 유명한 문제라 푸는 법 알거든? 범바오가 함수식 잘못...
-
닉변 머로하지 2 0
추천좀
-
3덮 3모 결과 2 0
3모 사탐 이건 틀리면 안됨 정말 반성해야함
-
3모 비문학 중에 8 0
가장 평가원스러웠던거랑 가장 안 평가원스러웠던게 뭐였나용
첫번째 댓글의 주인공이 되어보세요.