[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
Faux pas 0 0
영단어에요 발음햐봅시다
-
상범아 여 앉아봐ㄹㅏ 0 1
너 누군데 갑자기 이래 비호감작뭐임
-
중앙대 등록포기 15 0
추합 전화로 와서 등록포기한다고 말했는데 다른 거 안해도 되는거죠?
-
중대 심리 4 0
노예비 점공 계산기 예비 22번 추정 1차 노예비 2차 8번 3차 4번 이거...
-
원서접수 빡대가리 대회 개최 9 1
본인은 학과 선택 실수함 근데 그 학교 붙어버림 이거보다 심하면 1000덕 드림
-
냥대 추합 생각보다 많이도네 8 1
3칸이었는데 예비 5번이네 붙어야한다
-
아 내취향 0 0
왜이러냐 좀 반사회적임 ㄹㅇ
-
노베 재수생 물리.. 16 0
작수 지구 생명 봤는데 지구3,생명4 떴는데… 생명을 잘 할자신이 없어서 물리할려고...
-
고대 점공 13 0
중앙대 경영으로 염탐했는데 너무부럽네요ㅗㅠ 폰으로 적은거라 오타있을 수 있어요
-
롤체팟구합 2 1
ㄱㄱ
-
새터비용 6 0
보통 얼마하나요? 너무비싸서 부담되네여ㅠㅠㅠ
-
인터칼리지 0 0
점공 공유부탁드립니더..
-
약대 정시 커트 4 0
안녕하세요 혹시 정시 약대 커트라인이 어느정도 되나요? 모종의 이유로 약대가...
-
메디컬 제외하고
-
아 자고싶다 0 0
ㅇ
-
경희대 합격 20 3
합격전화 왔는데 안간다고 말하니까 좀 싱숭생숭하네 재수 실패만 안하면 괜찮은거지 뭐..
-
3주동안 9키로 빼기 ㄱㄴ?? 1 0
ㅅㅂ 간절한데 ㅋㅋㅋㅋ
-
86일 동안 16kg뺌 3 2
3kg만 더빼자 개강 딱대
-
대학 붙기 싫은데... 0 0
여기 딱 한명 뽑는 과인데다가 처음에 예비 27번 뜨길래 ㅈㄴ 안심하고 있었는데...
-
신기함 어떻게 과외를 할 생각을 하지 나도 못하는건데
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다