수학의 완전성 증명
게시글 주소: 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
반수생인데 시발점 개정들어야하나요 전거 들어야하나요 ㅠㅠ?
-
장점 경제가 사문같은 주류과목보다 수완 정가 1천원 쌈ㅋㅋ (사문9500, 경제...
-
시험기간 도피 겸.. 저번에 아는 동생이랑 대화하다가 "토목 땅파는 과 아님?"...
-
이렇게 밸런스를
-
미적 과탐이 ㅈ되는 이유는 확통,사탐보다 상대적으로 어려운 문제를 냈는데도 미친...
-
아쉽지만 덕코 뿌리고 탈퇴할게요 10 0
08년생이라 내년에 다시 와볼게요 어차피 아무도 모르는 듣보겠지만 오르비 시간 너무...
-
Fim 248해설 0 0
모르는거있으면 질문주세요 사진 더크개햤어요
-
돔황챠? 2 1
가?말아?갈까?말까?ㄱ?ㅁ?ㄱ?ㅁ?ㄱㅁ?ㄹㅈㄷㄱㅁ?
-
포만한에 식물 전도하기 2 2
으흐흐
-
평가원 국영수 6모 총평 2 4
"내가 내면 기출이야 이새끼들아 ㅋㅋㅋ" "꼬우면 네가 내든가"
-
잘자요 1 0
술 마셔서 졸리다
-
화작 미적 생1 지1 0 1
ㅎㅎ
-
확통 기준으로 수완 실모 난이도로 나오면 1컷 올라감 내려감?
-
가요이같은 여친 기원 0 0
-
제발 그거 저 주시면 안될까요?
첫번째 댓글의 주인공이 되어보세요.