수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
시대 재종 질문 2
시대 개강하면 과탐 투 강의 듣던데 개념부터 시작하나요??
-
대학커뮤니티 노크에서 선발한 성균관대 선배가 오르비에 있는 예비 성균관대학생,...
-
자퇴하는데 2주정도걸린다는데 추합기다리고잇어서 한개는 붙는데 미리 해야하나 대학 붙고 해도 되나
-
취소는 ㄴㄴ
-
김승리t 강의에서 시간 주고 풀라고 할때 항상 딱 맞춰서 풀거나 부족해서 푸는...
-
이따옴브리뉴
-
오늘 문자 올라나
-
인생업적 1
없음
-
입학처에 물어봐도 어물쩡 넘어감 ...
-
누가 언팔했냐? 2
기분도 안 조은데 하.....
-
반수할 생각인데 어디가 더 좋을까요?? 경기대는 3학점이고 가천대는...
-
수능시험장 같아서 만나버림
-
레전드사수생발생 0
그건바로나
-
아버지께서 성균관대가 옛날에는 야간대학도 있었다고 해서 궁금해서 찾아봤더니... 1
진짜로 2000년대 초반까지는 야간대학이 있었군요. 정확히는 2001학년도...
-
작수 평균 5등급이엇고 경북대 전자 목표하고있고 과탐 과목당 5퍼 가산점인데...
첫번째 댓글의 주인공이 되어보세요.