괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
연고대급인가? 수시만 뽑는데라 잘 모르겠네요
-
ㅈㄱㄴ
-
범붕이 근황 1
범바오는 이걸 보는 즉시 강의를 올리도록
-
점공상 최초합 안정 -> 불합 -> 1차추합 무모한 도전같아 보였던 정시파이터 입시...
-
제발 어제처람 올라줘
-
5차 추합 1
작년 통계를 보니 막판에 추합이 확 더 도는 경우가 많이 있던데 원인이 뭔가요?
-
지금 너무 안빠진다고 낙담할 필요는 없어요 전화추합은 결원이 생기면 바로바로 전화를...
-
아무도 안봄.... 쇼츠올리면 조회수 기본 10만 나오는거 아니었음?ㅜㅜ
-
이번에 기숙들가서 선택적으로 수업을 들을 수 있는데 정법 개념강의가 5월까지더라구요...
-
광명상가 라임이고 19면 뽑는데 3차까지 14명 뽑았습니다 예비 5번인데 가능성 있을까요?
-
개웃긴다 ㅋㅋㅋ 오우석 차 뽑아준 삼수생 이젠 대학 웰컴 키트를 받고 싶은 재수생...
-
강의패스 환급 0
기균 약대는 왜 환급 목록에 없죠? 수의예 의예 치의예는 있는데 약학만 없는데...
-
결국 나는 수능망한 N수생일 뿐인 것을 그 누구도 패배자의 변명따위 들어주지 않는게 세상의 이치
-
이미 마법사 직전인데 30대라고 뭐가 다르겠나
-
새터비용 6
보통 얼마하나요? 너무비싸서 부담되네여ㅠㅠㅠ
-
외대 7칸 불합 5
최초 예비 2번이였는데 3차까지 한명도 안빠지는게 말이 되는건가
-
오늘 붙은분들도 연고대 꽤 붙어있음 지금 498 밑으로는 사람 많이 없어서......
-
현재 이대 사회과학대학 합격해서 진학 예정입니다 이대도 좋은 학교인데, 수능에서...
-
22번 틀림.. ㅋㅋㅋ 심지어 쉬운문제들은 문제 하나에 지문들이 다 개길어서 검토할...
-
나는 아이가 싫다…
-
제가 수학 기조를 평가할 실력은 아니지만 혼자 생각해봤을때 22,23 어려운 기출...
-
ㅈㄱㄴ
-
2차 추합 54명밖에 안빠지는게 정상이냐.... 올해 되려나?
-
스블 1
스블 교재 활용 어떻게 해야하나요 ? 필기할게 엄청 많은데 그냥 다 필기하나요...
-
다들 허락 어떻게 받으셨나요?? 처음에는 반대하셨는데 설득 성공한 분들 어떻게 하셨는지 궁금해요ㅜㅜ
-
ㅈㄱㄴ
-
기분 좋아졌어 1
ㅎㅅㅎ
-
부엉이우흥 5
?
-
아. 16
저녁추천해주세요 돈가스금지 우동금지 함버거금지
-
근무 개 시러 7
근무 때매 폰도 못 쓰고..
-
-
이쁜 캠퍼스
-
-
수능날 주의사항 9
가장 중요한거 하나씩 아래에 써주시고 가셈뇨
-
못하는 건가? 입증 수단이 없나요?
-
뭐지
-
좀 알랴주세요 뭘 물어야 할지도 모를 정도로 막막합니듀... 1학년 1학기 시간표는...
-
성대 자과계열 0
654.9x까지 내려왔네요 진학사 믿을게 못됨 ㅋㅋㅋ ...
-
1. 중앙대(안성) 동물생명공학과가서 농축산 관련 직장 취업 2. 한기대 가서...
-
최근에 본 가장 간지나는 광고카피... 카톡 상메로 걸어놨음 ㅋㅋㅋㅋㅋ
-
한양대 경영 0
한양대 경영 2차추합까지 몇명 빠졌나요??
-
서강대 인문이랑 영문 커트라인 어디까지 뚫렸나요?
-
합격예측이 하나도 안됐는데 뭔 합격예측은 진학사 ㅇㅈㄹ하고쌌노
-
중대랑 냥대 비교가 그렇게 문제될법한일임?? 신고가 들어와서 블라를먹이는거면 좀...
-
정말내신스럽다 5
ㅅㅂ
-
냥대 3차추합 1
떴어요 기다리시는분들 예비빠진거 확인해보시길
-
살사람
-
수1 기초 or 실전개념이 사탐 하나랑 강의수 똑같네 수학 포기했으면 지옥을 맛보는거임 ㄹㅇㄹㅇ
-
형용할수없는 역한 감정이 넘실한 파도같음 아좆같네 진짜 왜살지 내 멘탈이면 40되기전에죽을것같은데
-
두찜 맛잇나요 5
안먹어봣는데 맛잇으면 먹으러 가볼려구요
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼