[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
미적분 3월안에 1 0
시발점+워크북만 끝낸거면 몇타치인가요 기하에서 미적으로 바꿔서 늦게 시작했어오
-
수학 기출분석 0 0
수학 기출분석 강의중에 어떤게이 가장 좋나요
-
-
제발 추합 가능성좀 부탁드려요!! 15 0
나군)명지대 자연과학대 39명정원 예비 80 1차 59-> 2차 47...
-
외대 원래 추합 잘 안돌아? 1 0
예비 3번 존버 실패하냐 이거
-
지융 사과 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
ㅅ뵷ㅈㅅㅈㅅㅈ
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다