[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
뭐 붙긴 할거니까..... 이미 인과계 최초합하기도 했고...
-
존잘 인정 ㅇㅈㅇㅈ
-
결국 나는 수능망한 N수생일 뿐인 것을 그 누구도 패배자의 변명따위 들어주지 않는게 세상의 이치
-
고3되고 인강 문제집을 너무 막 사재껴버림.. 그 강사가 나랑 안맞을수도 있다는걸...
-
열심히 살아보자..!
-
못 받는 거예요?
-
이 국어 평가원 문제 오류 아님?? 피램풀다가 의문 8
선지 1번이 적절치 않은건 인정ㅇㅇ 선지 2번에서 모방론이 대상을 재현하기만 하면...
-
입을 크게 벌려야 사진을 찍는데 제가 잘 못 벌려서 힘들어하시네요 스케일링 해야할거같대요
-
맛있다
-
살기싫다 시발 12
죽는 건 왜 무서운 걸까
-
필수본 듣고 기출문제 푸는데 빗면유형이나 역학계 상황 문제들은 풀어보려도 해도...
-
인서울이라 함은 1
어디까지 인가
-
싹다 입찰함
-
산업공학과 현재 2번 이거 빠지나요
-
봄인가보오
-
미적 4번째고 실전개념 이해원n제 빅포텐 드릴(하는중) 정도 했습니다 박종민t...
-
잠실 애니메이트 오픈일입니다~
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다