수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
우리가 하는말이 장난으로 들려??
-
옯컹컹컹 13 2
&(&(&(&&@@###*%*^$$ 챱챱챱
-
ㅁ프ㅓ,ㅑㅏ찌ㅒㅖ >":?/;.마ㅡ,ㅑㅣoswjfdeu8 9rvc 14 0
jisrfdegktolup;9/'gijolp0;/srw8um9kjsimkgreflo;...
-
님들 저 몇 15 0
살같아ㅇ
-
와퍼먹고싶다 13 1
ㅋㅋㅋ와퍼진짜맛잇는데감자튀김도같이먹고싶다.수학2개재미없다수학2를해야하는걸까수학2한문제...
-
강기원 스1 0 0
강기원쌤 미적 스1 언제 끝나는지 아시는 분 있나여?ㅠㅠ
-
님들 단발 중단발 장발 13 0
저는 중단발이긴합니다.
-
술템포 ㅈㄴ 빠르네 0 0
씹련들 탕수육 ㅈㄴ 어렵노
-
바이 바이 바이시클
-
대성 디아카이브모의고사 6 0
등급컷 믿을만함?
첫번째 댓글의 주인공이 되어보세요.