[불완전성정리 반박] GPT 설득하는거 엄청 힘드네
게시글 주소: https://orbi.kr/00071994193

산술체계가 완전하다는걸 증명함
괴델의 불완전성 정리 반박함
제1정리 반박
1. 명제논리는 완전함
2. 명제논리로 산술체계를 표현할수 있음
3. 산술체계도 완전함
또
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3. 따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
시대인재 암행어사전형 없나 3 2
유빈 관리자 목하나 딸때마다 등록금 절반씩 까주는거지
-
수2 자작문제 (2000덕) 4 1
첫 정답자 2000덕 드리겠습니다!
-
쌍수를 해야되나 2 0
유튜브 보니까 ㅈㄴ 이상하게 된 것도 있어서 뭔가뭔가임 근데 일단 눈이 몬쉥기긴햇어...
-
여친 생김 ㅋㅋㅋㅋㅋ 5 2
-
현 옯붕이 위치 3 0
-
알람을 무시해버리는 사람 4 0
그게 저에요... 한시간반 잤나..
-
서강대식 기준 수학과 예상 점수나 예비번호 ( )이 점수로는 ( )점이다 ->데이터...
-
삶을 좀 다르게 봤으면 2 3
요즘들어 우울글이 눈에 많이 들어오는데데대부분 학벌로 자신의 가치를 결정내려하는...
-
화1 등급컷과 표점 폭락 원인 분석(단순 표본때문x) 8 2
현재 저는 화2를 하고 있지만, 화1의 현 상황이 왜 이렇게까지 됐는지에 대해...
-
숭실대 (자연) 자전 최초로 받은 예비번호는 118번 입니다. 1차 2차 합계 /...
-
놓치면 ㅈ돼 0 0
-
반수 예정인데 학잠 살말? 5 0
학고반or최저학점만 하고 반수 예정인디... 학잠 살까말까 안사는 게 맞것지
-
홍대 경영 0 0
홍대 경영 지금 몇번까지 돌았을까요?
-
작수 영어88 0 0
1올리신분들 방법좀 알 수 있을까요?
저 덕코좀 주세요
얼마요
10000덕이요
제 만덕은 다른분한테서 기부받은거라 막쓰고싶지는 않습니다
마음만이라도 감사합니다
전 만덕 남길수있도록 천덕만주세요!!
네 잠시만요
캬캬캬캬 감사합니다
보냈습니다