[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
https://youtu.be/qP0dSxLOTEc?si=x_ra6jcLeM2gtFh...
-
ㅈ댓다 와 진짜 ㅈ댓다
-
주요과목 내신 1.8정도일때 최대한 높은대학은 어느정도인가요? 학종을 완전히 믿을...
-
본인 확통하다 런해서 미적온거임 ㅋㅋㅋㅋ
-
전체 1틀이 몇 명 있었는데 젤 임팩트 있던 두 명만 뽑아오면 수능때 냥대 일반과...
-
아 분명 나도 미적 92인데 확96이랑 차이가 없다? 하아아아아아아….. 원서철때...
-
배고프다 0
30분만 이따
-
그걸 공지방에 올리면 어떡하니
-
찐특 2
하루종일 연락온거보다 오르비 글 하나에 알림 온게 더 많음 ㅠㅠ
-
나 맨발에 슬리퍼야..
-
지금은 사람도 거의 없는데 이럴때 함 시원하게 점검 드가자
-
정말 열심히 할게
-
으악
-
의무사관후보생 1
순차 입영대기 난리나는 거 보면 현역입영을 하라고 걍 부추기는 꼴인데 가뜩히나...
-
얼버기
-
하 인생 2
알바 6일 연속으로 해야하네 토일월화수목 돈은 번다만 힘들어 뒤질듯
-
하..넷플보다 시간이 벌써
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다