괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇ.
-
교사가 1월 세후 900 ㅋㅋㅋㅋㅋ 구라도 적당히 쳐야지 9
직장인 기준 세후 900이면 세전 1250인데 교사는 공무원연금이든 사학연금이든...
-
지금 미미미누 n수의 신 나가려면 어떻게 해야하는걸까 8
수능만점 아니면 걍 못갈거같은데
-
술마셔도됨? 4
재수하는데
-
지금 N=2인데도 지겹고 힘든데 ㅋㅋㅋㅋ 저건 ㄹㅇ 어케하는거
-
다 봤으면 이제 가셈
-
첨에 봤을 땐 그저 그랬는데 착한 게 보이면 갑자기 예뻐보이고 눈길 감
-
근데 어지간하면 반수 안 하고 행복하게 사는게 좋아 13
세상에 행복한 일이 얼마나 많은데 고통 속에 몸을 집어넣어
-
당연한소리
-
연고 서성한 문과라는 가정하에
-
동생 일본갔는데 9
이색기언제오냐..
-
원과목 최상위권들 투과목런 ㅈㄴ쳤음 지금
-
부산 해운대 사는데.. 가까운 러셀이나 재종 가서 다같이 쳐보고싶은데 혹시 신청해서...
-
코와이데스네 0
토키노나가레가
-
9,10밖에 안쳐보긴 했는데 늘 30점대였음 자존감박살범인
-
ㅅㅂ 나도 알고싶지 않았음
-
내가 봐왔던 모의평가 학력평가 사설 모고 얘네가 진짜 무슨 의미가 있는건지 싶었음...
-
오빠 계란말이라니까 무슨 계엄이야
-
그냥 독서 좋아하시면 보시면 좋을수도 있고
-
1년차 교사는 9호봉이다. 20년차 교사는 29호봉이다. (1급 정교사 연수 후...
-
차피 허상에 가까움
-
대학간 사람 대상으로 반수 유무 조사하면….
-
공대 순위는 0
설높 설낮 카 연고높 포 연고낮 한양높 성높
-
묵묵히 재수 꾸준글
-
4수시!발 3
으악
-
시발점으로 개념 뗐고 현재 쎈, 기생집2,3점 중인데 쎈은 B단계 60%맞는...
-
내가 전에 고연대 다니는 여자는 못만날거같다했는데 16
이제괜찮을거같아
-
나도 덕코 줘 9
덕코흡수법!
-
클레이튼 교수 하는중
-
ㅇㅇ
-
언미영물화 백분위 92 98 1 83 90 인데 os반 무리일까요??ㅠㅠ
-
닉변완 7
사랑해 고려대학교
-
지유디 중에선..
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
진짜 내일 못일어날듯.. 머리가 반으로 쪼개질거가타ㅠㅠ
-
걍월례때만올게요 4
ㅈ같은감종존파시켜서 ㅈㅅ함 모두들 행복하세요
-
어 ㅇㅈ
-
부모님이 강대강사라는 친구가 문이과통합입결상 대충 저렇다고 주장하는데 팩트인가요?
-
아냐 너도알잖아 그 점공에서 안빠질수가 없다는걸 합격할거야
-
제가 국어를 거의 공부를 안해서 기출도 잘 모르고 그냥 숙제여서 개체성 지문...
-
야 1
구 보고 싶다
-
놀랍게도 아무도 접지 않았다
-
합법적으로 말 깔 수 있잖아
-
싱글벙글 들어온 너님 30까지 모솔 아다 ㅅㄱ
-
빡대가리라 대화하다가 나 스스로 무덤팔 듯
-
옆에 여자에 손가락 강제로접기
-
선배가 없어서 그런가
-
주량 좋은데 맛없다고 느끼는 게 진짜 재능인 거 같음
-
애매한태도
-
국어는 언제 하는게 좋을까요? 뭔가 오후에 국어하기엔 수학 해야해서 시간이 아까워요
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함