수학의 완전성 증명
게시글 주소: 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를 선물하세요.
-
저도 무물 9 0
없으면 걍 삭제함
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
이상한 메타 되는 거 같으니 10 1
도망감
-
스카에 몇시 까지 있을까요? 0 0
사실 굉장히 피곤하긴 한데 해야 할게 남아 있어서요 몇시까지 있을까요?
-
아아먹고싶은데 0 0
얼음이 없네 ㅜ
-
술 마시고 싶다 0 0
그렇지만 참기로 했다
-
눈이 온다고...? 1 0
(?)
-
직전글 졸업하고 교대갔다 마지막 글 1학기 끝나고 반수해서 교대갔다 ㅋㅋㅋㅋㅋㅋㅋㅋ
-
원서접수 졸업증명서 제출 7 0
원서접수 사이트에서 추가로 졸업증명서 내라고 뜨는 걸 오늘 확인했는데 다른분들도...
-
투데이가 이상한데 0 0
내가 글을 많이 썼나
-
무물보 30 0
해봄뇨뇨없으면 칼삭
-
영남vs 계명 7 0
밤늦게까지 고민합니다 서울살고 서울에서 수련받고싶은데 영남의 계명의중 어디가...
-
2차로 하이볼 마셔야겠다 0 0
추천좀
-
나 술주정알아냄 6 1
술먹으면 자꾸 왼손을 비트네 틱마냥 왜 맨날 술먹을때마다 손목이 아픈가 했더만 걍...
첫번째 댓글의 주인공이 되어보세요.