괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
고대 교류반에서 수시지원처럼 연대 여자애 4명한테 잘 들어갔어? 라고 보낸 애가 있다고 함
-
저 사람 오르비한대 ㅋㅋ 아 저사람이야? 쟤는 맨날 혼자다니더니 오르비를 아직도...
-
그냥 쉬고 싶음 영원히
-
뭐먹찌
-
아님 말고
-
김도영 햄스트링 부상온게 김휘집이 공 못잡아서 그렇다는 식으로 말하네 ㅋㅋㅋ...
-
난오늘과방에 6
전)고닉분이랑 같이있다왔는데 근데 서로 잘 못알아봐서 말을안걸음
-
그러니 난 내 길을 가련다
-
나는 8
공부도 못하지는 않아서 다행이야
-
동일한 전형 기준 경험상 시장가치가 저정도로 기울어졌다
-
홀라훌라 SKK
-
외모,지능,성격 7
딱 1개라도 평균만 됐어도 이렇게까지는 안됐을듯
-
나처럼 클린하게 살았으면 그럴걱정 없자나
-
라면먹고잘래 2
네!
-
재수할때가 좋았었는데 10
그땐 몰랐지 사실 그때도 알었음 ㅋ.ㅋ 재수 재밌게 했음 번아웃 씨게 온다 그것도...
-
개인적으로 응원가 순위 17
민족의 아리아>포에버>들보기>하늘끝까지>연세여 사랑한다
-
현실에 알려지면 사람들이 이상하게 볼.. 그런글요 갑자기 걱정되네요ㅠ
-
찾아올거야
-
자.살
-
털엇음
-
ㅇㅈ 1
. . .ㅌㅅㅌ
-
시대 기출을 풀다 서킷 6회를 풀다
-
내신때는 풀집중이라 안보이는데 모고칠때마다 옆에 다리떠는애있으면 ㄹㅇ 집중이안됨
-
우리가 원탑인듯 ㅇㅇ
-
이번주에 미팅2개잇음 11
다음주에도 2개임 이번엔 내 여자친구를 찾을 수 있겠지
-
그래서 커뮤를 악마화함 대중들이 뉴스가 하는 말만 믿도록 라고 댓글달고있었는데
-
(군대를 가며)
-
쉽지는 않았다는건데 쉽다는 평이 왜 많았을까
-
우리 수에 수특만 풀고 3모 84 뜨는 애가 있는데 얼마나 천재임?
-
이제 성공적으로 순공시간을 확보할 수 있겠어
-
현생이 ㅈㄴ 꿀잼임
-
두원공대면 ㄱㄴ?
-
김과외 연락 되게 잘옴 대충써도
-
썸녀 5
SUM i=1->n 녀(i) = 녀1+녀2+녀3 ....+녀n
-
네
-
진짜로 수도권 마사지라는게 존재하는거같나요 부모님 1~2주에 겨우 한번씩 보는데...
-
나만 모솔이군 4
-
썸녀썰 11
-
안녕하세요. 2027수능 준비하는 수험생입니다. 제가 2025년 11월에 군대에...
-
진짜 순수 노잼이네
-
연대 상경쪽 다니는 친구놈 연의 50프로 그거그대로 믿고있네 ㅋㅋ
-
행복의 역설임 2
행복에 다가가는것도 너무 힘들고 우울하지만 그냥 하는거지.. 그냥 내가 바라는 내...
-
나지금일어나또헤헤
-
곧 시즌이끝나니 원통하구나
-
하나의 한양 6
한양대는 오직 하나만 존재합니다.
-
더프표점꼬라지보소
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함