[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
마르무시!!!!!!!!! 0 0
사랑한다 시발!!!!
-
가나다군 차이가 뭐에요…? 1 0
유학파라 한국에서 입시를 제대로 치뤄본적이 없는데 가나다군 차이가 뭐죠…? 군별로...
-
오예 이제 시급 1.5배다 0 1
라끼얏호우
-
이프사에고뱃진짜잘어울리는듯 8 0
진짜최고야
-
근데 오르비에서 만난 사람이랑 연애를 한 기록이 실제로 있음? 6 0
갑자기 궁금래짐
-
몬생겨서 솔로라고 생각하지만 0 1
밖에 돌아다니는 커플들 아니 주변 친구들만 봐도 그저그런 얼굴이나 솔직히 조금...
-
내적친밀감 쌓인 오르비언 있음 17 2
ㅇㅇ
-
미적분 뉴런 HELP 1 0
미적분 ㅈ밥 문제집좀 풀다가 이번에 마플교과서 끝났는데 수분감 step0만 풀고...
-
홀붕이 주장 캬 0 0
홀란드 사랑해!!
-
챔스 ㄱㅈㅇ 0 0
뉴캐슬 이기고 4위ㄱㅈㅇ
-
유치원선생님 꼭 하고싶었는데 이번사건때매 인식 나락으로 박힌거같고 안그런사람도...
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다