괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
야 1 0
구 보고 싶다
-
[칼럼] 문제는 많이 풀지만 수학성적이 안 나오는 이유 30 22
안녕하세요 수학강사 이대은입니다. 오늘은 문제도 많이 풀고 수업도 듣지만 성적이...
-
도영햄 씨다씨 4 3
이사람은 전한길 루트타면 대박날듯
-
올 3등급으로 의대 가는 방법.. 11 3
1. 지역 기균을 쓴다 2. 붙는다
-
하루종일 2시간 이상 집중이 안된다...
-
아니 수학 상하를 잘해야 고득점받을수있는거아님?? 2 0
뭐 수1 수2도 중요하지만 수학 상하랑 연계되는 내용이니까 베이스가 탄탄해야 높은...
-
오티 마지막날 끝. 9 4
후기: 무난하게 재밌었음 근데 1년동안 계속 지낼만한 친구는 아직 잘 모르겠어서...
-
롤 ㄱㄱ 2 0
ㄱㄱ
-
종의기원 책 명언 명대사 인상깊은 구절 글귀종의기원안녕하세요. 오늘은 인류 역사상...
-
막상 정상 되니까 좀 별로네. 다시 바꿔놔야지
-
엄청 유복하지는 않지만 책살 돈 하나 아껴본 적 없고, 절반만 푼 책이 산더미에...
-
이따가 옯창 빙고나 만들어야지 6 1
많은 옯붕이들을 메타인지 시켜줄 그런 빙고
-
위쪽메디컬은 모르겠는데 연고서성한부터 그냥 너무 다 틀리는듯... 3~4칸합은 전혀...
-
2주만에 10kg 감량ㄱㄴ? 10 0
하루한끼 집근처 공원 5바퀴 돌기 매일 한다면
-
복테 점수가 괴랄하네 ㅋㅋㅋ
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼