괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어느것까지 포기가 되고 어느건 안되나 생각해보려고 그냥 쭉 적어본건데 외적인거 말고...
-
오비르 사망 1
-
외대 폴란드어과 0
취업 잘 되나? 인식은 어때?
-
지듣노 6
Now hush little baby don’t you cry~
-
열심히 공부하면 얼마나 걸려?
-
다들 자는구나 8
다 떠났어,,,
-
저도 생일이라서 옯생활 한지 좀 되니까 나도 축하 받고 싶은데..가능할까??
-
잘자~~ 2
-
갑자기 커뮤 하는게 현타옴 근데 하루이틀만에 다시 돌아올수도 있음
-
내가 맨날 섹드립해도 고소 안당하는거 보면 ai 맞는거 같음
-
심심하다 0
밤낮 다시 바꿔야하는데..
-
오르비언들도 안 떠났으면 좋겠고 동기들도 반수 안 했으면 좋겠고 그러네요 그냥 서운해
-
티원도 그렇고 딮기도 그렇고 듀렉도 그렇고 젠지도 그렇고 다들 컨텐츠팀 싹 갈았는지 정상화됨
-
저처럼됨 ㅇㅇ 나중에 플미 붙은거 살것같아서 소장용으로 사는데 걍 딮기를 실착을...
-
편하다 6
오르비는 마음의 안식처 같아 노곤노곤
-
바2 3
잠
-
대충풀이 5
2018 랑카모 30
-
이거 돌아가면서 입고 오면 어떨것같냐
-
자극받네
-
풀었다 2
계산은 귀찮아서 생략햇지만 대충 맞을듯
-
2년 전 수학쌤한테 전화해서 술 사줘~~ 시전 ..
-
필름끊기기 전? 걸어서 집에 갈수있을정도? 잘모르겠어요
-
묘하게 기출도 적고 사설도 아쉽단 말이지..
-
유우카 ㄷㄷㄷㄷㄷㄷㄷㄷ
-
좋아좋아
-
고고
-
옵만추하고 싶음 2
실모 배틀 하고 싶음
-
예전엔 무조건 카의였던걸로 기억하는데 여러분들은 둘 다 되면 어디 가실건가요?
-
혼술마렵다 7
한번도 안해봄
-
낫 라익 어스~
-
할거많다...
-
슬프구나 내 작은 오르비가 이젠 밀린 일을 하자..
-
네?
-
힐링 영화 추천해주셈 16
다시 들어가기 전에 보게..
-
이런시대가 오면 어떻게 할지 잘모르겠음,,,
-
흡연장 투어 하고옴.. 자 여기가 사과관 흡연장이야 여기는 사범대 흡연장이야
-
내 딸이면 귀여울것같음 키작은건 여자라 상관없거
-
상대하고싶지 않다..
-
네
-
과연 내 자식이 버틸 수 있을까? 태어난거 자체로 비극아닐까?
-
외모등급은 12
주관적이라고 생각해요 내 눈엔 1등급일 수 있잖아
-
우리 아빠 피셜 대학교때 여자애들이 따라다녀서 대인기피증 생김 공부는 학교에서 가장...
-
시골 깡촌 살아서 여기선 3인데 서울가면 알파메일들 넘 많아 4일듯..
-
설레서 잠이 안오네 중학생 이후로 몇년만에 잡아보는거야
-
읏챠
-
노션 대학생들은 좀 쓰지않나요? 내 주위사람들은 노션 아예 모르던데
-
저걸 푸네 4
사람아니야...
-
안 푼 2023 브릿지 엑셀 구했는데 이거 2025나 2026 버전이랑 거의...
-
혼자 살 팔잔데 2
포기를 해야하는데 말야..

쿠쿠리님 안녕히 주무세요이제 일어났어요

좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다

Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼