수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
연세대 레어 사게 80만덕만 주세요 17 2
-
덕코 기부 받아요 2 0
내놔
-
오늘 옯평 상태가 왜 이럼 2 1
너무 높아서 못따라가겠음
-
수학국어 조교들 차이가 있는듯 9 2
확실히 강민철 조교들이 말귀를 잘알아먹는거같음 수학강사 조교들은 큐앤에이 답변...
-
-
오르비Ai 0 1
-
비상경문과 취업 7 0
얼마나어려움
-
아니 나머지 다풀고 15분동안 박았는데 못품 내 적백 ㅆㅂ
-
근데 다시 빠지고있음
-
가장 강력한 무기는 3 3
네 신념이야
-
이해원n제 난이도 4 0
낮1인데 이해원n제 시즌1 or 시즌2 or 설맞이 or 그외 추천해주세여 (공통...
-
궁금한 점 8 1
유튜브 보다보면 ’이 커리로 공부해서 이 대학(주로 스카이+메디컬)왔다‘ 같은...
첫번째 댓글의 주인공이 되어보세요.