[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193
산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
외계인영화 개좋아해서 다운받아놨는데, 누가 예상처럼 그런 외계인 영화아니라고...
-
질받(선넘 허용) 13
착한 오르비언들이 하꼬인 나를 불쌍히 여겨 질문해줄거라는 확신이 있음
-
ㅈ댓다
-
경희대 예비 5
아니 지금 최초합격자 발표부터 3차까지 제 예비번호가 그대로예요 16명이나 뽑는...
-
숫자 9 이렇게 적음
-
사실 이미 하난 정했는데
-
공부 못하지만 공부 관련된 것도 좋구 사적인 것도 괜찮고 이상한것도 좋교 선넘은...
-
몇년째 바뀌지 않는 것을 보고 그냥 병먹금 하는 것으로 일관하는 중 어떤 직군이든...
-
서강대식 기준 수학과 예상 점수나 예비번호 ( )이 점수로는 ( )점이다 ->데이터...
-
나 친구어케만들지 오티도못가 새터도못가 설마 또 찐따생활이야? 학교갔는데 나빼고 다 친해져있고
-
주니어교수는 진짜 적긴하구나
-
제일 중요한건 가족들과의 추억 아닐까여? 전 알바끝나고 가족한테 전화해서 같이...
-
기하러의 시대가 온다는거야
-
24 언매만 5틀인데 강의 듣고 복습 꾸준히 하니까 점점 틀이잡히면서 문제가...
-
나 혼내줘 7
국영수탐 밸런스있게 안하고 수학만 해..
-
아 카페를 먼저올렸네(카페는 2차임) 여동생의 존재로인해 술은 빠꾸당함뇨
-
롤하실분 11
롤하실분뇨
-
어느날 고공을 나오면서 21
합격증 나오면 이 제목으로 인증해야지
-
배성민 3
자러감
-
다항 방정식의 해를 찾아야햇음. 일단 첫번 째로 정수 체계x-4=0? 머 이런건...
-
월월월
-
오랜만에 와서 팍 식어부렀어...
-
올해 맥도날드 전세계 수입 1년치 현금받기
-
카페 ㅇㅈ 4
-
걍 가기싫어서 면접안하고 떨어짐
-
내뒤로 한명은 더 붙을듯
-
그나마 풀고 싶은 문제 수도 한 손으로 셀 수 있을 정도
-
이리 닉네임 2
본명임
-
셀레뭐시기 들어오셈 18
대수학의 기본정리 상수가 아닌 복소계수 다항식은 반드시 복소수 근을 갖는다<<이거임...
-
추가모집 상담 때문에 계속 입결 보게 되는데 한서삼 되는데 가천 안되는 분들이...
-
해야할일list 3
언매 개념미적 개념
-
경희대 응수 0
응용수학과 예비 4번인데 ㄱㄴ한 부분?
-
Internal server error의 굴레에 빠졌다
-
의대합격하기vs 3
올해까지 전세계 마인크래프트 다운로드,구매 수익 가져가기
-
이리할 사람 5
이터널 리턴
-
일단 현역(07)이 너무많음(이건 05 06이 적어서 역체감이 큰것도 있음) 거기다...
-
모솔한테 맨날 연애운 좋대
-
일주일에 공통 드릴 약 25문제 강사 n제 70문제 강사 하프모의 35문제 미적...
-
3차추합했네요!! 다들 성불하세요 중앙대 중대
-
오르비 미쳤냐 2
서버 왜이래
-
진짜 모름excited state임
-
대성이든 메가든 연계 대비 강사쌤 추천 좀 볼륨 어느정도 있고 꼼꼼하게 해주시는분
-
지방 일반고에서 지균 수시로 설대 상경 가면 학교 안에서 인식 어떤가요? 경영...
-
반수가보자..
-
컹컹 왈왈
-
해본적없긴한데 만약에....
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다