괴델의 불완전성 정리 반박
게시글 주소: https://orbi.kr/00071990037
- 1. 고전논리는 완전함
- 2. 산술체계는 고전논리로 나타낼수 있음
- 3. 산술체계는 완전함
__________________________
G="G는 증명불가능"
괴델은 "G가 증명불가능"함을 증명함
그런데 이는 G를 증명한것
G의 내용과 모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
저도 10분 질문드림 35
심심해
-
피로도 내놓으라고
-
맞팔구 4
-
한바퀴돌 가능세계있나?? 17명 모집인원인데
-
오르비에 정신아픔이들이 많구나
-
재능충 특징 10
잘생겻음
-
롤하실분 6
없나요
-
남자친구가 중하위권 성적에서 1년만에 서성한 성적대 나왔는데 심지어 수학은 나형...
-
CC여도 소수과에선 디메릿 많이 줄어들수 있나요??
-
억 크아아악 크아아아악 약간말실수한게 자꾸생각나 기빨려 이래서 새터는어캐가지
-
짠걸 아침에. 많이 먹으면 안댄다
-
서민 학살 멈춰라 우리도 대학 좀 가자 연고대 다니는데 반수할거면 합격증 나한테...
-
제 아이민입니다 7
2049372
-
롤첵ㄱ 3
ㄱㄱ
-
요즘들어 우울글이 눈에 많이 들어오는데데대부분 학벌로 자신의 가치를 결정내려하는...
-
흠..
-
진짜 명곡 추천 4
릴러말즈-gone
-
비상 혼자서 영화포스터 만듦(딴데는 걍 교과서같음) 국어는 왠만한 인강교재 이길 듯...
-
자퇴전 상담신청을 안받아줌 과사에 물어보면 메일보내라 그러고 메일보내니까 어제는...
-
1. 충동적으로 쇼핑을 한다.2. 간단한 요리조차 할 기력이 없어서 배달음식만 시켜...
-
구매 3
돈 탈탈
-
-
맞팔에 성공함뇨 뿌듯
-
내 컨설턴트는 0
빵을 보시긴 한거같은데 그게 나한테까지 오는 빵이 아닌듯 ㅠㅠㅠㅠㅠㅠㅠ아직 4 5...
-
넵
-
김범준 확통 3
괜찮나요? 아니면 다른 쌤 들을까요? 추천 부탁드립니다
-
홍대 추합 0
홍대는 보통 1 2차때 많이 빠지나요 아니면 전화 추합때 많이 빠지나요 법대 1 2...
-
살다살다 저런 가게를 보네요...
-
메디컬 제외하고
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
문장을 하나씩 털어내 주려다가 해설 흐름이 망가진듯 0
필요한것만 문제 해설파트에서 뽑아서 해설하고지문은 각 문단의 주요 문장을 청킹해다가...
-
뭐야 저 끼워줘요
-
군대 다녀와서 수능을 다시 준비중인 노베n수생입니다. 제 수준은 ebsi 정유빈의...
-
지방수vs지사의 4
지방수 최초합해놓고 인서울수의대 추합 기다리고 있는데 지사의가 갑자기 합격하게...
-
엄
-
07 : 너 재수해라 ㅋㅋ 하고 놀리기 가능 06 : 착한사람이면 너 3수해라 ㅋㅋ...
-
왜클릭?
-
공항에서 시립대까지 한시간 내로 가는 방법은 없나요 제발요 지하철 몰라서 헤매는...
-
ㅅㅂ 간절한데 ㅋㅋㅋㅋ
-
현재 성균관대 화학공학과 24학번입니다. 방금 성대 전전에 3차추합이 되습니다....
-
경북대 합격생을 위한 노크선배 꿀팁 [경북대 25] [알바팁] 0
대학커뮤니티 노크에서 선발한 경북대 선배가 오르비에 있는 예비 경북대학생, 경북대...
-
심리가 궁금하구나 결핍 때문인가 심리학 논문에 이런거 없나
-
질문해주실분 7
아무거나 ㄱㄴ
-
쉽지않네
-
인뎁스 1회차의 그 어떤 문제보다도 완벽하고 어려운… 문제가 만들어졌네요.. 정답률 2프로 예상…
-
작년 피드백이라도사서 풀어봐야하나
-
뭔가 도움되는 글을 많이 쓰고싶어요
-
지금 붙을거갗은게 충남 경영이랑 이미붙은 영남 전기가있는데 여러분은...
-
웹툰도 물론 작화 좋지만 각색하면서 킥이 너무많이 빠졌다
-
자기 사진 올리면서 취미, 생활같은거 구체적으로 소개함....? 전적대에서는 이런거...
쿠쿠리님 안녕히 주무세요이제 일어났어요
좋은 하루 되세요님도 좋은하루되세요
Why
ㄷ. 프라이머의 유라실의 개수는 X < Y < Z이다.
문자열 G에서 언급하는 "증명"이랑 괴델이 한 "증명"은 의미가 달라요
전자는 정수론을 형식화한 형식체계 내에서, 공리와 문자열 조작 규칙을 이용해 도출 가능한 문장인 경우에 증명 가능하다고 하는 것이고,
괴델이 한 건 그 형식체계 밖에서 그런 도출이 불가능함을 메타적으로 논증해보인 거에요
한마디로 님이 논증해보인 건 그냥 말장난에 불과함...
제가 정상이고 괴델이 비정상입니다
Be 정상 = 정상화
이 분 글에 진지하게 응대하지 않는 게 좋긴 해요증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
증명이면 증명이지 의미가 다르다는건 또 무슨 변명인지..
A를 증명했다 != B를 증명했다
그러게요
괴델을 빳다로 두들겨 패야 할 것 같아요
행렬연산에서 곱셈법칙이 적용되지 않기 때문에 일반적으로 AB != BA죠. 갑자기 이게 왜 나오냐고요? 심심해서요
증명한거면 증명한거지 무슨 말도안되는 반박이 주류 주장이라면 수학계는 그냥 븅갓의 모임인거같네요
쿠쿠리좌에 곱셈의역원을 곱해버리고싶다
그럼 1이되나요
우왕 이분 재수할 때 맨날 구경했는데 또뵈니까 반갑넹
또봬니까? 암튼