괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
매너상.. 과잠도 사고싶어요ㅠ 오티새터 다 안갑니다.. 오히려 눈치 없는건가요.....
-
오늘자 김승리 현장반 "내가 계속 말했지 3월에 존나 큰거 올거라고." 사실 계속...
-
판 이름이나 해류 이름처럼 암기성 짙은 내용을 말하는건가요? 아니면 교과외 내용을 말하는건가요?
-
이 캐릭터가 진짜 너무 제 이상형임 야마다료 유일하게 이름아는 등장인물
-
갑자기 졸리네 4
몸이 전원 off 되기 직전임 깨어잇고 싶은데..
-
-
물조쿠들도 잘 씻음 20
다만 겨울이라 땀이안나니 주에 한 번 씻는것 뿐임.
-
워어어어어우~ 5
요~즘에는 별 별 별~(씨랫~) 이~런저런 별 별 별~ 그 뒤에 가사 모름...가짜 엔써라 미안하다
-
수능 당일 아침에 잠 깨려고 샤워햇다가 4뜸
-
하루한번샤워로 물리 1등급 쟁취칼럼을 반드시 쓰고말겠다
-
1 문법쌩노베 2 국어는 독해력으로 승부보는편이라 화작하면 1~2뜸 3 사탐인데...
-
라인업 누구누구 계셨나요? 8기분들 알려주세요ㅠㅠ
-
축구보는데 1
과일맥주 vs 맥주
-
뭐임뇨..?? ㅋㅋㅋㅋㅋㅋㅋㅋㅋ 진짜 안씻는 사람 많음?
-
너무 어렵고 두루뭉술해서 문제 과하면 안되는게 분명 맞는데 결과론적인 느낌이 있어서...
-
카투산 간 친구 벌써 전역이 다와가네요 ㄷㄷ
-
강평 ㅇㅈ 17
-
나보고왜그돈주고경주까지가서대학교를가냐네아이고야
-
홀붕이 주장 캬 0
홀란드 사랑해!!
-
어때여? 언매 공부량 많음?
-
대학이 경주에 있다고? 공부좀 열심히 하지 그랬니.. 12
아니큰아버지요즘은메디컬이대세라더군다나의예과는서울대도버리고다들오는대학교에요제가공부를열심...
-
챔스 ㄱㅈㅇ 0
뉴캐슬 이기고 4위ㄱㅈㅇ
-
17년산 유물 ㅇㅈ 19
ㅈㄱㄴ
-
수혈해야지
-
저새끼는 대체 왜저러지 싶은 것도 그 사람이 살아온 인생을 파악하는게 아니면 결국...
-
거리순 100%라던데... 같은 경기도고 직선거리 45km인데 대중교통으로는 빙...
-
다들 자러갔어
-
미적 n제 1
미적 어려운 3점 4점난이도 극복하기 위해서 무슨 n제를 푸는게 좋을까요? 처음에는...
-
원래 순공시간 많은편이라 공부량으로 승부보는편임 언매 단기간에 다 끝낼수잇을까
-
어떤가요???
-
기습 ㅇㅈ 8
-
얘기해봅시다 저는 곱창 막창 대창 이런거랑 닭발 회 안 좋아함
-
먹고싶다 3
-
아직도 미인증인애 있는데 허수면 진학사 공짜도 아닌데 왜 돈내고 들어온건지 모르겠고...
-
나이하고 외모 수준은 귀신같이 맞추노 ㅋㅋㅋ
-
어? 뭐야 시발 3
역시 내장보단 순대지 ㅋㅋㅋㅋㅋㅋㅋ 딱 대
-
300개도 못 지웠네 남은 게시글 360개... 아 씨발진짜
-
왜 시작된거임 ㅋㅋㅋㅋㅋ
-
파인곳까지 재는거임 아님 힌자 있는곳까지 재는거임?
-
그냥 초장에는 안먹음
-
잘려고 쳐먹는지 모르겠네
-
책임지셈
-
조선해양공학과vs고려육자유전자학과 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 0
재밌죠? ㅋㅋㅋㅋㅋㅋㅋㅋ
-
뽑았다! 4
1회 뽑기에서 나왔어요 ^___^
-
아니요그게아니라동국대와이즈캠퍼스라고경주에있는의대가하나있는데아니경주는아니고일산에병원이있긴해요.
-
쫄깃해가지고 맛있음
-
영어 노베입니다... 작수 영어 6띄우고 영어공부를 기피하다가 지금부터 공부해야...
-
전 순대 좋아함 0
순대볶음 캬 바로 처음처럼 1병 뚝딱
-
ㅇㅈ? 3
-
학사+대성학원 컨텐츠비+식비 나머지 다른 책값 같은 건 뺴고 일단 고정지출로 나가는...
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼