[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
지융 사과 497 밑으로 가나? 11 2
오늘 붙은분들도 연고대 꽤 붙어있음 지금 498 밑으로는 사람 많이 없어서......
-
자마할 힐 뭔가 좀 짠하네 4 1
프로하스카랑 경기까지 패했네... 퇴장 장면 뭔가 좀 짠하면서 울컥함... 세상의...
-
번따 성공률 0% 0 0
주고 싶은 와꾸가 아님 그래서 번따 시도 안함
-
등록취소 '신청'됐다고 문자오긴 했는데 아직 승인도 안됐고 환불도 안됐거든요?...
-
조국의 영원한 고동이되리라
-
시발점이 필요한가 4 0
윽건쌤이 뉴런 기준을 25수능 19번까지 25분으로 잡았는데 나는 35분컷해서...
-
디지스트 떴네요 33 5
달구야 보고싶었어 뱃지내놓아라
-
윤도영 현강 가서 조교님들한테 0 0
공부법 이런거 학습상담 해도 되나욤.. 현여기라 조언좀 얻고싶어서,,
-
번따 해본적없음 0 0
번따 당해본적없음
-
공부가 어떻게 하는거더라 9 0
아
-
이 광고 대체 뭐죠 0 0
서울교통공사가 아니라 서울메트로로 되있는거 보면 꽤 오래된 광고같아 보이는데
-
사실 나는 조금 부러움 0 0
ㅅ뵷ㅈㅅㅈㅅㅈ
-
오늘 추합됐는데 ot 가고싶어여... 경제학부입니다
-
순애 0 0
개인적으로 좀 빨리 질리는 스타일이라 순애 어케하는지 모르겠어
-
국어 사설모고 <-각 지문은 은근 별로 사설틱하지않음 3 0
그 각각의 지문의 총합에서야 사설틱해 보이는게 더 크지 일단 문제유형들 평가원에서...
-
밥 머 먹지 0 0
배고프다
-
과대표하면 2 0
장학금주나!!?? 아니면 학생회 하면 주나?? 장점,단점있으면 알려줘요
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다