괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
통통이 와보샘 12
x1+x2+x3+x4=10 xn은 양의 정수 이거 풀이 적어주샘
-
질문해드려요 22
철학적인 질문을 던져보도록 노력하겠습니다
-
참여를 못하다니.. 안되겠다 다른 오르비언들거 읽어야겠어요
-
무엇이든 물어보세요! 23
생각보단 자주 안오는 기회에요
-
난 사람이 아니다 14
누가 매일 1시에 기절시켜줬으면 아니야 그대신 앞으로 몇달간 새벽에 이런건...
-
저도 무물보 18
해볼게요
-
이게 서로 배타적 관계인가
-
1. 고전논리는 완전함2. 산술체계는 고전논리로 나타낼수 있음3. 산술체계는 완전함...
-
사실 저말이에요 19
전생 계속 티내고 있거든요 근데 알아보시는 것 같기도 하고 못알아보시는 것 같기도 하고
-
211021 논증 풀이 18
D에서 직선 AB에 수선 내리자. (수선의 발 F), 그럼 A,E,F,D도 한 원...
-
무엇이든 물어보아주세요 13
선넘질 ㄱㄴ 선넘질 ㄱㄴ은 쉽게 오지않습니다.
-
예전에 유행할땐 저게 웃김? 이랫는데 지금보니깐 줠라웃기네 ㅋㅋㅋㅋ
-
닉네임바꾸고싶다 3
추천좀
-
메뉴 ㅊㅊ좀 인원은 나빼고 7-9
-
공부시뤄 3
-
이게 얼마나 심하냐면 15
일주일만에 같은 반 애들 이름을 까먹었음 심지어 밥도 매일 같이먹는 애임 장난이...
-
늦게 사탐런 4
생지러인데 3모 보고 사탐런 결정해도 시간 충분할까요?
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼