[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
지금 미미미누 n수의 신 나가려면 어떻게 해야하는걸까 8
수능만점 아니면 걍 못갈거같은데
-
술마셔도됨? 4
재수하는데
-
지금 N=2인데도 지겹고 힘든데 ㅋㅋㅋㅋ 저건 ㄹㅇ 어케하는거
-
다 봤으면 이제 가셈
-
첨에 봤을 땐 그저 그랬는데 착한 게 보이면 갑자기 예뻐보이고 눈길 감
-
근데 어지간하면 반수 안 하고 행복하게 사는게 좋아 17
세상에 행복한 일이 얼마나 많은데 고통 속에 몸을 집어넣어
-
당연한소리
-
연고 서성한 문과라는 가정하에
-
동생 일본갔는데 9
이색기언제오냐..
-
원과목 최상위권들 투과목런 ㅈㄴ쳤음 지금
-
부산 해운대 사는데.. 가까운 러셀이나 재종 가서 다같이 쳐보고싶은데 혹시 신청해서...
-
코와이데스네 0
토키노나가레가
-
9,10밖에 안쳐보긴 했는데 늘 30점대였음 자존감박살범인
-
내가 봐왔던 모의평가 학력평가 사설 모고 얘네가 진짜 무슨 의미가 있는건지 싶었음...
-
오빠 계란말이라니까 무슨 계엄이야
-
그냥 독서 좋아하시면 보시면 좋을수도 있고
-
1년차 교사는 9호봉이다. 20년차 교사는 29호봉이다. (1급 정교사 연수 후...
-
차피 허상에 가까움
-
대학간 사람 대상으로 반수 유무 조사하면….
-
공대 순위는 0
설높 설낮 카 연고높 포 연고낮 한양높 성높
-
묵묵히 재수 꾸준글
-
4수시!발 3
으악
-
시발점으로 개념 뗐고 현재 쎈, 기생집2,3점 중인데 쎈은 B단계 60%맞는...
-
내가 전에 고연대 다니는 여자는 못만날거같다했는데 16
이제괜찮을거같아
-
나도 덕코 줘 9
덕코흡수법!
-
클레이튼 교수 하는중
-
ㅇㅇ
-
언미영물화 백분위 92 98 1 83 90 인데 os반 무리일까요??ㅠㅠ
-
닉변완 7
사랑해 고려대학교
-
지유디 중에선..
-
진짜 내일 못일어날듯.. 머리가 반으로 쪼개질거가타ㅠㅠ
-
걍월례때만올게요 4
ㅈ같은감종존파시켜서 ㅈㅅ함 모두들 행복하세요
-
어 ㅇㅈ
-
부모님이 강대강사라는 친구가 문이과통합입결상 대충 저렇다고 주장하는데 팩트인가요?
-
ㅇㅈ 개추를 벅벅
-
아냐 너도알잖아 그 점공에서 안빠질수가 없다는걸 합격할거야
-
제가 국어를 거의 공부를 안해서 기출도 잘 모르고 그냥 숙제여서 개체성 지문...
-
야 1
구 보고 싶다
-
놀랍게도 아무도 접지 않았다
-
합법적으로 말 깔 수 있잖아
-
싱글벙글 들어온 너님 30까지 모솔 아다 ㅅㄱ
-
빡대가리라 대화하다가 나 스스로 무덤팔 듯
-
옆에 여자에 손가락 강제로접기
-
선배가 없어서 그런가
-
주량 좋은데 맛없다고 느끼는 게 진짜 재능인 거 같음
-
애매한태도
-
국어는 언제 하는게 좋을까요? 뭔가 오후에 국어하기엔 수학 해야해서 시간이 아까워요
-
엄청 유복하지는 않지만 책살 돈 하나 아껴본 적 없고, 절반만 푼 책이 산더미에...
-
허허....
-
아니 나 현역 때 중간에 폭파 돼서 난민 됐었는데,, 물갈이 되니까 결국 돌아오는구나
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다