괴델의 불완전성 정리가 이해가 안돼요
게시글 주소: https://orbi.kr/00061174872
배경지식책 펴놓고 읽는데 이해가안돼서 나무위키 네이버블로그 유튜브 3시간째 보고 있는데도 정확히 무슨 소린지 모르겠어요
명쾌하게 풀어놓은 강좌나 칼럼 없을까요
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어질러놓고 나왔는데 치울생각하니 아찔함
-
냠냠배고팟
-
작년엔 못버텼었는데 올해는과연 벌써부터 무섭고불안하네
-
단어 끝나서 할거없으니까 듣기글 시키네
-
대학 어디가 기준으로 정시 70프로 컷은 숙대공대 입결이 숭실대 공대보다 좀 더...
-
냥반 vs 연공 1
연대도 높공(계약x)이라고 쳤을때 어디가시나요?
-
가능??
-
첨 밥 먹을때 왤케 속이 쓰린지 모르겟어요 이런분 잇으신가요??
-
오르비 망함 0
-
생윤 개념 0
노베 기준 최대한 빨리 끝낸다고 했을 때 개념 몇일 컷 가능?
-
-
시대인재 재종 대기 어느정도 걸릴까요? 시대인재 다니시는 분이나 대기이신분...
-
사람진짜너무많아 이걸 어케 매주 했지 하..
-
자랑스럽다 나 자신
-
헤매면서 돌아다니다가 11
이 등신대에 이끌려서 들어갔다가 이거 사버렸음
-
네.
-
요정도?
-
짱재밌을듯 리스닝만 좀 되고 스피킹 젯따이불가라 동네 설명해주시면 아아 으음 하이하이..밖에 못할듯
-
9모 42623 수능 54445 였고 이번에 군대 끝나고 복학 기다리는데 1학년...
-
삼각함수니까+조건 (나) 가 뭔가 의심스러움 으로 주기 확인해야 하는건가요? 일단...
-
얼버기 8
사실 점심 먹고 옴 룸메 줄 간식 챙겨야지
-
사람은 왜 이리 약할까 10
잠도 겨울잠처럼 몰아서 자고 밥도 먹고 싶을때 몰아서 먹고 이래도 건강에 문제가 안...
-
얼버기 2
-
저희엄마는 엄마차에 아빠 태우고 다니다가 눈맞았다는데 처음 들었는데 신기허네… 나도 차타고댕긴느데…
-
현역 수시에요 아직 아무것도 시작안했는데 기출먼저 해야 하는거 아닌가요..?
-
진찰받지 않는다
-
현역 정시 질문 3
내신 성적 4점대 초반 정시 전향한 학생입니다 모고성적이 국어는 항상 백분위99이상...
-
평형점에서 탄성력=중력, 물체의 운동에너지 최대 이 2가지 말고 더 쓸 수 있는...
-
단국대 학고반수 0
단국대 학고반수 예정인데 수강신청 대충 아무구나 주어 담고 학교 안가면 되나요?
-
자사고 13
자팔고 헤헤
-
하
-
현역이고 일단 공통만 들을라하는데 장단점 같은거 정해주실수 있나요ㅜ 시대는 쌤도 많으셔서 못정해서ㅜ
-
이미 몇 번 뵌 적 있는 선배님이라 반갑네요
-
???
-
질문하면 답변 가능하실까요 ?? 궁금한데 몇개 있어서
-
아공부시러 4
아시발 대학 한번에갈걸.... 아진짜공부존나하기싫다아아아
-
-
원작이던 드라마던 누가 봐도 세화여고 연상되게 네이밍 해놓고 학교를 무슨 싸이코...
-
사진에 저 상황이 구체적으로 무슨 상황인지는 영상을 안 봐서 모르겠는데 사진에 나온...
-
마스크껴야겠다
-
수분감 마더텅 0
마더텅만 있는데 수분감 사서 먼저 풀고 마더텅으로 부족한거 채워도돼요?? 아님 수분감만 풀어요?
-
대통령할거야 3
투표 ㄱㄱ
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
원글: https://orbi.kr/00072248045/ 요약:"발상적인 풀이...
-
아니 1
방금 아파트 어린이집 앞 지나가는데 내 허리만한 남자애가 엄마랑 가다가 나 보고...
-
다 때려치고 푹 쉬고싶다
-
반수를 해보고 느낀건데 10
6모 9모 수능은 전부 독립시행같음 난 9모때 국수 각각1틀에 탐구 다맞아가지고...
-
난 왜 살까 4
살아도 되는 거 맞나
-
원래 내가 전자제품 사는거 내돈으로 사도 부모님이 싫어하는데 부모님이 사주겠다고 함...
-
수분감만 n회독해도 기출은 문제없나요? 교사경이나 교육청 그런거풀려면 자이도 하는게나을려나
어려운거로 유명한 ㅋㅋ
메타수학을 해보려다가 스스로의 능지에 대해 메타인지를 하게 되는..
저거 나름 쉽게 풀어놓은 책 있는데 그게 어려운 거로 유명함;;;;
"괴델에셔바흐"인가요 고2때 친구가 추천해줘서 읽다가 포기했음요,,
ㅗㅜㅑ 왜 이런걸...
대신 수능에 이거 나오면 나만 맞출수 있음 캬캬
캬
위에 내용은 A가 아니다 라는걸 증명할수 있지만 A다 라는건 증명할수업다는거 맞나여?
대충 "공리계 내에서 어떤 명제가 참인지를 증명할수 없다" 정도로 알고 있는데...
정확하게는 모르겠어요
음 대충 수학은 정확하지 않다 ! 이런 명제를 증명하기 위해서 숫자를 이용해서 뭔가 논리식을 만들었고 그 만든 논리식이 모순임 을 이용해서 수학은 모순이 있다 ! 이걸 증명했다 .. 라는거같은데 아닐슈도 있도 어렵네여..음.....
전혀 다른 소리임;;
무모순은 가능한데 완전성이 불가능하다는 거에요. 둘은 다른 개념임.
무모순: 거짓임을 밝힐 수 없음
완전성이 불가: 참임을 밝힐 수 없음
따라서 증명할 수 없음
이런건가요..?
무모순이 거짓을 밝힐 수 없다라고 하는 것은 좀 아닌 거 같고, 그냥 공리들이 주장하는 사실들 간에 모순이 없다는 이야기에요.
완전성이 성립한다는 이야기는 한 공리체계 내에서 모든 공리가 참임을 연역적으로 보일 수 있어야 한다는 말인데, 괴델의 불완전성 정리는 그것이 불가능하다는 것을 보인 정리입니다.
무슨 책인가요??
이책이에요
저거 쓴 사람도 제대로 모르고 쓴 것 같아요