괴델의 불완전성 정리 반박
게시글 주소: https://dev.orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
Ccc 동아리 3 0
여기 사이비임?
-
시츠레시마스 0 0
오츠카레사마
-
뒤틀린숲 17 0
해본사람
-
님들 맘터에 그 코박죽세트? 4 0
드셔봄? 신메뉴 나왔던데
-
11년생 신입입니당 8 4
-
슬슬 모든 노래가 질리는데 3 0
추천해주세요. 힙합 좋아해요.
-
민주당 제주도의원 단수공천 '음주운전' 후보자 포함 논란 4 3
6.3 지방선거를 앞두고 민주당이 제주도의원 선거구 5곳에 대한 후보자 공천을...
-
이따가 비타민 K, 에이어 지문 칼럼 있음.. 만관부.. 1 0
11시에 올릴게여.. 비록 허접이지만.
-
수2미적하다가 수1 다 까먹음 0 0
엉엉
-
쇼미더머니가 0 1
세상을망치는중이야
-
지금바로죽어 4 0
넵
-
칼럼 아마 대략 내용 잡혔고 지금 2/3 썻는데 1 0
독해 방법만 있고 문제 풀이는 없을 것 같음. 법령의 불확정 개념 일부랑 비타민...
-
허들링 왜이렇게 어렵지 5 0
저능해서 그런가
-
경희대에 내적친밀감 생김 12 1
영통 근처도 매우 많이 갔는데 대학도 회기 근처니까 너무 익숙해
-
나진짜궁금해서물어보는데 4 1
미카리가누구야 지금오르비를망치고있는새끼들은누구야
-
말투를체화하고있음 병호쌤화되어가고있음
-
술 먹고 토 안 하고 버티니까 2 0
3일 내내 속이 뒤집어짐 소주의 ㅅ 자만 들어도 메스꺼움 하지만 뒤틀려 죽을지언정...
-
뭔가 마작을 잘치고 싶음 4 0
마이너하면서도 똑똑해보임
-
무의미도 하나의 의미인듯 5 0
매달릴 필요가 없다
-
난 오르비에서 여성 유저를 판별하는 레이더가 있음 7 3
ㅇㅇ 님들은 다 속인다 생각해도 난 알고 있음
-
느아아악 0 0
힘들당
-
뭔가 오르비를 계속하다보면 13 1
나도모르게 혹은 의식하면서 다른사람 말투를 따라하게댐
-
거짓말은 최고의 사랑이거든? 0 2
지금 당장 이리 시작해
-
내가 병신이면 나를 미친듯이 매도해
-
되려 담쌓고 사는 것 보단...
-
비타민케이 다맞앗닿ㅎㅎㅎ 5 1
물론 24분 박음 샤갈
-
진짜 애들이랑 놀았는데 다들 너무 나한테 잘 대해주고 살짝 미숙해도 잘 보다듬어...
-
이거 2개만큼은 확신을 갖고 얘기할 수 있음 생2 = 표점대학을 가고싶다면 하면...
-
ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ 8 0
-
반수에서 한 발짝 멀어짐 7 2
진짜 용기내서 오늘 대학 친구한테 같이 밥먹자 해서 같이 저녁 먹고 옴 그래 내가...
-
저도 알아요 ㅎ
-
기출풀면서 느낀건 2 0
짝수인경우와 홀수인경우를 정확히 나눠서 푸는게 수1을 관통해서 나오는거같기도 하고
-
님드랑 8 0
칼럼 얼마나 길면 안 읽을거야? 짧아야 좋은 거 아니에여?
-
난 아이스크림 하드 씹어먹는데 13 2
핥아먹는 옵붕이들 나와
-
고백마려운 오르비언 목록 14 1
구름밑을쏘다니는개
-
설농뭔가야함 7 2
서울대에 다니는 농농한 미소녀 어흐
-
오르비를줄일수있을까 15 0
도전하기 1일차
-
ㅋㅋㅋㅋㅋ
-
한국외대의 말레이·인도네시아어통번역학과 라고 하네요
-
진짜 ㄹㅇ루로다가살기버거움 4 1
씻기도 버겁고 일어나기도 버겁고 걷기도 버겁고 먹기도 버겁고 공부는 더할 나위 없이...
-
어케해야할지… ㅜㅜㅜ 답이 안보이네요
-
우우래우우래 4 0
ㄹㅇ이
-
오르비가 아직도 있구나 1 0
나도 소싯적에 여기서 뻘글도 많이 쓰고 그랬었는데 그립네
-
칼럼 좀 길어지긴 할 듯. 나름대로
-
첨융 공과대학이 아니네 9 0
이름이 너무 공대스러운데
-
갈길이너무먼데 머리는 안움직임 1 1
-
고3 현역정시러들 다들 학교 잘 나가고 계신가요? 2 0
제곧내
-
제발...
-
-
중2 과학 이거 ㄱ 보기 도대체 왜 틀린건가요.. 2 1
이거 개념이 400도씨로 가열한 원유 혼합물을 집어 넣어서 끓는점이 높은 애들...
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼