괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수능 교육청 밖에 없나요? 옛기출 중에 리트미트 였나 무슨 국가공인 시험 거기도 있었던거 같은데
-
투표ㄱㄱ
-
가서 말걸어서 ‘님 오르비 ~죠?’ 하면됨?
-
고경호소인 4
-
아니 물리 5
필수본 + 기출 1회독하고 플랜비 한권 끝낸 노베 현역인데 올해 수능에서 1등급...
-
시간이지날수록 9
원서영역9등급이라는사실이아파온다
-
거의 다 스카이랑 메디컬 가던데 정답:그정도 되는 애들만 올린다 저도 후기 레전드...
-
유의미한 차이가 있음?
-
건동홍만 가도 말로는 만족하고 다닌다고 했는데 근데 아마 만족 못했을듯
-
냥 반도체 목표인데 19
이름이 냥도체이신분이 있음ㅋㅋㅋㅋ 그분이랑 친구하고 싶다 ㅠㅠㅠ
-
알바 괜찮았는데 0
시급 11000 주휴받으면 13200 개강하고는 더 못 할 거 같네
-
날 수학 5에서 지금까지 성장시킨건 사실 "안하면 ㅈ된다"가 아니라 "하기 싫음에도...
-
1단원 2단원은 완전 실생활이랑 동떨어져있는 생윤같은 내용 그나마 거시경제 국제경제...
-
할수있다 할수있다 할수있다
-
-
그리고 그 간극을 메워냈을 때의 쾌감은 어마어마함
-
흐흐 3
-
왜 우리나라는 6
살인자의 신상을 보호하는거임? 외국은 안그러던데 우리나라만 범죄자를 보호하는거 같음...
-
근데 연고높공이랑 설대 인문 붙으면 어디감?? 저정도 머리 되는 사람들이면 공대가서...
-
본인 러셀 자리인데 공부하다 옆, 대각선 구경하다보면 다 현우진 듣고있음 이거 말이...
-
ㄹㅇ 제일궁금함 의반안돼
-
안쓰시는 분들도 있을텐데 뭉뚱그려 말하는 건 미안합니다만...
-
아래는 얼마전에 썼던 글이에요 오늘따라 모두들 아프고 힘들어보이내요 그냥 다들...
-
제로부터 시작하는 약대생활
-
사유: 내가 달아야 한다는 것을 알게되었다..!
-
어떤 분이 댓글 다셔서 갑자기 궁금해짐 어떤 순서로 알고 계시나요?
-
메디컬정시 개빡세지겠냐 하..
-
근데 그렇게 소신 있는 애들이 상향 대학 가는게 맞는 듯 ㅇㅇ 난 컨설팅 받았어도...
-
아무도 나를 x스 대상으로 한 번도 생각해주지 않는 현실
-
잔잔한 새르비로군요 12
-
특정완료 말고 타지이리 선수님 생각했나? 음..
-
-
여러분 사실 중경외시건동홍 이상으로 가는 건 평범하지 않아요 15
그리고 대기업에 취업하는 것도 평범한 삶은 아니에요
-
바꿀만 함? 제가 아는 분 자녀가 외대랑 건대 붙고 건대 등록해서 반수 했는데 중대 붙었거든요
-
평가원 2~3 학평 1~2였어요 단어를 다 까먹었네요
-
우울한데 자러감요
-
너무 두부상이야
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
오르비 글 보고 궁금해짐
-
님들 조심하세요 9
제가 님들 뱃지 확 떼서 제꺼로 만들수도있음
-
가고싶은 대학을 간다
-
"복권 1등"
-
썰고 다닐 자신 있는데
-
어딨는데
-
초중고대 정상적으로 다녔는데도 사회성 부족하면 어떡해요? 4
재수도 안했는데 돈만 날린거임?
-
진짜 1
추합이 사람을 미치게하는거같음
-
마케팅이었던 건가... 내신때 들었던 25뉴런이랑 큰차이 없어보임 미적은 좀...
-
-
한번 생각을 해보셈 학교를 다니면서 해야하는 사회화 훈련이란 게 있는데...
-
일대일로 과외하게 된다면 바로 옆에 붙어서 하거나 마주보고 하잖아요. 일대다라면...
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼