괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좀 알랴주세요 뭘 물어야 할지도 모를 정도로 막막합니듀... 1학년 1학기 시간표는...
-
성대 자과계열 0
654.9x까지 내려왔네요 진학사 믿을게 못됨 ㅋㅋㅋ ...
-
1. 중앙대(안성) 동물생명공학과가서 농축산 관련 직장 취업 2. 한기대 가서...
-
최근에 본 가장 간지나는 광고카피... 카톡 상메로 걸어놨음 ㅋㅋㅋㅋㅋ
-
한양대 경영 0
한양대 경영 2차추합까지 몇명 빠졌나요??
-
서강대 인문이랑 영문 커트라인 어디까지 뚫렸나요?
-
합격예측이 하나도 안됐는데 뭔 합격예측은 진학사 ㅇㅈㄹ하고쌌노
-
중대랑 냥대 비교가 그렇게 문제될법한일임?? 신고가 들어와서 블라를먹이는거면 좀...
-
정말내신스럽다 5
ㅅㅂ
-
냥대 3차추합 1
떴어요 기다리시는분들 예비빠진거 확인해보시길
-
살사람
-
수1 기초 or 실전개념이 사탐 하나랑 강의수 똑같네 수학 포기했으면 지옥을 맛보는거임 ㄹㅇㄹㅇ
-
형용할수없는 역한 감정이 넘실한 파도같음 아좆같네 진짜 왜살지 내 멘탈이면 40되기전에죽을것같은데
-
두찜 맛잇나요 5
안먹어봣는데 맛잇으면 먹으러 가볼려구요
-
1,2차 다 너무 안빠지는데..
-
아
-
화학을 생물화시켜봤다 19
내신 모의고사에 넣은 문제라 소수점 점수 있는거 평가원 기출을 좀 하드하게 바꾼?...
-
시대질문 1
이번에 시대3관걸렸는데 선생님은 아직 모르는건가요 강기원 현정훈 선생님 듣고 싶은데…
-
생윤 질문 0
고등 능력을 가진 동물은 내재적 가치를 지닌 존재이다. 3모에서 이 문장을 레건이...
-
밥 먹고 왔는데도 진학사 그대로인거 같은데
-
추합이 이렇게 피말리는 일 일줄이야..
-
틀딱수험생이 간다
-
잘잤다 2
내 세시간ㅋㅋ
-
언미화1지1인데 저게 연의가 됨? 절대 안될꺼 같은데
-
-
친구 사귀기 힘들까요?
-
제목이 곧 내용입니다,, 오늘 수특이 배달왔는데 2022개정 공통수학머시기랑...
-
ㅘㅡㅑㅕㅕㅜ 1
ㅓㅠㅜㅏㅡㅏㅏ
-
천만덕 가쥬아
-
하아...
-
배고파요 2
먹을거 추천해주세요
-
진짜 문화충격급인데 김밥을 안사먹는편이라 모르겠네
-
히히
-
친구 2차 추합인데 개많이 떨어진거 같은데 ㄷㄷ
-
이게 안도네요 2
예비 1에서 멈췄네요 아직 4차가 남긴 했지만 이대로 계속될까봐 걱정됩니다...
-
경희대 3차추합 둘 다 0명빠지고.. 작년보다도 안도는거같은데요;; 서성한은 잘...
-
저주 퍼붇고 겁줄라고 발악인 새끼들 존나 많네 뭐하는 새끼들이냐
-
그래서 또 떡볶이랑 새우튀김김밥 시켰어요 맛저하세요!
-
중앙대 3차 추합 결과랑 성균관대 2차 결과 반영 된걸까요???
-
볼때마다 웃음벨
-
믹 말도안되는 번호라 생각해서 확인 안했는데 알고보니 붙었던거
-
홍대 추가합격 0
도시공학과인데 첨에 비공개에서 추합 1차때 62번 2차때 58번인데...
-
2024년 7월에 오르비에서 활동을 시작한 이후 7개월 만이네요,,ㅎㅎ 나름...
-
나군 성신여대 38명 뽑음 22년도 51명, 23년도 54명, 24년도 39명 뽑음...
-
와 이게되네 0
2025/02/06 홍익대학교 합격 2025/02/07 서울시립대학교 합격...
-
진지하게 엄청 쉬운건 아니지 않나요..?
-
이제 고3인데 아침에 밥을 먹어야 머리가 돌아간다는 얘기를 들었습니다 평소에...
-
디맥하자 디맥 12
킬게요
-
치대 떴냐?! 3
'이빨뽑이 장사꾼' on
-
성대 경영 ㅇㅈ 4
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼