괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㄹㅏ 1
ㄹㅏ
-
수특만 풀면 저능아되네
-
ㅈㄱㄴ
-
있음??
-
뭐 먹지 2
배고프다
-
당분간 이놈이다
-
-
시발 그만나와
-
사이트 꼬ら지가 이게뭐냐
-
ㅠㅠ 진짜 많이 빠지면 좋겠다 ㅠ 2,3지망 붙어서 좋긴하지만 1지망까지 붙으면 더 좋으니까
-
금지어 ㄹ ㅏ 는 뭐임 ;; 심지어 저 안에도 ㄹ ㅏ 있네
-
지잡대 합격 12
뱃지는 컴으로만 신청할 수 있나여
-
(필독)성대 예비 어떤기준으로 끊어서 안주는듯 합니다 6
점공상 예비9등정도인데 노예비여서 의아해서 연ㄹㅏㄱ부탁드렸는데 기준이 특정점수인지...
-
먹는 새끼 도대체 뭐하는 놈이지? 에반데
-
결과는 안나왔지만 전화가 온다면 바로 결정해야한다고해서 미리 정하긴 해야할거같아서...
-
소...솔직히...저...저는...프..프리렌이...시..싫어요
-
과기대 추합 7
2차 많이 안빠졌나요?? 3차부터 좀 빠질려나..
-
-
작수 망해서 3뜨긴 했지만 나 수학 막 그렇게 못하자 않고 중딩 때 개념도 대충...
-
솔직히 위병소 8
출퇴근 확인로봇 그 이상 그 이하도 아닌거 같은데 무인으로 못하나..
-
오류비 드래곤볼 0
오류 4개 더 모으면 소원 빌 수 있는거임?
-
너 누군데 갑자기 이래 비호감작뭐임
-
-
몇명 빠졋나요 원래 잘 안도나 이렇게ㅜ
-
영어 해석은 다 되는데 왜 답이 항상 두개씩 나오는 이유가 뭘까요?? 0
대학교 와서 잠시 토플 텝스도 했어서 해석은 그냥 다 되는데 왜 항상 선지만 가면...
-
얼버기 0
-
뱃지 어제 신청했는데
-
-
뭐가있나보네 0
상범씨가누군데
-
상범이가 누구임 4
벤쿠버 타이탄즈 메인탱커?
-
ㅋㅋ
-
-
https://orbi.kr/00071842378/2025%20%EC%84%B1%EB...
-
이거뭐임?
-
그런건가
-
은테 달고싶다
-
정답 4
평일은 매일 들어가고 주말은 최소 하루는 들감
-
하.... 오늘 외이러냐 으이엥 우웅오뿡이바부야지켜죠뜌땨따
-
으아아아아아아아악 논술도 좋아 정시도 좋아
-
시대컨이나 선생님들 개인컨 풀면서 드릴,빅포텐 같은 n제도 보통 같이 푸시나요?
-
음 메디컬 빼고요ㅠㅎㅎ
-
20년도 수능 봤었는데 요새 문과 수능 엄청 어려워졌다면서요? 제가 봤을 적에...
-
어떰??
-
클ㄹㄴㄷ 이거 볼려고 했는데 스포 당함 그래도 볼만함?
-
아시발 왜이러지 벙신짓 두번 연속으로함 ㅋㅋㅋㅋㅋㅋㅋㅅㅂ
-
근무 시러 5
낼은 안 들가서 다행
-
살이 안빠져 7
하 ㅅㅂ
-
. 6
가각간갇갈갉갊감갑값갓갔강갖갗같갚갛개객갠갤갬갭갯갰갱갸갹갼걀걋걍걔걘걜거걱건걷걸걺검겁것겄겅...
-
나 안아주고 쓰담쓰담해죠,,,,
-
캡틴4재밌냐? 3
흠...
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼