괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇㅂㄱ 2
다시자러갈거에요
-
-
수학 4등급 노베 개념부터 시작하는데 하루 띰2개씩(강의4개) 끝내고 있어요 미적...
-
얼버기 5
-
24수능 35355입니다 (탐구는 각각 물2 지1) 건강 문제로 학교 자퇴 후...
-
이게 서로 배타적 관계인가
-
8시다 1
모두들 굿밤
-
영어 인강 1
빈바순서삽입부분이 개판인데 딱 잘 잡아줄 강의 ㅊㅊ좀여 메가에서
-
닉네임바꾸고싶다 3
추천좀
-
메뉴 ㅊㅊ좀 인원은 나빼고 7-9
-
션티 커리 질문 0
작수에 듣기만 6개 틀려서 4뜬 재수생입니다. (듣기 안 틀리면 2후3초) 현재...
-
우선 본인은 국어강사 지망생임 둘 다 만족할만한 학교는 아니고 편입 준비할 생각...
-
중대 중간공인 에시공도 취업깡패 서울대 공대 카이스트 공대 떨구고 합격 SKY...
-
중복조합부터 기억이 안남 근데 졸림
-
공부시뤄 3
-
예전에 유행할땐 저게 웃김? 이랫는데 지금보니깐 줠라웃기네 ㅋㅋㅋㅋ
-
뭘로 공부하는게 좋을까요? 화1 화2 공부해보려 하는데
-
통통이 와보샘 12
x1+x2+x3+x4=10 xn은 양의 정수 이거 풀이 적어주샘
-
걍 순열 조합이내
-
늦게 사탐런 4
생지러인데 3모 보고 사탐런 결정해도 시간 충분할까요?
-
언미화물2 97 95 1 97 98 이거 높반 가능한가요? 수학이 좆망했는데
-
통학하면 가는데만 1시간 30분정도인데 더 멀리서 다니는 사람 있음? 일산 사는데 빡세네
-
ㅇㅂㄱ 0
-
링거 꽂고 다니는 것마냥 계속 충전기를 꽂아놓고 있어야해..
-
투표 2
ㅇㅇ
-
순순히 어두운 밤을 받아들이지 마오. 노인들이여, 저무는 하루에 소리치고...
-
난 사람이 아니다 14
누가 매일 1시에 기절시켜줬으면 아니야 그대신 앞으로 몇달간 새벽에 이런건...
-
명륜진사갈비 혼밥안되나..
-
아군
-
설대 최초합 등록 포기하고 의대 추가 합격된 곳으로 등록이 가능한 거죠? 그리고 이...
-
우선 괴델의 불완전성 정리제1정리. 페아노 공리계를 포함하는 어떠한 공리계도...
-
얼버기한 이유 6
오늘은 학원 강사 면접 보는 날이에용 ㅎㅎㅎ 절 응원해주세용!!
-
환전해놨는데 다 날아가네 ㅜㅜ
-
인생망함 3
ㅇㅇ
-
사람이되고싶다 4
앞으로 남은 272일동안 쑥과 마늘만 먹으며 수능을 준비한다면 4수 끝에 사람이 될수 잇을까
-
건동홍시임
-
질문해드려요 22
철학적인 질문을 던져보도록 노력하겠습니다
-
아니 이거 근데 오른쪽 눈은 눈무링 안나고 왼쪽눈만 눈물이 자꾸 고이고 뿌옇게 보이고 이러는데 2
이거 진짜 이항한거 아님?
-
저도 무물보 18
해볼게요
-
뉴런책 배열을 수1 23 24 25 26 수2 23 24 25 26 미적 23 24...
-
네임드는 이 시간에도 무물글이 5분만에 저렇게 차는구나 4
이게 고닉인가...
-
할수이ㅛ다
-
돌아가구싶다 2
나 돌아갈래
-
일취클 피램 다 띁나면 사모로 넘어가는게 맞을까요?
-
애반가요??
-
피로도 다쓰고 캐릭터 생성제한도 걸려서 더 할게없네
-
1. 고전논리는 완전함2. 산술체계는 고전논리로 나타낼수 있음3. 산술체계는 완전함...
-
무엇이든 물어보아주세요 13
선넘질 ㄱㄴ 선넘질 ㄱㄴ은 쉽게 오지않습니다.
-
굿나잇 2
ㅃ
-
일클 취클 문학 피램 풀건데 고전시가는 인강or문풀중 뭐가 좋을까요?인강추천한다면...
챙
무슨 뜻인가요