수학의 완전성 증명
게시글 주소: 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 0
성적표 나와서 그런가 ㅋㅋ
-
솔직히 -8부터는 확통,기하하고 막 큰 차이나나 잘 모르겠긴함 항상 26번까지는...
-
재수생 6모 성적표 인증 16 2
탐구 올려올게요
-
언미물1지2 98 98 98 99 자전은 조금 위험하겠죠?
-
이거 의대 되나요 6 0
6평 성적 원과목 98 99 1 98 100 수능에서 이정도 받으면 의대...
-
판단 지렸음
-
연경 ㄷ 고경 9 2
-
미적 84 어떻게 되나요? 6 0
공1 미3인데 1컷인가요? 아직 성적표를 못 봐서....
-
다른 친구들 스트레스로 발작일으키고 미쳐갈때 고고하게 수능이랑 연결점있는 수학1...
-
6모수학 공통2개 기하4개 (공통1개틀린건 심지어 계산실수)틀려서 기하버릴려고하는데...
-
평가원 메일 안읽음 ㅋㅋ 4 0
현장가는게 더 빠를듯
-
반수생 6모... 8 0
동국대 가고싶어요
-
6모여서 그런가.. 4 0
07이고 이번에 처음 평가원 모고 치뤄보는건데, 아직 6모여서 그런지 N수 체감이...
-
인생망한듯 1 3
시험봤음. 공부 안했지만 개같이 멸망하니 기분은 안좋고 앞으로 등급올려야 한다는...
-
쌍사 만점 ㅇㅈ 30 7
-
화작 3컷이 몇점이에요?? 9 0
저 83인데..
-
아니 생각해보니까 밑에 문단 수정돼서 추가된거임 22 6
그냥 순수하게 나 긁으려고 한 거라 그냥 뭔 반응을 해야할 지 모르겠음.
-
성적표 ㅇㅈ 4 0
수학 계산실수 ㅈㄴ 아깝네 하
-
성적표인증 10 3
첫번째 댓글의 주인공이 되어보세요.