수학의 완전성 증명
게시글 주소: 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 0
현재 사문 노베에서 6모 때 백분위99 맞으려면 하루에 몇시간 공부해야 하나요?
-
옯스타 맞팔 하실래용? 3 0
@jxoooxe 이글쓰려고 만듦
-
-
노래 잘 부르고 싶다 4 0
저음 노래도 잘 못 부르겠어
-
갤탭시발아 11 0
3d뮤비도 아니고 2d뮤비만 틀었는데 끊기면 어쩌잔거니
-
월세 빼는법 5 0
자취방 급하게얻었다가 학원바꾸고싶어서 1일 사용했는데 계약기간 다 채워요하나요
-
인강 듣는다고 성적 오르는 거 아닌데 11 3
인강에 목매는 사람 많네 000 안 들으면 1등급 못 나와요? 이런 질문도 꽤 있고...
첫번째 댓글의 주인공이 되어보세요.