괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
옯창빙고 3 0
26이 뭐임?
-
ㅘㅡㅑㅕㅕㅜ 1 0
ㅓㅠㅜㅏㅡㅏㅏ
-
주취감경이 안되는 이유 2 0
바로 형법 제10조 제3항에 답이 있습니다. 위험의 발생을 예견하고 자의로...
-
하이츄 4 0
고트
-
고대 2차 나온듯요 1 0
근데 예비 현황 안줘서 뭐 딱히 서성한쪽엔 의미없긴합니다..ㅠ
-
건국끼얏호우~ 23 3
149->104->65
-
고전은 양치기가 답인가요 4 0
기출, 사설 양치기 하다보면 수능날 다 풀리나요?
-
입결 스트레스,집착 2 0
입학하면 사라지나요 하필 상위권도아니고 ㅈㄴ복잡한라인 (국숭세+곽+아인) 이라서...
-
똥먹기 7 2
미소녀 똥 우걱우걱
-
예상외로 이시간에 사람이 없어서 새르비보다 좋음 3 0
ㅇㅇ
-
현우진이 하지말라는거 뭐가있지 7 0
로피탈? 근사? 또 있나...?
-
갑자기 현타온다 3 0
나보다 4~5살 어린 애들이랑 뭐하는거지 난 탈릅해야하나
-
드디어 뱃지가 내손에 2 0
3년의 꿈을 이루는군
-
숙대 첨단공학 vs 숭실대 화공 11 0
어디가 나을까요 ㅠㅠ 숙 첨단공학은 자전처럼 ai 컴퓨터과학 데이터사이언스 등등...
-
명언쎄벼왔다 3 2
ㅇㅇ
-
홍대 법학 좀 빠지네요. 3 0
1,2차 합 예비 72까지 합격.
-
틀의 기준은 잘 모르지만 2 0
잼민의 기준은 09부터임 남동생 09인데 얘는 잼민이임 반박받음
-
경북대 사회 2 0
경북대 사회학과 빠지시는 분 안 계신가요ㅠㅠ
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼