수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
다들 높네 5 0
.
-
본인이 오티에 입고가고싶은 옷 골라봐 16 1
1.비키니 2.티셔츠 3.안입고가기 4.가터벨트
-
롤 5 0
.
-
. 6 0
.
-
아 여자로 태어나고싶다 5 0
다음생엔 ㄱㄴ?
-
옯붕이들 굿밤~ 1 0
오늘은 어제보다 더 나은 하루를 살아야지 다짐하면서...ZZZ
-
이정도면 과외 수요 있을까유 1 0
현역 국어 화작 백분위 50에서 재수 언매 백분위 95 원점수 91점까지 올렸는데...
-
악몽꿨떠 2 0
나랑 같이 잘 사람 ㅜㅜ
-
ㄹㅇ너무못생긴 옵붕이 특 6 1
너무 못생긴 나머지 사진을 안찍어서 ㅇㅈ메타에 올릴 사진 없음 또한 너무 못생겨서...
-
서강 예비번호를 알고싶다 0 0
크아악
-
3모랑 수능이 난이도 차가 심한가요 10 0
각잡고 시간 딱 재서 푼적이 없어 둘의 난이도 차를 모르겠는데 크게 차이 나나요
-
체험가보게
-
대학교 끼리 싸우면 14 0
누가이길까 사관빼고 ㄹㅇ 그냥 대학내에있는 모든 도구사용해서 누가젤쎌까
첫번째 댓글의 주인공이 되어보세요.