괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그래 다들 내 ㅇㅈ보고 15
귀엽다고만 하잖아 하 글러먹었나 이번삶
-
지방에서 올라와서 어떤 쌤이 유명한지 모르겠어서요,, 작수는 20 21 22랑 미적...
-
난 코인 탄다 1
새로고침만 무한으로 누른다
-
친구중에 ㅈㄴ 이쁜 애 있는데 맨날 곽튜브 좋다하고 포토이즘 같은거에서 곽튜브 틀...
-
-
아주대 약대 0
아주대 약대 환산 컷 몇점 정도까지 될까요
-
ㅇㅈ?
-
아…
-
히히 선뎀 여러 개 받아서 한 40분씩 디엠함 이게 문과지 ㄹㅇㅋㅋ
-
이게 고토 히토리상의 차크라인건가?
-
아이돌치고가아니라 걍웬만한유튜버씹어먹음
-
낮에 ㅇㅈ했음 13
님들도 ㄱㄱ
-
그냥 수업 결석하고 보러가는건가 아님 병결?
-
유일하게 스스로 잘했다고 느끼던 그 짜릿함을 못잊어
-
3덮 투과목 없나요? 11
ㅈㄱㄴ
-
헉
-
충격 고백하겠습니다 14
저는 여르비를 남르비라고 봤고요 남르비를 여르비로 봤어요 쌍*가 여자인줄 알았다..
-
즐기겠습니다 3
즐기는 자 이길 수 잇슴? 물론 공부를 즐기진 않을거임
-
속이 거북함 어지러움 ㅡ
-
ㅇㅈ 31
달구랑 찍은 것도 있는데 사진이 안보인다
-
잃은거-친구, 건강, 취미 얻은거-학벌
-
코 걔 맞음ㅋㅋ 도네 좀 차면...
-
내가 수능 잘 볼라고 십 년 가까이 갈아넣었는데 이 세월을 다 의미 없게 만들기는...
-
그러겠지
-
뱃지말고뭐뗄까 4
흠
-
히히 드개재~~~ 수정) 시발 저거 알몸 아녜요 손가락이 카메라 막아서 그런겁니다
-
시대 3관 0
과탐 선택 비율 어케됨요? 성적도 궁금해요..
-
ㅇㅈ 6
식물 납치하러 가는 나
-
하나 살꺼 같은데
-
공부 다 하고 매일 30분 런닝에 4-50분 웨이트
-
뱃지 떼는게 21
먼가 더 캐쥬얼하고 깔끔한거같음 튜닝의끝은 순정인가
-
질문 주세용
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
오른손목은 당연히 나갔고 지금 5번인가 디스크 눌리고 있음 ㄹㅇ 재활수준의 운동을해야댐
-
레어사세요 4
-
열심히 사시는게 보기 졸더라구요
-
아무리 공부 잘하고 머리 똑똑해도 킬러 하나. 혹여 실수라도 하면 땡이니까요....
-
난 후회 ㅈㄴ함 4
이럴거면 시작도 하지말걸
-
제 전닉 3
기가채드입니다 모르시는 분들 간혹 보여서 당황
-
잇올에서 커뮤충으로 찍히면 어카지
-
ㅇㅈ하라해서 함 13
본거 또보고
-
이거 걍 술주정임?
-
조금 더 구체적으로 어떤 종류의 정신병이 나타난다는 의미인가요? 예시 ㄱㄱ
-
진짜 여기 붙으면 좋을거 같은데.. 알바트로스 탑에 절이라도 박으러 가야하나
-
ㅇㅇ
-
흔들게요~ 뽁뽁 하더니 이미 뺐고 뿌리 뺄게요~하더니 10초만에 뽑음 존나 고마워요ㅛㅛ
-
이 세상은 내가 노력이상의 무언가를 가져가게 안두는듯 7
그게 아니라면 주요과목에서 찍맞이 하나없는게 말이 안됨
-
ㅇㅇ
-
3.5수거나 3의 반(1.5)수니깐 삼반수는 우리가 관념적으로 이해하고 있는 사반수...
-
진짜 모름
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼