수학의 완전성 증명
게시글 주소: 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달째 ㅁㅌㅊ 5 0
최고기록이네
-
커뮤 많이한게 오히려 좋았던점: 11 2
n년동안 씹덕질 관련 교?양이 쌓여서 현실 친구가 뭔가 덕질하는게 있다고하면 그...
-
재수 절대하면 안될거같은 성적표 20 1
의외로 영어랑 탐구가 안오름
-
그냥 돌려서 잘생겼다고 말하더라 실제로 나존잘인데 직접적으로 잘생겼다고 못들음
-
여러분 한마디만 할게요 11 0
사랑해요 솔직히 요즘 너무 예민보스되어가는 것 같은데 이거 방법 없을까요
-
그건 바로 고목-함세덕 월북한 좌익작가의 지주계급을 비판하는 작품? 이건못참지...
-
조심또조심합시다
첫번째 댓글의 주인공이 되어보세요.