수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
본계는 스토리 많이 안올림.. 그냥 디엠 답장하거나 현생 생존신고용
-
과기대는 어느 라인인가요? 23 0
건동홍 아래 국숭세단 비슷 광명상가 위 이정도인가요?
-
최우제 ㅈㄴ 잘하나보네 8 0
하 진짜 4월까지 롤 안볼거임
-
캬
-
으헤헤 3 0
쵹쵹 으흐흐흐흐ㅡ 팟팟크흐 끼이이ㅣㄱ 힣 퍼ㅓ아이이ㅔㅇ 푸우우우으ㅡㄱㄱㄱ
-
근데 진성 옵창이 큐브 하다가 특정되는 경우도있음? 6 0
전적대 현적대 전부 까이고 거의 하루종일 오르비만 하던 사람이면
-
과탐 가산 좀 크다는데 과2하기엔 반수라 시간부담이 클거같음 작수 과탐 ㅈ박기도 했고..
-
본계 인스타를 안씀 2 0
ㅇㄱㄹㅇ 부계만 씀 거의
-
일주일만 한과목 찍먹해보고 작수 풀어보고싶은데
-
본인이 취업을 중시하는지 위치를 중요시하는지 고시를 중요시하는지 등등 에따라 본인...
-
정치인 딸로 태어나서 5 1
잘생긴 성인 남자 아이돌한테 수치심을 줘보고싶다 ㄹㅇ 도파민 폭발
-
아이고 7 0
왜 장바구니에 안담기는거지 머리아프네
-
불합격인데 합격증이 왜나옴?? 9 2
합격자 명단에 없고 불합격인데 합격증 나오고 pdf로도 저장함 뭐지 개꿀잼 몰카인가
-
ai 얼평 5 0
-
인생계획 2 2
20대 군대 가고 대학 졸업하면서 돈 5억 만들고 일본 워홀 30대 일본인과 결혼후...
-
나 투데이 왤케높음? 9 0
뭐 딱히 한거없는데...?
-
공부 시작 2 0
생2 수특 돌리러 ㅃㅃ
첫번째 댓글의 주인공이 되어보세요.