[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
린이 기상했쪄 2
일어났쪄
-
분명 입결 상으로는 시대인재 표가 틀리지 않다면 건대의 우위인데 사람들 말로는 둘...
-
과외는 안할거고 수능도 안볼거고.. 진짜 애매하게 됐네 얘네를 다 어떡하지
-
오르비 잘 자! 14
좋은 꿈 꾸기
-
기상. 2
졸리다
-
이제 아침먹을때까지 쉴거임
-
건전한 영혼은 2
건전한 정신과 건전한 육체에 깃든다
-
저는 다른대학 갔다온사람이라 그냥 신입생들이고 아직 1학년이라 뭐 할수도 있다고...
-
아무생각 없이 가면 좆되는건 맞다만 생각이 조금은 있어서 자기가 원자력공 공부해도...
-
아 이거 정말 문제야 채팅으로는 사랑한다! 라랑래! 다 할 수 있음 17
말로는 못함 부끄렁… 유케 말로해.. 사랑 ‘해’ 라고 말해본적이 별로 없어 사랑한다라고많이하지
-
삼수선의 정리 3
회전으로 생각하기
-
진짠가? 예비 1번 추합 23년만이라는데-> 정정 18년만!! 역사를 쓰셨네 엄마 병원행;;;
-
밤마다 오르비에 떨치러 간다고 글 싸는 새끼들이 한둘이 아니었는데 왜 나에 대한 기준만 엄격함?
-
진자 뭔가 너무 힘듦... 견뎌야지
-
기하 몰라도 풀수잇습니다 상당히 좋은 문제긴한데 발상이 필요
-
오르비 안녕히주무세요 14
해뜨고 봐요
-
생명 김연호 선생님 가계도 부분만 들으면 어렵나요? 2
07 현역입니다.. 제가 2학년 내신 할때 한종철쌤 유전부분 스킬을 배웠었는데 제...
-
자*만지고추천누리기야 아니면 자고만남추구야 자연스러운만남추구야 자연스러운 만남은 또...
-
할복하기좋은날 2
날씨가좋구나.. 난 또 일해야하는구나
-
24수능 투과목 표점이 폭등했잖아요.. 그래서 많은 사람들이 25때 투과목을...
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다