괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
07이 우리를 틀이라 할테니 미래를 위해 마음속으로만 생각합시다
-
학교생활 및 이것저것 질문받습니다
-
왜 3~4일만 지나도 까먹는거지ㅋㅋ
-
저 차 바꿈 5
보리차 먹다가 어제부처 유자차도 먹음
-
갑자기 현타온다 2
나보다 4~5살 어린 애들이랑 뭐하는거지 난 탈릅해야하나
-
3년의 꿈을 이루는군
-
나도 언젠가는...
-
대강
-
확인 gogo
-
감사합니다
-
뱃지 언제주냐 0
ㅇ
-
작수때는 뭔가 미련만 남고 내 20대 초는 ㅈ된 거 같고 했는데 올해는... 뭐랄까...
-
화작 확통 사문 정법인데, 표점 때문에 불리할 것 같아서 확통을 미적으로 바꿀까요?...
-
시간 붕뜨면 카페 935 가봐 나 바닐라라떼 하나 시켰는데 빵 이만한거 걍 서비스로...
-
동국대 전전 0
동국대 전전 얼마나 돌까요? 지금 13까지 빠졌는데 얼마나 돌까요?
-
틀의 기준 4
Chillguy를 모르면 그때부터 진짜 위기임
-
쓸걸쓸걸쓸걸ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
휴 떨어지는줄알았네
-
학교에서 진짜 슬펐던거 10
저는 수학시간에 맨 딋자리에서 시발점 워크북 풀고있었습니다. 그런데 선생님께서 제...
-
잼민의 기준은 09부터임 남동생 09인데 얘는 잼민이임 반박받음
-
경북대 사회 2
경북대 사회학과 빠지시는 분 안 계신가요ㅠㅠ
-
혹시 과외 학생을 찾고 있나요?백날 과외문의를 해도 답장이 오지 않나요? 5분 만에...
-
2과목 내신 진로과목은 보통 학교에서 개념하는걸로만 끝냄? 아니면 셤기간에 기출 한...
-
국어 과외 2
받던 학생이 기숙학원들어갑니다.. 학생에게 줄 종강선물을 추천해주시면 감사하겠습니다...
-
9년 만이네 그전엔 16이 마지막임
-
-
남창 ㄷㄷ
-
좀 비싸네
-
-
1 2차 0명 빠진건 대체 무슨 경우? 작년도에도 11명 빠졌는데 ㅅㅂㅅㅂ
-
그럼 그냥 융공 갈바에 에너지시스템 가는게 나을까요?
-
소..솔직히.. 4
05년생부...부터는...트...틀..니딱딱..이..이라고...생..생각해여
-
제곧내
-
아 정신없다 0
헤롱헤롱
-
흠..
-
어떤 느낌일까? 머리스타일부터 옷,포즈.배경까지 댓글로 알려주셈
-
피시방 어플에서 초콜릿쿠폰줌 초콜릿받으러 이따 저녁먹고 한 10분만 오버워치 한판하고 공부할예정
-
사실임뇨
-
22 29 의문사당함.. 22는 아직까지 다시 안봐서 왜틀렸는지 몰라요 ㅎㅎ..
-
논술 반수 0
논술 반수하려는데 사실상 최저없는 연대 논술만 의미 있을거 같아요 논술만...
-
롤? 1
이거 하는건가
-
-
내꺼와 답지풀이가 달라..
-
나같은 사람있음???수학 처음풀땐 풀렸는데, 2번째 풀때 안풀리는건뭐임,,, 4
수학 처음풀땐 자신있게 막 피지컬로 풀었는데 다음에 다시 봤을때 맞았던 문제라해도...
-
본인 사1과1 고민중인 사문 노베 사문 킬러? 도표?는 개념 학습을 안 해도 풀 수...
-
국어 수학점수가 나쁘지 않았어서 사탐런을 할까 생각했다가도 약대도 목표로 삼고...
-
나
-
고대심리 0
같은 기숙학원 다녔던 사람 정시로 고심리 붙었네 근데 이 사람 공부 진짜 못하는데...
-
06=틀 5
ㅇ
-
소신 발언 8
08들한테 05어케생각해하면 아저씨라고 함
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼