[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
정시 화작이들도 종종 있나요? 삼반수할건데 선택과목 고민돼서요 작년까지 언매에 개털려서
-
한줄로노래제목맞혀보셈 10
니니게그사그런사라미
-
진지하게 4
아다로 뒤질바엔 동성이라해도 하고 뒤질련다
-
https://orbi.kr/00072036300/%EC%8A%A4%ED%84%B0%...
-
고2 모고는 백분위 99계속 넘겻고 고3 모고 풀어보면 미적기준 1컷 근처에서...
-
이번에 수능을 다시 보려는 늦깎이 재수생입니다. 국어랑 영어는 어떻게든 영끌해서...
-
수시로 연대 온거긴한데 정시로 한의대 뚫을수 있을까요 이번 수능성적 보다 아마 꽤...
-
여기가..
-
성감대어려움 7
테스트
-
화이띵 0
-
기출 푼 상태고 걍 바로 엔제 드가고 싶은데 너무 어려울까요 뉴런 수강하고 엔제...
-
What's up, guys? This is Ryan from Centum...
-
동성 좋아하면 걘 이성애자고 이성 좋아하면 동성애자엿음 준나 빡친다
-
길을 잃었다 8
기숙사가 어딘지 모르겠다..
-
4차추합에 8명이나 빠졌는데 이후에도 성사과 연정외 등등 추합여력이 충분합니다...
-
성대 전전 추합 2
658 초반대 가능성 있나요? 성균관대,고대,한양대
-
설 재료 399.2 설 식영 395.7
-
현역 정시 3
어디까지 가면 ㅅㅌㅊ인가요
-
개떨려서 정신나갈듯
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다