괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
무려 4개
-
안녕하세요. 00년생이고, 현역 당시 나형 높은2 였습니다. 개인사정으로 대학 안...
-
ㅈㄱㄴ
-
아니 근데 어제 공부 13시간 20분은 어캐한거지 이게가능함? 해봤는데도 어캐했는지 모르겠음
-
안녕하세요, 경북대학교 새내기 여러분! 저는 경북대 컴퓨터학부 23학번입니다....
-
뭐다뇨?
-
넷상 평균학력 스카이 (진짜임)
-
ㅇㅇ..? 내가 잘 몰라서.. 주변에 정시 카이스트는 못들어봄
-
그립다 0
22 오르비
-
본인 초딩 때 문방구마다 100원 전자오락기 있었음 3
당연히 본인 포함 초딩들 그 앞으로 겜하러 하교 중 달려갓는데 이젠 겜기도 없고...
-
수학이 이해과목이라는 넘들은 지가 수학을 어떻게 푸는지에 대한 인지자체가 없다는거임
-
못생겻다 7
ㅋㅋ
-
뭐 내신 확대되고 등등 개편되면 내신 ㅈ박은 학생 혹은 자퇴나 검정고시생은 아예...
-
경희대 일본어 0
예비 몇번까지 붙었나요??
-
“미·러, 우크라 종전 위한 고위 협상팀 신속 구성 합의” 1
[서울경제] 미국과 러시아가 우크라이나 전쟁 종료 방안을 놓고 사우디아라비아에서...
-
인자 새르비 안한다 19
참이여 참이라니까
-
ㅇ?
-
알바하느라 이제봄뇨
-
덥네
-
뱃지 왔네요 4
뭔가 자랑스러워지는 느낌입니다.
-
중대 ICT 추합되어서 끄트머리면 전공선택할때 1지망 전전 선택해도 안되는건가요?...
-
아니 무슨 수능이 과거시험도 아니고 오픈북을 왜반대함 7
솔직히 뇌에 새겨진 알고리즘 기억빨로 치는거잖음 누구나 수능답지가 아닌이상 뭘...
-
학교 내신때문에 수능특강 강의 켰는데 미모가 ㄷㄷ 조정식 선생님 그동안 감사했습니다..
-
3등급…? ㅋㅋㅋㅋㅋㅋㅋㅋ
-
부경대 경상대 2
부경대 자율전공 경상대 영교, 경영 붙었는데 어디를 가야할까요.. 신설에 자전이라...
-
하.. 이제 진짜 성인이네
-
제가 잘못된걸까요? 13
정말 진지하게 제가 잘못된건지 몰라서 여쭤봅니다. 동생 대학교의 입학식에 데려다줄...
-
왜 득템은 부캐가 더 함? 근데왜그와중에세트안맞음?
-
혹시 왜 그런지 여쭤봐도 될까요 지금 강하 크게 불만없이 다니고 있고 평들 보고...
-
한 달이면 되려나... 감 너무 잃엇는데 ㅠ
-
유튜브나 인스타 싹 안되고, 인강만 들을수 있는 태블릿 있나요? 과외학생 어머님이...
-
제작을 보류할게요 이게 이번 수특의 고전 시가 중 길이가 좀 되는(4행 이상이거나...
-
옯평 분석 수정본. 76
아까 표본 중 제외해야 할 항목이 있어, 수정글 올립니다. (고등학생,학부모,훌리...
-
흠
-
홍창기 날려버려라
-
지금 헬스장인데 0
오르비언 조언을 받아서 횟수를 낮추고 무게를 늘림 PT쌤이 이제 분할해도 된다더라 Yeah~
-
이과는 의대합 많이 보이고 문과는 설합 많이 보임
-
고2때보다 못하는거같은데 하기야 글을 1년만에 보니 당연하겠다마는 너무스트레스받네
-
-
간호 중대vs이대 // 추합 연락 받았는데 고민ㅠㅠ 13
중대랑 이대 중에서 어디 간호가 더 낫나요? 둘 중 하나에 등록해 둔 상태고, 다른...
-
난이도 아시는 분 있나요 사람들마다 평이 다르던데 드릴 정도 난이돈가요?
-
생노베인데 또선생,이영수 누구 들을까요?
-
메모장을 벅벅써서
-
에타 옮긴학교 소속으로 바꾸고 싶은데 탈퇴해야하는건가요???
-
저번글에서 투표의 결과를 보니.. 강민철, 김승리 투표수가 거의 비슷하고 김동욱t도...
-
경상의 3칸 합격 12
지구과학2를했더니의대에붙었습니다여러분지2하세요
-
자이로 기출 돌릴려고 하는 데 인강 기출교재로 돌려도 괜찮나요??
-
중앙대 합! 17
개추좀
-
??
-
노래방 2
로메오.
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼