수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
17명 뽑는데 예비 42등에서 28등됨 즉 14명 빠진거임 9차까지 있는데 이거 될까??
-
내 윗글 나랑 옯만추 0 0
ㅇㅇ
-
대치 시대 9기로 들어갈 예정입니다! 1. 급식 먹을때 자리 불러주는 순서로...
-
내윗글나랑키체인지 0 0
ㅈㅂ
-
ㅇ 0 0
ㅇㅋ?
-
아 잘잤다 1 0
8시간 기절했음ㅋㅋㅋ
-
네 0 0
네
-
일주일에 한 번 실모 9 0
예비고3 내신러인데 과외하는 선생님이 일주일에 한번씩은 실모라도 풀어보라고...
-
존나 짧으니까 내말듣고 평가좀 6 0
p=거짓 "p->(모든명제)"=참 즉, 거짓으로부터 모든명제를 증명가능
-
난 견딜 자신이 없음
-
건대 ㅋㅋ 2 2
생각보다 예비 개안돌아서 ㅈㄴ 당황한 건대호소인들은 개추 건대 건국대
-
ㅇ 0 0
ㅇㅋ
-
경희대 영어 얼마나 빠짐? 3 0
미칠거같네
-
므왕 0 0
먕먕먕?
-
유우하고 미코 라인도 방영해야지!!
-
아 2 1
갑자기 슬퍼짐 울고싶네 아
-
헉 0 0
키가..
-
17명 뽑는 학과 0 1
17명 뽑는 학과 첫 발표때 예비4번이였는데, 1차 추합 발표에서 예비2번이면 애매한 건가요?
-
와 연대 행정 예비 7번인데 2 0
1차추합으로 6명 나갔어요 저 붙을수 있겠죠..??
-
새대가 오틴가요? 3 0
뭐 줄임말이지?
첫번째 댓글의 주인공이 되어보세요.