[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이름부터가 반수인데 0.5로 치면 안 되나
-
꼬리 흔드는거 하아...
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
기차지연된다 3
큰일났나?
-
배찬승 << 경우의 수 없음?
-
다음 프사 4
루시다음 닉 ㅁㄹ.
-
낮에 ㅇㅈ했음 13
님들도 ㄱㄱ
-
ㄱㅁ 8
ㅛㅣ
-
초딩 졸업사진 12
잘 안보이는군
-
원신 일퀘해야지.. 11
할건해야지..
-
포항공대생들이 서카포/연고 이런식으로 케이크 자르듯이 나눌 때 그리고 서성한...
-
히히 선뎀 여러 개 받아서 한 40분씩 디엠함 이게 문과지 ㄹㅇㅋㅋ
-
ㅇㅈ하라해서 함 13
본거 또보고
-
냥 반도체 목표인데 19
이름이 냥도체이신분이 있음ㅋㅋㅋㅋ 그분이랑 친구하고 싶다 ㅠㅠㅠ
-
난 지금 학벌에 되게 만족함 수능 치고는 과탐 3 나오는 주제에 사탐 안 한게...
-
나는 우리 빛밖에 기억이 안나는데
-
키빼몸 106이면 ㅈㄴ 좋을 듯
-
내가 전에 고연대 다니는 여자는 못만날거같다했는데 16
이제괜찮을거같아
-
5초도 쫄림
-
어 형이야 ???: 난 수학 전체 1타가 목표에요
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다