[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
사진없음
-
제발 아무나 8
신경성 역류성 식도염 걸렸을 때 뭘 해야 낫나요 ㅠㅠ
-
-
한국은 아직 한참 후진국임을 뼈아프게 실감했다.. 머리가 띵해지는 신선한 충격
-
언미화1지1인데 저게 연의가 됨? 절대 안될꺼 같은데
-
성인문 0
추합 몇점까지 돌았나요 안써서 점공을 못보는데 궁금
-
근무 개 시러 7
근무 때매 폰도 못 쓰고..
-
후 0
-
새내기게시판인데 애들이 걍 질문이 너무 많음 ㅋㅋㅋ 오티 새터 갈까요 말까요? 오티...
-
지거국 정시 1
지거국 정시 높공 목표로하면 거의 미적 과탐이 정배인가요 그리고 장학금 받으려면...
-
진짜 문화충격급인데 김밥을 안사먹는편이라 모르겠네
-
추합 새터 2
POV 3지망 학교에 최초합, 신청 이번 주, 다음 주 새터 2지망 학교에서 3지망...
-
지금 바쁘진 않음(올해 안으로 수1, 수2 심화까지가 목표) 애기중2를 도와주세오
-
Faux pas 0
영단어에요 발음햐봅시다
-
언매 공부 일주일에 몇시간이 적당하다고 생각하시나영
-
너 누군데 갑자기 이래 비호감작뭐임
-
중앙대 등록포기 15
추합 전화로 와서 등록포기한다고 말했는데 다른 거 안해도 되는거죠?
-
중대 심리 4
노예비 점공 계산기 예비 22번 추정 1차 노예비 2차 8번 3차 4번 이거...
-
본인은 학과 선택 실수함 근데 그 학교 붙어버림 이거보다 심하면 1000덕 드림
-
3칸이었는데 예비 5번이네 붙어야한다
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다