괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990300
______________________________
제1정리 반박
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
그리고
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
______________________________
제2정리 반박
1. 무모순은 참과 동치
2. 완전성에 의해 참은 증명가능
3.따라서 무모순을 증명가능
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좀 비싸네
-
사탐 교재 양 5
예비 고2인데 사문 세지 윤사를 선택과목으로 해서 메가스터디에서 최적 이기상 김종익...
-
역시 최상위권 입시 커뮤 오르비ㄷㄷ 에서 뻘글만 쓰고 다니는 나
-
어떤 느낌일까? 머리스타일부터 옷,포즈.배경까지 댓글로 알려주셈
-
사실임뇨
-
나도 기균 쓰고싶어 하
-
롤? 1
이거 하는건가
-
겨울방학에 진짜 6
방학해버렸다 놓은 방 배울 학
-
LCK 7세트 이상 출전하면 CL 못뛴다고 함.. 근데 얘네도 플옵 못가면 두달 쉬냐??
-
그냥 수의사 자격증만 인증하면 되는거 아닌가 왜저렇게 구구절절 변명임 흠터레스팅
-
전추 질문요 4
예를 들어 5명한테 저나돌렸는데 4명이 포기했다면 그날 바로 다음 사람 4명에게...
-
그 손해본 금액은 공중증발하는건가요? 그니까 아예 없어진 돈이 되나요?
-
현직인척 하면서, 다 아는척 하면서 니가 가지고 있는 정보들이 다 맞고 그게...
-
너무 부담스러워하려나 내가 생기부에 구라치는 법은 경지에 이르렀는데
-
이런 얼굴을 진짜 좋아함 다음생에는 ㅈㄴ 남자답게 잘생긴얼굴로 태어나고싶구나
-
치고 수능 들어가면 그래도 덜 긴장하겠쬬 이번 수능 만점자도 그랬다는 것 같은데...아닌감
-
자세한 건 옯스타에서
챙
무슨 뜻인가요
괴델은 G가 증명 불가능함을 증명한적이 없으므로 허수아비 공격의 오류
증명 불가능한 명제가 적어도 하나 존재한다는 것인데, 그 명제가 G라고 한게 아니잖아요
아니 ,G가 증명불가능하다는걸 증명한거 맞다고 하는데요?
쿠쿠리님 말이 맞습니다
G를 증명했다고 가정하면 G와 모순이므로
괴델은 G를 증명하지 못했습니다
???
인정할까요
저 어떤분이 기부해주셔서 만코인 얻었는데 이걸 막쓰긴 좀 그렇네요
조금만 인정하겠습니다
천덕코 드릴까요?
감사합니다
전송함