괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이거 왜이래요 2
-
근데 여기 예비번호 업데이트 안해주는거 맞죠??
-
뿌듯하구만 다들 행복한 대학생활 보내길
-
부재중하나 떠있었는데 못받았음;; 사이트 들어가니까 아직 예비번호로 뜨긴하는데
-
잠실 애니메이트 오픈일입니다~
-
04면 틀임? 9
ㅈ ㄱ ㄴ
-
저한테 초코를 줄 수 있는 기회를 드립니다
-
스펙 평가좀 21
25살 아다임
-
롤 5
하던가
-
헬스장가기
-
유튜브 보다가 지금 앎 ㅅㅂ 오르비에서 보내는 두 번째 발렌타인데이..
-
아 안되는데 진짜?
-
스펙 평가 좀 4
중졸임
-
일단 점수 아까우니 한의대가고 정 안맞으면 반수하지 뭐ㅓㅓㅓㅓㅓ
-
롤하고싶내 3
흠
-
혹시 대학 합격하고 학고반수할예정인데 의대같은대는 대학등록해놓고 기숙학원 가면...
-
팩트)연대와 고대의 위치가 바뀐다면 선호도 고대압승임 10
그저 위치빨원툴대학
-
ㅇㅇ
-
뭐야 2
스톱워치 켜놓은거 깜빡하고 안 껏엇네
-
수능 직후부터 부모님이 안정 광운대 하나 쓰자고 하시는거 싸우면서 안 쓰고 그...
-
얘들아 미안해 2
사실 초콜릿은 여동생이 준거야 나는 모쏠 연애노베니까 욕 ㄴㄴ
-
공부 한 가지 뿐일까요? 알바는 부모님께서 그닥 선호하지 않으셔서요
-
그 몇초안에 내가 들어갔다는 도파민이 중요한 거지
-
알려주실수있나요...? 제가 계속 노예비다가 이번에 번호생겨서 몰라서요,,
-
자꾸 자기 6,9때 경한급이었다고 하는사람 있어서 근데 경한 -중대인문은 차이가 너무 크지않음?
-
그건 바로 밖명임 왜냐하면 안밖, 암(어두울암)명(밝을명) 이렇ㄱㅔ 대조가 되는...
-
홍대 예비생김 2
얏호,, 전화 기다려야징
-
ㅇㅈ을 왜 함?
-
경희대 합격 20
합격전화 왔는데 안간다고 말하니까 좀 싱숭생숭하네 재수 실패만 안하면 괜찮은거지 뭐..
-
딱히 교사가 되고픈건 아닌데 그래도 닥후일까요?
-
ㅈㄱㄴ 외대는 왜 계속 무시당함? 문과 베이스로 오랜세월 자리를 유지해 온 goat 대학 아닙니까?
-
초콜릿 ㅇㅈ 6
3살 어린 이성지인이 줬음 하하하
-
안과한번 가봐야하는데 귀찮다
-
초콜릿 받음 0
아 아니네
-
선택과목 못바꾸나요?? 화작에서 언매로 바꾸고 싶은데 ㅠㅠ 진짜 ㅈ반고ㅠㅠ
-
경험상 어땠나요?
-
덕코 주셈 5
주셈
-
국어 언매 독학 6
저 진짜 완전 순혈 정시파이터인데 언매 독학 괜찮을까요?
-
맛있는건~ 6
정말 참을 수 없어어~
-
고대 교과우수 내신점수 0.2점 차이면 어느정도에요? 2
비슷한거 아님 차이 믾이나는거?
-
춤 실력 보통이거나 춤 동작만 따라하는 수준이어도 호응 해주나요?
-
참고하십쇼
-
정시 예비는 보통 몇차에서 제일 많이 빠지나요?
-
당연히 없겠지 인증을 안 했는데 ㅋㅋㅋ
-
국숭 라인도 인서울 상위권 펑이랑 추합 영향 받을까요? 0
추합 돌았으면 좋겠어요ㅠ 제발.. 1,2차가 너무 안빠졌어요ㅜㅜ 역댜급으로 항상...
-
3차 확인 ㄱ 8
ㄱㄱ
-
1명밖에 없을듯뇨
-
댓글에 봤다는 사람 있으면 거짓말쟁이임
-
요즘 안 오르네 8
![](https://s3.orbi.kr/data/emoticons/dangi_animated/001.gif)
쿠쿠리님 안녕히 주무세요이제 일어났어요
![](https://s3.orbi.kr/data/emoticons/dangi_animated/020.gif)
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
![](https://s3.orbi.kr/data/emoticons/oribi_animated/034.gif)
Be 정상 = 정상화![](https://s3.orbi.kr/data/emoticons/dangi/035.png)
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼