괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
미적분 수분감 1회독 하고 이제 뉴런 하려고 하는데 수분감 2회독하고 n제를 푸는...
-
ㅇㅇ
-
남겠다
-
카케구루이 4
좋아하시는 분 있? 저는 도무지 사오토메 메아리의 인기를 납득할 수 없음뇨 내 취향 아님ㅡㅡ
-
우와 0
내 글 3연속이네 ㄷㄷ
-
검찰 특 8
숭실대 마크 따라함
-
진짜 내전역보다 더 기다렸다 무자식아
-
진짜어디감? 7수하러감?
-
사실 최애는 쟈바미 유메코지만은 모모바미 리리카도 엄청 좋아하는 관계로 샀다...
-
(재업)2209 국어 모의고사 점수 맞추면 2500덕 8
등급컷을 잘못 알았네용 ㅎㅎ
-
확통 도형 0
확통 사탐공대 선택했습니다 현우진 듣고있는데 수1때문에 도형노베 들어야할까요?
-
디아카이브 모고 푸는데 100분해서 77점나옴 14 15 17 22 29 30 틀림...
-
제발여
-
이제 내 닉넴보면 숭실대학생이라는게 옯붕이들에게 각인된듯
-
이제 일어남 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

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

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

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