[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아ㅏㄴ돼......ㅠㅠ
-
쟤가날갠소
-
와 진짜 ㅈㄴ 많네 미루면 지옥이구만
-
작년에 조건 충족해서 성적표 제출 했는데 언제쯤 환급 들어올까요?
-
키빼몸 94 응 나보다 작은 사람 없어 ㅋㅋㄹㅃㅃ
-
님들저한테 11
많관부 ㅎㅎ
-
갑자기 궁금해지네
-
아이고 디다 0
드디어 씻고 누웠어
-
이제 그만좀 하세요..
-
재수생 수학 4등급입니다 일단은 한완수를 풀고있는데 사인법칙을 이용한 도형문제가...
-
-
작수 222(89)31 언미물1지1 입니다 반수로 물리 처음해서 3이라 1까지...
-
●교육과정 변동에 따른 문제 성립 가능 여부는 직접 확인하시기 바랍니다. ●문제,...
-
퉆 안 해주면 푸앙푸앙 울 거임뇨
-
그냥 그런느낌이 야시꾸리하게 든다
-
오르비 비갤 4
그냥 다 오르비언같음 너무 당연한건가? 걍 이걸로 저격하자 나처럼 저격도 당해보자 나처럼
-
조선치 추가모집 9
12112면 넣어볼만 한가요?
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다