괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
보건과학대학은 0
진로가 보통 어디쪽인가요
-
하루종일 쌩쌩하게 깨여있었음 그래서 그런가 존나 졸림
-
진짜 조금만 해야지 나도 이제 미래를 생각해야지 응..
-
무소속이면 기준이 뭐든 9등급 확정이야
-
가군 78명 모집 예비 48에서 6번까지 왔는데 전화 추합 가능할까요....????
-
뇌 신경망 구조=기억
-
* 자세한 문의는 아래의 링크를 통해 연락 바랍니다....
-
의외로 명곡인것 8
-
수학 “기출분석” 이 새끼가 너무 모호함 논리적으로 완벽하게 제대로 쫘악 다...
-
서울대 의예과 재학 / 자사고 수석 입학, 수석 졸업 / 내신 1.5 / 수능...
-
폭이 너무 짧음 올라갈땐 괜찮은데 내려갈때는 앞발을 안전하게 딛으면 뒷꿈치가...
-
공식:(전년 수능 응시자수)*(올해 수특 판매 비율/전년 수특 판매 비율)*1.1...
-
미적분 합성함수 2
그래프 못그려도되겠죠?
-
해설과 강의를 안보고 문제와 나 사이의 야차룰을 뜨는 사람이어야 함
-
지금 일클 연필통 원데이 풀고 마더텅 문학 독서 각각3지문 푼다음 영어는 조정식쌤...
-
모든논리는 NAND로 표현가능 NAND는 수식으로 표현가능수식 Y = 1 - (A...
-
필쏘 굿!! 이네 Brilliant Move !!
-
아니 제발 한주에 한주치 올리라고 무슨 4주치가 한꺼번에 올라와 업로드 맞춰서...
-
'누텔라' 개발한 그 사람…밸런타인데이에 세상 떠났다 1
글로벌 인기 초콜릿 잼 '누텔라'를 개발한 프란체스코 리벨라가 밸런타인데이에...
-
103->70->35까지 왔는데 제발 ㅠㅠㅠ
-
전 그래서 그냥 안정카드를 8칸으로 잡았었음 떨어지기싫어서..
-
본인이 그러한 일에는 전문임
-
어그로 뫼송 강민철 솔직히 어떰?? 강평강평 거리던데
-
다 듣는게 낫겠져?ㅎㅎ
-
수분감으로 기출 돌리고 아이디어 책 선물 받은 게 있어서 이걸 빠르게 듣고...
-
뱃지 달렸나요 2
ㅇㅅㅇ
-
n은 10 미만의 자연수
-
탁탁탁 10
?
-
과탐 붙잡고 있다가 반수 실패 후 대학 계속 못 갈것같아서 올해 사탐런하고...
-
그렇게그렇게 페이스메이커 풀라고 했는데 개학 2주남은 지금까지 밀리고있고 올오카...
-
-
육룡이 나르샤에서 권근하고 열혈사제 박대장이.... 같은 배우였다고??? 나 진짜...
-
생보지 7
근데 진짜 우영호T가 이렇게 쓸때 있어요
-
무려 4개
-
안녕하세요. 00년생이고, 현역 당시 나형 높은2 였습니다. 개인사정으로 대학 안...
-
ㅈㄱㄴ
-
아니 근데 어제 공부 13시간 20분은 어캐한거지 이게가능함? 해봤는데도 어캐했는지 모르겠음
-
안녕하세요, 경북대학교 새내기 여러분! 저는 경북대 컴퓨터학부 23학번입니다....
-
뭐다뇨?
-
넷상 평균학력 스카이 (진짜임)
-
ㅇㅇ..? 내가 잘 몰라서.. 주변에 정시 카이스트는 못들어봄
-
그립다 0
22 오르비
-
본인 초딩 때 문방구마다 100원 전자오락기 있었음 3
당연히 본인 포함 초딩들 그 앞으로 겜하러 하교 중 달려갓는데 이젠 겜기도 없고...
-
수학이 이해과목이라는 넘들은 지가 수학을 어떻게 푸는지에 대한 인지자체가 없다는거임
-
못생겻다 7
ㅋㅋ
-
뭐 내신 확대되고 등등 개편되면 내신 ㅈ박은 학생 혹은 자퇴나 검정고시생은 아예...
-
경희대 일본어 0
예비 몇번까지 붙었나요??
-
“미·러, 우크라 종전 위한 고위 협상팀 신속 구성 합의” 1
[서울경제] 미국과 러시아가 우크라이나 전쟁 종료 방안을 놓고 사우디아라비아에서...
-
인자 새르비 안한다 19
참이여 참이라니까
-
ㅇ?
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼