괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오랜만에 물리학과/자연대/공대 질받 34 1
오랜만에 여러분께 도움 좀 드리고자 합니다 그냥 물리학과, 자연대, 공대 전체적으로...
-
동국대 복전 / 전과 쉬운가요? 10 1
어문 -> 상경 전과한다고 했을 때 1. 학점컷은 어느정도인가요? 2. 전출인원...
-
이 대학들 순서 알려주실분 6 1
제 수시 지원 대학들인데 1-6망 순서를 모르겠어요 포공 카이 성대 자연2장 성대...
-
상의검정 캐시미어 터틀넥에 검정 가죽자켓 하의검정 슬렉스에 검정 구두 이렇게...
-
초콜릿 ㅇㅈ 6 0
3살 어린 이성지인이 줬음 하하하
-
맛있는건~ 6 1
정말 참을 수 없어어~
-
이대로면 중국문화일 거 같은게 공포네
-
올해 실적 나왔다 0 1
한림대 의대 서강대 전자공학 고대 보건정책 서울대 공대 ㅅㅌㅊ?
-
추합 안 돌고 있나요? 0 0
지금 대학들 전반적인 분위기가 추합을 많이 안 돌리는 분위기인가요? 작년 재작년 다...
-
현역때 13155맞고(국수영탐) 이과 대학 목표를 달성 못해서 성에 안 차는 학교를...
-
06=틀 5 0
ㅇ
-
하체 좀 있는데 체지 15정도면 솔직히 정핏은 울슬랙스 xl도 다 안들어가고 존나와이드밖에 못입음
-
메카드 한장이면 충분해 9 0
파이더 어빌리티스파크여 장렬하라번개 파아아아아아아아악
-
문과머리가 공대가면 4 1
고생 많이 하겠지 ㅜㅜ
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼