[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이미지 써드림 60
자러가기 전까지
-
저도 이미지 적어주세요 29
감사합니다 (_ _)
-
이미지 써준다입니다 38
지금 이미지 그냥 바로바로 생각나는 거 적을거니까 화나도 참아주세요
-
이미지써주세요 22
부탁드립니다.
-
나가아니고 너
-
나도이미지써줄게 28
이미지 써드림 그냥 직설적으로 꽂아버릴게 상처받지는말고
-
오르비랑도 그런사랑을하고싶어요
-
자기전 찐막 ㅇㅈ 18
-
진짜로
-
17개월구라아님
-
오르비 잘 자! 20
오늘 일 가야 하니까 최대한 빨리 자야지 다들 좋은 꾸세욥
-
걍 엄마랑 쇼부볼까 열심히 살테니까 담배 피는거 허락해주라고 차라리 금딸이 쉽겠다
-
맞현생이미지 예측 11
-
흠
-
나중에 수능망해서 거기보다 안좋은곳 가게되더라도 붙었는데안간거랑 떨어져서못간거랑...
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다