괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
살려줘 2
노래주머니 고갈직전
-
쌩노베면 모를까
-
일어났는데 4
선글라스 낀 하니 프사가 왤캐 많아진거
-
등교 빨리 했음 0
아무도 없네
-
너무빨리등교햇내 0
긁적
-
집에언제가지 1
학교온지 2시간이나 됐는데 아직 1교시 시작도안함
-
스카입실 0
ㄷ
-
진지하게 ㅅㅂㅋㅋ
-
와 2
-
왜냐면 벌점 16점이거든..
-
1. 대다수(2등급 이하): 언확사탐 2. 수학 1 이상(한/ky라인): 언기사탐...
-
고전소설은 연계가 안 된 적이 없었다
-
걍 망했네 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
등원 3
오늘도 꽤 괜찮은 하루를 보내시길! 화이팅입니다
-
끊어야하나
-
지각이야아 0
너므피고내
-
생기부에 2
작년에 바이트는 남고 좀 있어보일만한걸 채우고 싶어서 읽어보지도 않은 대학전공서...
-
아이구 이쁜것들
-
시외버스 4시간 반+시내버스 1시간 반 차 하나도 안 막히고 환승시간 고려 안 한 거임 ㅇㅇ
-
시발 코레일아 9
서버 뭔데
-
국어황분들.. 4
틀린 선지 걸러내실때 선지에 동그라미나 꼽표 하시나요ㅛ? 이거 하는게 습관이 됐는데...
-
안들어가지잖아...
-
사문 커리 조언 1
마더텅 한번돌리고 지금 빨더텅 풀고잇는데 풀어봣던 문제들이라그런지 체감상 쉽고...
-
눈 떠 2
일어나 눈떠 눈떠 !!!!!
-
어후 어제 야자 째고 국간사 훈련 한 다음 기절했네욥 저녁도 안 먹고 운동 끝나고...
-
으아아 10
-
그립감 씹좆 같아서 미래샤프로 다시 바꿔줬으면 좋겠는데
-
럴수럴수이럴수가
-
근데 사실 친목 저격은 20년 전후부터 계속 있던 떡밥이었음 그리고 물갈이되고 한둘...
-
아니 날 보고 있진않을까
-
서바를 풀까 2
브릿지를 풀까
-
사람들이 많은거같아요 남 욕하고 있는 자기 모습이 더 추한건 모르는채로...
-
먼글이엇지
-
이게 나임 바꿧음
-
음... 1
.... . . . . . .. . . .... . . .
-
내첫계정 5
1028117
-
내 첫계정 4
아이민 125만대임
-
미리보기 방지짤 안 올리면 제일 위에 있는 사진 구글에 박제됨
-
왤까
-
프사바꾸고싶음 9
내프사갑자기너무무서움 근데 한번도바꾼적업는프사임
-
무물 암거나 9
-
님들 헌혈해봄? 1
학교에도 몇번 헌혈차 왔는데 몸 상태가 별로 안좋아서 한번도 못해봤음
-
캬
-
이런 누가 둘다 가져가 버렸네요
-
그래서 작수가 더 어렵나요 작작슈가 더 어렵나요 가형 1등급인 분들만 답해줘요
-
그거였네
-
조선족이랑 소개팅한 썰 10
얼마안된일임 참고로 저는 대한민국국민임 ccp아웃 동아리를 하능게 하나 있는데 그...

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

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

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