[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
가고 싶은데가 약간 상향이고 그래도 합격 가능성이 없다까진 아닌데 난 이라인 밑이면...
-
오늘은 너무 오르비를 덜했다 반성 또 반성
-
몇번난이도지
-
작년에 미적쳤다가 올해 확통런 해서 지금 정승제t 개때잡+쎈b 병행중인데 다 듣고...
-
난 벚꽃데이트를 한번도 못해봐서 같이벚ㅋ곷보고싶음..
-
647점 700등인데 여기까지 뚫릴 수가 있나요
-
대학 진학 고민 1
이번에 중앙대 공대 추합으로 붙는게 거의 확정인 상황입니다 사실 안붙을줄 알고...
-
어렸을 적 주말 2
토요일 무한도전 일요일 동물농장 1박2일 개그콘서트 국룰이었는데
-
본캠 대신 다른 곳으로 쓰면 되겠군 그러고는 연고대 버리고 온 것마냥 훌리 짓을 마구마구...
-
동의한 미적 기하 추합 현황 알려주실 수 있을까요? 원광한 인문도 부탁드립니다 제...
-
근데 상식적으로 해외로 빠지기엔 수능을 그렇게 열심히 했다는 건 의아하고 카이스트도...
-
10번부터 네번절고(오답할때도 절음 뭐가있나봄)결국틀림 11번 두번 12번 두번절고...
-
오티 2박 3일 0
예비1번인 곳이 오티를 16-18 이렇게 2박 3일 감 따로 새터는...
-
안녕하세요 어제는 공부 안했어요
-
확통 마플시너지 터프 문제는 잘 풀고 행복한 1등급 문제는 좀 많이 틀리는데...
-
구아악 감성이 없는 나에겐 힘들다
-
자유의지 지문 2
언제 나왔었죠??
-
다군인데 많이 빠진편인가요?? 첨이라 잘몰라서 답변주시면 감사할것같아요
-
학벌 열등감이 심하면 재수하는게 맞는거겠지 지금 공부도 하나도 안되고 다음주에 재종...
-
과외샘 좀 봐줘 9
이대 의예과 (재학) / 전적대 (설대 수교과) 시급 5 이정도면 ㄱㅊ? 난 고2고 수학 받을거
-
드디어끝났다 5
수능 본지 3달만에 드디어 ㅋㅋㅋㅋ 정시원서란 게 너무 길고 지겹더라 근데 여기...
-
재수하기로 맘먹은 06입니다 작수에서 과탐 말아먹고 무조건 두개 다 사탐런한다...
-
ㅈㄱㄴ
-
하누구렁결혼해야하지..
-
학교 에타보는데 2
입학도 안 했는데 벌써 졸업하고싶다
-
맛있는건~ 2
정말 참을 수 없어어~
-
대형과에 비해 디메릿 적은거 맞죠??
-
ㅈㄱㄴ
-
번장에서 작년 모고 32
싼거 잇으면 몇개 사려는데 뭐 사면 좋을까.자산이 많이 한정적임뇨
-
정을 너무 많이 줘버림 전적대에
-
텔그엔 있는데 표커리엔 없노
-
학력위조해서 학벌열등감 극복하고싶어요!
-
풀이과정 평가좀 0
-
여자 이상형이 학벌좋은 똑똑한 뇌섹남이라고해서 서울대 경제학 출신, 증권맨 등등...
-
쌍수를 해야되나 2
유튜브 보니까 ㅈㄴ 이상하게 된 것도 있어서 뭔가뭔가임 근데 일단 눈이 몬쉥기긴햇어...
-
대체어딜갈려고
-
저도 10분 질문드림 35
심심해
-
피로도 내놓으라고
-
맞팔구 4
-
한바퀴돌 가능세계있나?? 17명 모집인원인데
-
재능충 특징 10
잘생겻음
-
롤하실분 6
없나요
-
남자친구가 중하위권 성적에서 1년만에 서성한 성적대 나왔는데 심지어 수학은 나형...
-
CC여도 소수과에선 디메릿 많이 줄어들수 있나요??
-
억 크아아악 크아아아악 약간말실수한게 자꾸생각나 기빨려 이래서 새터는어캐가지
-
짠걸 아침에. 많이 먹으면 안댄다
-
서민 학살 멈춰라 우리도 대학 좀 가자 연고대 다니는데 반수할거면 합격증 나한테...
-
제 아이민입니다 7
2049372
-
롤첵ㄱ 3
ㄱㄱ
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다