괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
창문자리 햇빛 많이 들어오나요?
-
이미 뒤도 안 보고 중앙대 등록하긴 했는데 옯붕이들의 의견이 궁금함
-
ㅈㄱㄴ 이제 퉆 되려나
-
에리카 vs 광운대 12
에리카 기계공학 vs 광운대 화학과 공대 vs 자연이라 이성으론 전자가 맞는 것...
-
혹시 과외 학생을 찾고 있나요?백날 과외문의를 해도 답장이 오지 않나요? 5분 만에...
-
국수는 원점수 (언매 미적) 치대 진짜 1도 안됨? 약대는 다 터짐?
-
서강대 2차 추합 현황 15
-
2과목 내신 진로과목은 보통 학교에서 개념하는걸로만 끝냄? 아니면 셤기간에 기출 한...
-
1. 25수능 승패의 순간들 2. 문학 교과서에서 작품을 선택하는 기준이란 3....
-
초코개맛잇다 3
-
어디가 나을거 같음? 재수 삼수 연고대 중경외시
-
좀 비싸네
-
사탐 교재 양 5
예비 고2인데 사문 세지 윤사를 선택과목으로 해서 메가스터디에서 최적 이기상 김종익...
-
역시 최상위권 입시 커뮤 오르비ㄷㄷ 에서 뻘글만 쓰고 다니는 나
-
어떤 느낌일까? 머리스타일부터 옷,포즈.배경까지 댓글로 알려주셈
-
사실임뇨
-
나도 기균 쓰고싶어 하
-
롤? 1
이거 하는건가
-
겨울방학에 진짜 6
방학해버렸다 놓은 방 배울 학
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼