괴델의 불완전성 정리 반박+a
게시글 주소: https://orbi.kr/00072540180
불완전성 정리란?
제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.
제2정리. 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
불완전성 정리 요약
B="페아노 공리계를 포함하는 어떠한 공리계"
제1정리. B는 무모순인 동시에 완전할수 없다
제2정리. B가 무모순이면 B로부터 B자신의 무모순성을 증명할수 없다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
준비물
모든 논리체계는 명제논리로 나타낼수 있다
명제논리는 무모순성과 완전성이 증명되어있다
명제논리의 무모순성을 증명하는 논리체계 역시 명제논리로 나타낼 수 있다
이말은 명제논리로부터 명제논리 자신의 무모순성을 증명할수 있다는 말임
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제1정리 반박
B는 명제논리로 나타낼 수 있다
따라서 B는 무모순이고 완전하다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제2정리 반박
B는 무모순이고 완전하다
따라서 "B는 무모순"는 참
B를 명제논리로 나타낼 수 있다
명제논리로부터 명제논리 자신의 무모순성을 증명할수 있다
따라서
B(명제논리)로부터 B(명제논리)자신의 무모순성을 증명할수 있다
"B는 무모순" and "B(명제논리)로부터 B(명제논리)자신의 무모순성을 증명할수 있다"
위 명제가 참.
따라서
B가 무모순이면 B로부터 B자신의 무모순성을 증명할수 있다
가 참
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
결론
1. B는 무모순인 동시에 완전하다
2. B가 무모순이면 B로부터 B자신의 무모순성을 증명할수 있다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
괴델의 문제
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
완전성 증명
1. (Not A->모순)->(A의 증명있음)
2. (Not A->모순)<->A
3. A->(A의 증명있음)
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
공리의 실체
1. (A가 거짓->모순)->(A의 증명있음)
2. (A의 증명없음)->(A가 거짓 and 무모순)
3. (A는 공리)->(A의 증명없음)
4. (A는 공리)->(A가 거짓 and 무모순)
무모순=참
5. (A는 공리)->(A가 거짓)
6. (A가 참)->(A는 공리아님)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
가격 ㅈㄴ 웃기노 ㅋㅋㅋ 이투스가 메가에 독을 뿌렸다
-
박사 안 할 거면 14
연고대나 서성한에서 서울대나 카이스트 오는 거 진짜 시간, 돈 아까움 물론 PhD...
-
여캐 생긴게 귀여움 유산소하면서 40분정도 본게 전부라서 내용을 잘은 모르갰는데...
-
언미영경사 100 84 98 42 44 무보 보 둘다 예상좀
-
수1수2 노베인데 인강 하나 끊었는데 다른 인강으로 바꾸고싶은데 3
바꿀까… 내가 지금 인강을 선택한 이유가 짧기도 하고 노베한테 좋다고 해서 샀는데...
-
팟팟 1
휘익
-
헬스하고싶어요 11
헬스메이트야 언제오니
-
현역 고3인데요..수시 준비하는 김에 정시도 같이 준비하려고 사문 윤성훈으로 하고...
-
고수가 된 기분 하지만 난
-
공부 귀찮다 2
귀첞다 국어 수학만 이따 좀 할까
-
카캬 임박해서 결제 + 황금연휴라 좀 비싸긴 함 피치 5/4 출발 5/5 도착 1박2일 43만원
-
자이스토리 최대한 빨리 끝내고 싶은데 짝수번만 풀어도 큰 지장없을까요?? 참고로 고2입니다
-
-
물1, 화1이 개꿀임 하방이 탄탄해요 적은 노력으로 높은 성적을 얻길 원하신다면 물1화1
-
롤 같이 할 사람 14
- 디코 하는 사람 - 라인 어디든 상관 없긴 한데 잘하는 정글러 우대
-
넥타이도 은근 유용하게 사용되고 교복 좋아
-
왜 기피하나요?
-
근데 교복 안입는 애들 학년에 많아야 10명정도 같더라구요
-
rnp만 들어봤는데 뭔가 독서가 잘맞는다 느끼진 못했어서 브크 듣는거 고민중인데...
-
가보자 가보자 ㅋㅋ
-
영단어장은 2
그냥 마더텅 검은책에 있는 기출단어 모아둔거로만 해도 상관 없을까요? 아니면...
-
돈 낭비;;
-
레전드07 0
오늘은 휴무입니다~
-
이름/주소/오르비아이디및비밀번호 각 7만덕에 삽니다
-
레어가 많아져 3
이쁜이들이 많아져 흐흐
-
해져서 버린지 오랜데
-
히히 1
방구 뿍뿍
-
하
-
-
막상 또 이러면 어쩔 수 없네
-
분신술 4
보여줄까요
-
근데 솔직히 5
화1 일주일이면 복구 다 돼서 정상화 되면 다시 할 사람 있는 건 사실이잖아
-
쭈꾸미볶음도..
-
집에 0
시계,이어폰 다 놓고 와버림 ㅅㅂ
-
가장 멸망한 과탐 투표 12
유경험자분들 먾은 투표 부탁ㄷ,립니다
-
교복 스타킹.. 7
-
내일은 월요일 0
월요일 1교시 쓰읍..
-
언88확88영98생윤50사문47 등급예측도점부탁드립니다ㅠㅠ
-
요즘 고민중인것 19
삼성라이온즈몰에서 바람막이 같은걸 샀는데요 내일 학교갈때 입으려는데 안에 뭐입고...
-
https://link.yeolpumta.com/P3R5cGU9Z3JvdXBJbnZp...
-
1000덕 모금합니다 13
진짜 주실 분만 사정상 못 돌려드림
-
지하철 탈 땐 내리는 사람이 먼저 내리고 타야되는거 아닌가? 폰도 안 보고있고...
-
방금 어떤 아저씨가 14
잘생겼다고해주심
-
저격) 당신이 내 풀이를 뒷북 수학처럼 느끼는 건 40
https://orbi.kr/00072547194#c_72561154 공부를 할 때...
-
3개하고 개놀람 근데 배에 힘 안주고해서 속이 이상해요
-
-
화1 4
69평 1나오다 수능 때 미끄러진 사람이 한 둘이 아닌데 다들 어떻게 하심?
-
영어는 참 효율적인 걸 좋아하는 것 같습니다. 긴 말도, 짧게 줄여서 전달하려는...
-
국어(언매) 93 수학(미적) 77ㅋㅋㅋㅋㅋ 영어 1 물리1 46 화학1...
-
생각 해봤는데 4
개씹근본 화생 조합을 해볼까? 죽어서 발견 될 거 같지만 흠.
첫번째 댓글의 주인공이 되어보세요.