괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
'초콜릿'은 영어로 Chocolate인데 이 단어는 스페인어 Chocolaté에서...
-
아 공부하기싫다 0
수학했고 경제했고 남은게 국어밖에 없는데 국어는 진짜진짜 하기싫단말이지...
-
계정 새로 만들려고하니까 이미 가입된 계정있다고하는데 걍 탈퇴하고 만들어야하나요...?
-
피시방갈까 6
던닝크루할사람잇으면 바로가는데
-
전전이랑 융공중에 고르는거 언제함 중대 중앙대 추합 다군
-
난 출근하러...
-
재수 때는 친구 한 명 있어서 더프본 날 밥 먹으면서 현대시가 어땠고 22번 어쩌고...
-
아니면 내가 못하는건가
-
수학 개념공부 0
수2 가물가물한데 시발점 다시듣는건 좀 그런가요?? 진도 나갈때 열심히 강의 필기한...
-
지금 2차까지 나왔는데 예비 7번입니다. 15명 뽑는데 가능성 있을까요?
-
학교 집 둘다 먼 4.5면 걍 3.5가 낫겠죠...? 어차피 영화관 알바해서...
-
누가 그러던데 과탐할거면 2년잡고 하고 일단 사탐으로 이번수능보고 국영수...
-
난 학생이고 나 수학문제 풀때 쌤은 폰보는데 그시간이 30분에서 40분 되는듯...
-
내신 cc 받는 가정한다고 하면 확통을 선택한 거 자체가 불리할까요? 서울대...
-
개에바긴해
-
의치한수 : 오지마라 약간 : 오세요~ 우리과 좋아요~
-
잇올 현역 6
원터스쿨 언제끝남? 현역 친목 미치겠음 ㄹㅇ ㅋㅋㅋㅋ
-
중대경영 이대 자전 17
지방학생이에요... 이대는 전장이고 긱사도 붙음 중대 경영은 오늘 전화 추합이라...
-
먼저 2000년대 이전 전/후기 대학 모집 시절부터 거슬러 올라가자. 당시엔 전기...
-
목동본관 시대 여학생 7층 자리 저랑 ,바꾸실 분 혹시 계신가요? 이 부근 자리이고...
-
헬스 끝 ㅎㅎ 1
이제 씻구 알바가면댐
-
4점 7개? 정도 모르겟는데 이런거 맞추려면 뭐 해야됨?ㅜ
-
ㅈㄱㄴ
-
새터 질문이요 1
1. 이제는 술 먹는것을 강제하지 않는게 맞나요? 저는 술 안먹으려고 합니다. 2....
-
삼수가능성 1
현역 화미영상지 43243 (수학 낮3) 재수 언미영생지 32212 (국어...
-
관계기관장이 질병기록 확인 가능, 임용시 거르기 학부모 + 기관장 심사로 현직도...
-
누구대가리에서나온생각이냐 ? ㅈㄴ패고싶네
-
?~?
-
대학뱃지 있으면 4
전체 수험생 중 상위 몇프로일까요?
-
1. 일단 웬만한사람 2. 특히 국수 점수가 나오는데 과탐은 안나오는사람 목표가...
-
동국대 추합 3
동국대 기계공 39명 뽑는데 2차 기준 7명 까지 밖에 안빠졌는데 18번까지 돌까요..
-
스윽 0
.
-
평소같았으면 1바퀴면 겁나 많이 돈건데 그걸 넘어서서 이번 차수에 5명(1/3)이...
-
뭐해야하지? 나는 내일 입소고,룸메는 일요일에 오는데 미리 기숙사 청소 끝내두면...
-
그러하다
-
하…..적어도 알고라도 있으면 슬플준비라도 했을텐데
-
족발 먹어요 1
-
경북수,동의한,충북의 지금까지 추합 어케 되나요ㅠㅜㅠㅜㅠ? 0
알려주시면 정말로 감사하겠습니다ㅠㅜㅠㅜㅠㅜㅠㅜㅠ
-
단국대 합격생을 위한 노크선배 꿀팁 [단국대25][새내기를 위한 꿀팁] 0
대학커뮤니티 노크에서 선발한 단국대 선배가 오르비에 있는 예비 단국대학생,...
-
뭐 학과 오티 3시간 대학 오티3시간+뒷풀이 막 이렇던데 뭘 하길래 3시간씩이나함뇨…?
-
백분위가 국어96 수학95 나왔는데 화학이3등급 생명이4등급이 나옴 스카이공대나...
-
중대경영 18
왜 626번에서 멈춘 건데 추합 더 돌아라 중앙대야 중대 경영
-
정치와법 상당히 어렵게 나오네요. 형법 이론은 이해가 중요합니다. 단순 암기 안돼요 2
생각했던것보다는 어려워요 제가 모르는 분야는 바로 풀기 어렵고요 제가 제일 잘 알고...
-
하...
-
강대 시간표좀여 4
강대 본원 시간표인데 제가 독서랑 미적분이 약한데 수정할부분 좀 있으면 알려주세요..
-
그렇대요
-
저능행동 1
-
오늘 식당알바 죽어나가겠구나~~~하하하
![](https://s3.orbi.kr/data/emoticons/dangi_animated/001.gif)
쿠쿠리님 안녕히 주무세요이제 일어났어요
![](https://s3.orbi.kr/data/emoticons/dangi_animated/020.gif)
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
![](https://s3.orbi.kr/data/emoticons/oribi_animated/034.gif)
Be 정상 = 정상화![](https://s3.orbi.kr/data/emoticons/dangi/035.png)
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼