괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데 학교 기준 3등급임. 선택자가 8명이라ㅋㅋㅋㅋㅋㅋㅋㅋ
-
ㅁㅌㅊ?
-
사탐 약대 1
사1 과1 되는 대학으로 약대 ㄱㄴ한거죠? 사문지구 하려고함 + 이번 3모 32233 임
-
지역인재 의반은 2
반수 왜하는거야? 서울수도권을 왜 오고 싶은거지...
-
아아아아아아아으ㅡ 10
으아아아아아ㅏㄱ
-
김승맅Kbs 수특 공부하는데 갑자기 뒤에서 누가 툭툭치는거임 갑저기 패드 가리키길래...
-
[자료배포] 수능특강 화학1 1단원 문제선별 및 손풀이 4
수능특강 화학1 1단원 문항 19문항을 선별하였습니다 작년엔 수특 풀면서 문제 좋다...
-
강기분은 너무 비싸서….대성패스도 있어요 이원준이나 정석민 선생님 들을 실력은 아닌거같네요
-
생윤은 칸트를 잘못 가르치고 있다 - 칸트 입문 1편 0
*이 글은 필자의 뇌피셜과 드립이 난무하는 글입니다. 설명을 위해서라면 교육 과정의...
-
아닛 이럴수가 2
다음주가 월급날이라니
-
한지 vs 세지
-
3모 22번 1
스블 수강하고 22번 풀었더니 그냥 풀렸는데 정답률 3퍼라 당황했습니다 아직 그들이...
-
가끔 드립 문서 드가보면 분명 해축갤발 드립인데 롤갤이 원조라고 적혀있음.. 아 그저.. 롤북공정
-
저는 딱 저정도 하는데
-
경제학과를 와도 힘든데 공대면 어우..
-
물2 0
바이럴 말고 냉정하게 말해서 과외랑 현정훈 쌤 등등 과외랑 학원 없이 배기범,...
-
-
"사무직보다 킹산직" Z세대, 블루칼라 직업관 바뀌었다 1
[파이낸셜뉴스] Z세대 구직자 10명 중 6명은 높은 연봉, 안정성 등을 이유로...
-
강사 추천 5
김범준 수강생입니다 미적이고요 수학은 작수 88이었습니다 허들링을 들을 생각이었는데...
-
(작수 성적이 왜 저런지 설명 좀 하자면... 30문제중에 풀수있는게 0개여서 전부...
-
아 샹 2
지하철 앞에서 놓침 지각인듯
-
1권 연습문항만 풀고 다른거 나해에 해될까요?
-
꿈이 너무 방대해서 설명하기 힘들다
-
공부하기 싫다 2
-
지금 투사탐(생윤 사문)으로 돌릴 건데 노베입니다 개념 빠르게 돌리고 싶은데 그냥...
-
아웅 배고파
-
카풀 차 놓쳤네 4
버스타고 2시간인데 아
-
10번치고 넘 어렵네
-
수학 개념 디테일 떨어지는 고3아이 도움 좀 주세요 1
안녕하세요 유리멘탈 고3 여아 이번 3모 수학에서 고1,2 때는 보도 못한 점수를...
-
국영수 공부법 0
이번에 채점했을때 국영수 323 나와서 진짜 자살하고싶었는데 성적표 나와서 보니까...
-
모고 보면 매번 2 나오다가 이번 3모 때 1을 받았어요 수학 공부를 한다고 김승리...
-
제가 정치,시사 같은 데 관심이 많아서 배경지식이 약간 있습니다. 생윤은 내신에서는...
-
학교도착 1
-
-
와 이짤이쁘다 8
-
벌써 벚꽃 핌 0
-
프메랑 원솔멀텍은 기본으로 하는데 내신용으로 하나 더풀듯함 마더텅이 무난픽일까요?
-
국어 1번틀 매체 2틀 단어뜻도 틀리고 수학 단답형 앞에3점 두개틀리
-
파업은 한 명이라도 빠지면 균형이 완전히 상대쪽으로 넘어감 게다가 설연이면 걍 게임끝이네
-
션티 들말 0
3모 94점 나왔는데 지금 션티 키스로직 듣고 있습니다. 현역이라 고2때까지 모든...
-
수능날 당일에 시험장 도착했는데 가방을 안 갖고 온 꿈을 꿨음 그래서 ㅈ됐다 했는데...
-
국어 : 독서 4틀 - 예술지문에서 개썰리고 3틀.. 3문제 찍었는데 2개 맞아서...
-
날씨가이게뭐야
-
치킨도
-
계획 0
수학 -진도 중복조합 파트 영어단어 -진도 영단어장 day2 영어 3모 3지문 분석...
-
D-230 0
수학 -복습 원순열 오답노트,중복순열,같은 것이 있는 순열 안풀리는 문제는 더럽게...
-
얼버기 16
-
또11시간잤네 4
내잠패턴
-
얼버기 1
부지런행
-
국어: 문학 2개 틀, 화작 1개 틀 보통 독서->화작->문학 순으로 풀어나가는데...
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼