괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
젤 어려운 문제조차 수특 레벨2 수준인데 만표가 미적이랑 5점밖에 차이안나네
-
다 어디갔음?
-
맥북 사서 질문 2
맥북 처음 샀는데 512기가 사서 외장하드 사야 할 거 같은데 찾아보니깐맥이랑...
-
팔자니 장투하기로 결심했던걸 깨고싶지 않고 추가매수하자니 고점에 사는거같고 이래서...
-
안녕하세요 수학강사 이대은입니다. 오늘은 문제도 많이 풀고 수업도 듣지만 성적이...
-
경희대 합격 14
-
아 우울하다 1
전여친이 태그해서 내가 공유했던 스토리 보관함에서 없어짐... 걔 보관함에서 지웠나봄
-
헤이헤이코타에테 8
다레카이마센카
-
오타쿠 빙고 0
애니 행사는 안 가봄,근데 지스타 부코 갈 계획임 한국 일본 애니메이트,굿즈샵 다...
-
갠적으로 궁금 의치대 둘 다 지방으로 가정
-
-
아님 정해진 시간부터인가요??
-
지금 예비1번이긴 한데 추합 잘 안도는 학과라서 엄청 걱정되네요
-
하고많은 학과중에 왜 난 내가 떨어지는 학과만 쓴거냐 존나 열불나네
-
중앙대 등록포기 12
추합 전화로 와서 등록포기한다고 말했는데 다른 거 안해도 되는거죠?
-
븃
-
이 국어 평가원 문제 오류 아님?? 피램풀다가 의문 7
선지 1번이 적절치 않은건 인정ㅇㅇ 선지 2번에서 모방론이 대상을 재현하기만 하면...
-
냥뱃 획득ㅎㅎ 4
내년에는 서울대를
-
일 힘들다 0
등록금 부모님이 안 내주신대 ㅠㅠ 내가 벌어야지 뭐..
-
하체 좀 있는데 체지 15정도면 솔직히 정핏은 울슬랙스 xl도 다 안들어가고 존나와이드밖에 못입음
-
고대 점공 12
중앙대 경영으로 염탐했는데 너무부럽네요ㅗㅠ 폰으로 적은거라 오타있을 수 있어요
-
이런개잡대가 갱신을 안해줘서 알길이 그거밖에없다
-
난 아직 0
초5-6때의 정신으로 살아가고 유튜브 알고리즘도 그때 취향으로 가득 차 있는데 나...
-
추합돼서 딴 대학 가라고
-
몇호선 몇호선 이제 술게임 마스터가 되었다
-
고3부터는 영어 모의고사 체감 난이도가 많이 올라간다 그러던데 듣기 문제 난이도도...
-
질문받아요 56
물2 인강 하나 들은 기념 신상 국어 영어 안됨
-
미치겠다 0
도로주행 또 떨어졌어 억까 개심하네 -3만원
-
중대 솦 0
혹시 예비 전화 받으시분 몇번까지 받으셨을까요…? 제가 얼마 안남았는데 불안해서..
-
제곧내 입니다 수능 국어 나비효과만 듣고 혼자 기출 돌려서 2등급 가능할까요 글...
-
방어 vs 과통소 방어2 열삼 근무가 없음(새벽,오전,오후,석간 이렇게 있는데...
-
'초콜릿'은 영어로 Chocolate인데 이 단어는 스페인어 Chocolaté에서...
-
아 공부하기싫다 0
수학했고 경제했고 남은게 국어밖에 없는데 국어는 진짜진짜 하기싫단말이지...
-
계정 새로 만들려고하니까 이미 가입된 계정있다고하는데 걍 탈퇴하고 만들어야하나요...?
-
피시방갈까 6
던닝크루할사람잇으면 바로가는데
-
전전이랑 융공중에 고르는거 언제함 중대 중앙대 추합 다군
-
난 출근하러...
-
재수 때는 친구 한 명 있어서 더프본 날 밥 먹으면서 현대시가 어땠고 22번 어쩌고...
-
아니면 내가 못하는건가
-
수학 개념공부 0
수2 가물가물한데 시발점 다시듣는건 좀 그런가요?? 진도 나갈때 열심히 강의 필기한...
-
지금 2차까지 나왔는데 예비 7번입니다. 15명 뽑는데 가능성 있을까요?
-
학교 집 둘다 먼 4.5면 걍 3.5가 낫겠죠...? 어차피 영화관 알바해서...
-
누가 그러던데 과탐할거면 2년잡고 하고 일단 사탐으로 이번수능보고 국영수...
-
난 학생이고 나 수학문제 풀때 쌤은 폰보는데 그시간이 30분에서 40분 되는듯...
-
내신 cc 받는 가정한다고 하면 확통을 선택한 거 자체가 불리할까요? 서울대...
-
개에바긴해
-
의치한수 : 오지마라 약간 : 오세요~ 우리과 좋아요~
-
잇올 현역 6
원터스쿨 언제끝남? 현역 친목 미치겠음 ㄹㅇ ㅋㅋㅋㅋ
-
-
중대경영 이대 자전 17
지방학생이에요... 이대는 전장이고 긱사도 붙음 중대 경영은 오늘 전화 추합이라...
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼