수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
뱃지 체크 1
어 없는게 정상이야
-
재수생인데 한지가 안맞는거 같아서 전향하려합니다. 정법은 2학년 때부터 3학년...
-
삼장좋아햇어 근데 갑자기 흑화한거보고 좀 충격먹었긴한데 개인적으로 마녀가...
-
울산대는 뭐지 2
얘네는 교수가 노쇼했나 그거아니면 무조건될텐데 원대는 저번에도 노쇼했으니 울,원은...
-
모고는 항상 4 뜨는데 뭐가 더 나을까요? 현역입니다
-
2001 2002 2004 2010 2012 2017 2019 14년 전에도 ㅈ됐던...
-
제가 23년도 1학기까지 A대학을 다니다가 2학기부터 군휴학 한다음에 25년도...
-
왜난공부를안하지 0
간절하지 않아서인가 와닿지 않아서인가 3모 봐야 위기의식과 경각심을 좀 느끼려나
-
-
학교 맞나요? 단과대 ot도 그날 있던데 학교에 모였다가 버스타고 새터장소 가는건가요?
-
공사하느라 늦나?
-
안 싸우려고 노력해야지 도망갈거임
-
같은 학교라 팔로우 보냈더니 맞팔해주심 학원질문 했더니 겁나 친절하게 답변해주시네 ㅎㅎ
-
원래 이상형이 0
담배안피고 연하인 작고 귀여운 사람이었는데 이제는 귀엽기만 하면 되는듯
-
그 2
-
안돌앗다는건가??
-
흐름이 ㅈㄴ 중요함
-
25수능 미적 15 20 21 22 27 28 29 30 틀로 4인데... 커리를...
-
공부..해봐야지 3
큰 도전임
-
저녁 먹고 아침 먹기 전까지 단식함 왜냐면 자느라
첫번째 댓글의 주인공이 되어보세요.