괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
풀집중 전제인가
-
한양대 정책학과 1
한양대 정책학과 예비 몇번까지 빠졌는지 아시는 분 있나요..?
-
근데 왜 저한테 먼저 전화가 안 오고 엄마한테 먼저 전화가 가는걸까요..?? 그리고...
-
중딩>>>고딩이라고 느껴짐 뭔가 많이 잘못되었다
-
근데 뭐 과도 꾸지고 학고반수하면 전과복전도 불이익 있을거고 서울가면 대학생활...
-
제 수시 지원 대학들인데 1-6망 순서를 모르겠어요 포공 카이 성대 자연2장 성대...
-
ㅏㅎ
-
경찰대 고민 0
혹시 경찰대 합격하신 분들 중 입학이나 등록 놓고 고민하시는 오르비언분들 있나요??...
-
3차 추합 현황 11
-
완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수...
-
살기싫다 시발 12
죽는 건 왜 무서운 걸까
-
방학에 중딩 과학수업 조교하면 식당보다는 편하겠지? 부모님 학원이라 알바비 받는게 양심은 찔리지만
-
오리 까르보나라 1
-
열정적으로 논것도아니고 그냥 뭐한거지
-
히히
-
대학 서열을 반영하나요?
-
이대로면 중국문화일 거 같은게 공포네
-
지거국 사범대 지원했습니다. 6명 뽑는데 25명지원했고 예비번호 5번 받았네요...
-
현역때 13155맞고(국수영탐) 이과 대학 목표를 달성 못해서 성에 안 차는 학교를...
-
역함수 질문 3
f(x)와 g(x)가 역함수 관계이면 f(a)=b 일 때, g(b)=a /...
-
최초합 불합까지 확인했는데 추합확인이 안됨 ㅜㅜㅜㅜ 조발 입결표 자전 동국대 국정원...
-
서울대는 표점중요시하고 나머진 다 똑같이 백분위아니었음??? 서강식은 뭐임 또??
-
외대 맨날 6시에 올린다 하고 4시 반에 올려서;;; 걍 3시부터 폰 붙들고 존버타야하나
-
일반인 심지어 입시하는 사람들조차 대부분 모르는듯
-
예비랑 합격여부 알려주세요 ㅠㅠ
-
아
-
고생 많이 하겠지 ㅜㅜ
-
군외합격 9
가나군 붙여주세요..
-
왜 이러는 거임 계속 식겁함
-
[단독] 나랏돈 받은 SCI 논문 5건 중 1건은 ‘부실의심학술지’에 실려 2
게재가 쉬운 학술지에 논문을 올리고 이를 연구성과로 둔갑시키는 행태가 여전히...
-
영혼을 팔고 기프티콘을 받았다..
-
바로 형법 제10조 제3항에 답이 있습니다. 위험의 발생을 예견하고 자의로...
-
설대 목표로 5
사반수 어떤가요? 애반가
-
근데 예비 현황 안줘서 뭐 딱히 서성한쪽엔 의미없긴합니다..ㅠ
-
언매 뉴비를 위한 개념서 좀 추천해주세요(사정상 인강을 못봐요ㅠㅠ) 0
4수 선언한 대학생입니다. 재작년에 전형태 선생님 강의를 듣다가 언매 포기하고...
-
여기 정치와법이나 법과사회 공부하시는 분 많이 계시나요? 0
제가 학습자료를 만드려고 고민하고 준비중인데 많이 계신다고 하면 더 열심히...
-
올해 기하 만백 3
100이었나요??
-
현역 중경외시에서 반수해서 서강대로 올렸는데 한번 더 할까 매우 고민이 되네요 …...
-
천만덕 가쥬아
-
전화추합이랑 예비 다 인증해줬자나 좀 줘라
-
ㄹㅇ
-
이이잉 주라구요
-
-
젤 까리함 진짜임
-
입학하면 사라지나요 하필 상위권도아니고 ㅈㄴ복잡한라인 (국숭세+곽+아인) 이라서...
-
오티가기귀찮다 4
아
-
노베 재수생 물리.. 16
작수 지구 생명 봤는데 지구3,생명4 떴는데… 생명을 잘 할자신이 없어서 물리할려고...
-
수학 실모 기준 2점 3점은 호머식으로 맞았다고 칠 수 있음 근데 4점부터는 좀...
-
High demand leads to high supply. 여기서 그릴 수 있는...
-
2차 추합!!
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼