괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이제 일어남 7
근데 다시잘까 진지하게 고민중임뇨
-
아침 ㅇㅈ 15
힘좀 썼어요
-
경희 자유전공 (국제캠) vs 이대 통합선발 -둘 다 학점 상관없이 2학년 때 학과...
-
지금일어남 1
하이
-
전화추합 제발 1
하나만이라도 좋으니까….
-
나 적분을 너무못해 ㅠㅠ
-
흑흑 ㅠㅠㅠ
-
수분감 해설 0
수분감 해설을 쉽게 푼 문제도 다 해설 강의 들어야할까요? 현역이라 시간이 넉넉한...
-
https://orbi.kr/00028893538 간절하신 분들 도움 되셨으면...
-
그날이 왔다 2
현재 가군 예비3번, 나군 예비3번 하나만 되면 좋겠다 ......
-
얼버기 1
ㄹㅇ 얼버기
-
어디라곤 말 못 함
-
대학커뮤니티 노크에서 선발한 서강대 선배가 오르비에 있는 예비 서강대생, 서대...
-
인서울 공대가는게 목표인데 확통 사탐 같이 선택하면 불리하지 않나요?
-
막차탈줄알앗던카드 근데그건허상이었고 내뒤로10명이나들어왔고 원서영역확실한9등급이라는게밝혀졋어 슬프다
-
어르버르기 1
-
뉴런 수분감 끝나면 김범준 기출 한번 하려고 하는데 ㄱㅊ음?
-
투투 추천받음 5
-
ㅇㅂㄱ 0
내위치 지금 전적대새터..
-
무수면롤창ㅇㅈ 3
어 형은 독서실이아니라 피씨방을왔어~
-
ㅇㅂㄱ 6
ㄹㅇㅋㅋ
-
반수할건데 1학기에는 시간날때 수학+탐구만 제대로 하고 국어는 감 유지만...
-
밤샌사람 손 2
일단 나부터 예비 1번인데 추합 지금까지 3 1 1 1 1이라 6차추합 안돌아도...
-
이따 공부해야지 2
토익 공부 드가자~
-
얼리 버드 등원 2
버스기다리는중
-
얼버기 4
기상
-
기본코드+유형코드 vs 기출코드 뭐로 시작하는게 좋을까요? 26수능준비 시작하신분 조언 부탁드려요!
-
더 자고 싶어서 누워도 잘 수가 없는 병에 걸린 것만 같아요
-
새르비 끝났나 4
-
입결 빼놓고 어떤 과가 더 괜찮은가요?
-
제자야 기상해라 3
넵. 다들 오늘도 화이팅
-
내전 끝.. 1
자야지 이제..
-
얼버기 2
-
안녕하세요, 디시 수갤·빡갤 등지에서 활동하는 무명의 국어 강사입니다. 지난 번에...
-
친구코드 2772 3749 2097 피크민 재밌어욥
-
살다가 주변에 사주타로미신에 집착하는 사람을 보면 이상하게 생각하지 마시고 그만큼...
-
걍 지젤이랑 사귈까 ㅇㅇ
-
곧 렙업이다 2
곧 40렙이군...
-
대학가면 5
잘할수있겠지? 걱정이다
-
나는 오르비를 지켜야하는 사람이니까 빨리 어서들 들어가봐요
-
다 자 인제 1
난 안 자
-
오르비 잘 자! 9
좋은 꿈 꾸기
-
자야되는데
-
이 시간대엔 이런 분들이 있으시구나
-
잘자요 6
영원히 깨지 않는 꿈속에서 평생을 해매고 있어요 잘자요
-
다들 찐친 10
진짜 친구라고 생각하는 사람 몇 명 있음?
-
편의점 팟 구함 7
합류ㅜ하셈

쿠쿠리님 안녕히 주무세요이제 일어났어요

좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다

Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼