수학의 완전성 증명
게시글 주소: 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
호호
-
27살 이런분이 x맨해도 못알아볼거같은데 존재한다는걸 확실히 알고들가는거라
-
노베입니다. 사탐런, 사탐
-
혹시!!! 재수생 수능 성적표도 고등학교 담임선생님께서 확인하실 수 있나요?
-
처참한 점수로 어디든 가야겠기에 적성 상관없이 넣었는데요..둘다 과는 모르겠어요....
-
김허수 올때 신드라/카타리나/조이/이렐리아 이거 넷중에 하나는 꼭 들고와야해...
-
아 진짜 못한다 3
도란 기대한 내가 밉다 걍
-
ㅋㅋ
-
좀 오바겠지?
-
이거 진짠가요 1
ㄹㅇ 모름
-
글쓰기 귀찮다 1
뻥임
-
미적분들을 예정입니다..
-
술냄새남?진짜 어이없네
-
일반불닭이 없는데 10
까르보불닭에서 까르보가루만 빼고 개조가능한가요?
-
69명뽑는데 1,2차 합쳐서 18명 중대 건환플 미컴은 1차 1명 ㄷㄷ
-
오리 3
-
남르비 여르비 판별법 28
소변기 1 2 3 4 5 있을때 1번에 사람 있는데 다음에 4번 들어가면 때리고싶은지 물어보셈
-
시간뜨는건안된다..
-
시대 신관 2
반 편성 어떻게 되는거냐 신관 배정 받으면 무슨 반임??
첫번째 댓글의 주인공이 되어보세요.