[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
방학이 없어요 히히히
-
역시꿀은첫해에 0
-
이야
-
그냥 보정을 해... 진짜 이런 사람이 왜 당당한지
-
으어 잘잤노 1
으어
-
다들주식하는구나 1
난 못하겠다
-
28수능 0
통합사회 1타 누가 될까?
-
시발련들아왜안떨어지는데
-
솔직히 4
킁은 레전드임요
-
조정장에서도 주가가 안 떨어져 ㅅㅂㅋㅋ
-
시발 아아앙
-
김승리쌤 2
EBS 분석 잘 해주시나요..? 국어 인강 누구 들어야할 지 모르겠어요
-
매개완으로 한달 컷 했는데, OZ는 신이다 물화생지 다 해본 사람으로써 지1은 개꿀통과목 맞음
-
학교마다 다른가..아
-
모솔특) 4
연애안해봄
-
50%이상 잃었으면 개추 ㅋㅋㅋㅋ
-
시발비갤아 1
야
-
올해 고3인데.. 겨울방학을 약간 망한 것 같습니다. 현재 수능 목표는 최저 3합...
-
강민철이랑 미미미누 닮고 미미미누랑 조정식 닮ㅇ음 ∴ 강민철 조정식 닮음
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다