괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
경희대 3차 추합 다음주 월요일까지만 등록금 내면 되는건가요??
-
열명 뽑고 내가 점공 49등 예비 40번까지 주는데 3차 추합인데도 예비 번호...
-
편입준비하는건 비추인가요?
-
-
응원해주신 모든 분들 모두 감사드립니다!! 해외여행하다가 합격통지를 전화(국제전화도...
-
원래 1학기 학교 제대로 다니고 2학기 휴학하려 했는데 기숙사 광탈함 ㅜㅜ
-
합격했는데 어디를 가는 게 좋을까요? 통학시간은 비슷합니다
-
원점수 언미 화1 지1으로 93 100 1 47 47만 맞아도 연의가 뚫리는..
-
스카에서 물 머금고 웃참 챌린지 보니까 난이도 레전드네 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ 소리내면...
-
하아......
-
군대가기 전까지 시간날리는거 너무 아까운데..
-
어디감? 나는 닥후라 보긴함
-
본인은 학과 선택 실수함 근데 그 학교 붙어버림 이거보다 심하면 1000덕 드림
-
고혈압판정받음 살빼래 이제 고3인데 이나이에도 고혈압이 오나…
-
넘 ㅈ같당 0
하이구야..
-
살짝 불쾌하게 아프네
-
저 면 러버 ㄹㅇ
-
동국대 전전 0
예비 30 돌까요? 1,2차 합쳐서 13명 빠진게 말이 되는지,, 작년엔 70까지 돌아놓고
-
드디어 .. ㅜㅜ 오르비에서 도움을 많이 받았기 때문에 저도 도움을 드리고 싶네요...
-
나 금융권^^7
-
낼은 힘들겠지..
-
못 받는 거예요?
-
나군)명지대 자연과학대 39명정원 예비 80 1차 59-> 2차 47...
-
새터 신청기한 오늘까지인데 다른 대학 추합 기다리는 경우.. 6
지금 다른 대학 예비가 막차타거나 안될것 같아서 일단 최초합한 곳 걸어놨는데.....
-
[뻔한말x] 국어 5등급 국포자가 수능에서 1등급 받은 비법 (2) 3
나는 국포자였다. 하지만 어떤 '방법'을 깨닫고 성적이 비약적으로 올라 수능에서...
-
https://orbi.kr/00071991765 날마다 오는 게 아니다!...
-
안녕하세요, 다름이 아니라 현우진 선생님의 뉴런 강의와 수분감 강의를 듣고자 하니...
-
22: 기하 23: 확통 24: 확통 25: 미적 미기확 전부 한번은 멸망했는데...
-
윤사 사문 1
이번에 재수를 하게됐는데 윤사랑 사문중에 고민되서 글 적어봅니다 하나는 생윤으로...
-
보기 ㄱ 이 해설지에 염기쌍이 30개가 나와서 뉴클레오타이드가 60개로 구성된다는...
-
합격증에서 수험번호 어캐 지워요? 캡쳐했는데 갤러리에서 편집으로 하는거 맞나요
-
안되겠어 오늘공부 여기까지만 할까 ㅋㅋㅋ
-
미적 백분위74 4등급이 한완수로 독학하는거 추천하시나요? 0
독학서로 공부하면 고효율이라해서 고민중이에요
-
홍대경영 1
원래 이렇게 60명씩 찔끔찔끔 빠지나요?
-
서울대 연세대 한양대 홍대 건대 이대 교대가 한자리에 ㅋㅋㅋ 2호선만 타도 인생의...
-
Vortex
-
동국대 통계학과 2
동통 쓰신분 계신가요 예비가 너무안빠지는데 말이안되네요… ㅈㅂ..
-
성대3차추합떴당 0
네
-
닉넴 말해도되나?? 갑자기 내가 피방가서 초콜렛받는다는글에 덕코보낸거같은데 뭐지...
-
덕코 주세요 1
-
-
종류는? 1종수동
-
예비 52n이었는데 어디까지 될까 궁금쓰
-
680점 넘는걸로 기억하는데 고학부 2차 추합까지 불합이네 ㅋㅋㅋ 고대 뱃지좀...
-
성대 떴다 0
ㄱㄱㄱ
-
-
한정책 서강경영 5
한정책은 붙은 상황이고 서강경은 상향이었는데 붙을 것 같아서 여쭤봅니다 CPA...
-
경뱃 두가자~~ 4
아직 퇴근 안했지? 빨리 내놔 경희뱃 달고 분탕좀 치자
-
25수능 문법1틀 매체2틀이어서 간당간당하게 1등급 사수, 그래서 이번에 화작으로...
-
젤 어려운 문제조차 수특 레벨2 수준인데 만표가 미적이랑 5점밖에 차이안나네
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼