[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
중대랑 냥대 비교가 그렇게 문제될법한일임?? 신고가 들어와서 블라를먹이는거면 좀...
-
나? 운전면허 보유 7 1
종류는? 1종수동
-
여태 기출 풀 땐 잘만 풀리더니 고전소설 좀 풀고 독서 좀 푸니까 문제가 너무...
-
열받네 아오
-
순간 무서웠아요 2 1
덕코가 안보여서
-
좋은 밤 되세요 2 0
-
한양공vs설 높공 2 1
전자가면 누군가를 만날수있음
-
두찜 맛잇나요 5 0
안먹어봣는데 맛잇으면 먹으러 가볼려구요
-
하나 살려구 하는데 추천 좀 해주세용
-
크라운은 40만원인데 보험도 적용 안된대요... 해보신분 계신가요?
-
성대 공학계열 경쟁 빡센 과는 6 0
화공 신소재 정도인가요?
-
안암의 반댓말이 뭔지 아시나요 14 4
그건 바로 밖명임 왜냐하면 안밖, 암(어두울암)명(밝을명) 이렇ㄱㅔ 대조가 되는...
-
-
룰루 0 0
어즈버
-
블랙데빌 가격이 올랐네... 3 1
가난해서 메비우스 샀어....
-
외대는 왜 무시당하는건가요? 16 0
ㅈㄱㄴ 외대는 왜 계속 무시당함? 문과 베이스로 오랜세월 자리를 유지해 온 goat 대학 아닙니까?
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다