수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
전적대에서는 330정도였던것 같은데 반수해서 국민대 미래융합(자유전공같은거예요)...
-
시대북스 배송 3
보통 며칠 걸릴까요?
-
??
-
뭐더라
-
맞팔해줘 4
응응 잡담태그 잘달아요 옯아싸에서 벗어나고 싶어..
-
-
다른 학교 추합 기다리는중인데 에타랑 단톡 들어가나요? 1
들어갈까 말까 고민중입니다
-
원래는 고딩때 일진한테도 할말은 하고 쓰레기 분리수거 잘하고 침은 꼭 휴지에 뱉고...
-
에피무스랑 프사 색깔 금색이신분들은 이상한 글 써도 댓글 많이 달리던데 저 같은...
-
약사라고 정형외과 전문의인 아버지가 그러더라 동네 병원에 둘러싸인 건물내 약국이면 명당이라고
-
ㅜㅜㅜㅜㅜㅜㅜ 7
-
설의 추합 2
ㅇㄱ ㅈㅉㅇㅇ?
-
대치에넣어놓고 기숙문자안온다고 찡찡대고있었네 ㅋㅋ
-
-
설의적표현 어떰?
-
저축 많이 하려하니까 돈남는게 없어
-
-
핸드폰 수거 불필요하단 애들은 걍 ㅈ반고를 앙가봐서 그럼 11
양아치들 맨날 몰폰해서 쌤 화내고 분위기 ㅈ창나는거 개ㅈ같음 수업시간에는 걷게 해야함
-
남자 30살에 취업하는거 제약 크나요? 너무 늦음? 4
ㅈㄱㄴ..
첫번째 댓글의 주인공이 되어보세요.