수학 붕괴 시키는데 성공함
게시글 주소: https://orbi.kr/00072599327
귀류법
1. (A가 거짓->모순)->(A가 증명있음)
1의 대우명제 2.
2. (A가 증명없음)->(A가 거짓 and 무모순)
무모순<->참
3. (A가 증명없음)->(A가 거짓)
3의대우명제 4
4. (A가 참)->(A가 증명있음)
--------------------------------------------------------------------------------
5. A가 공리->A가 증명없음
3과 5를 연결한 6
6. A가 공리->A가 거짓
6의 대우명제 7
7. A가 참->A가 공리아님
--------------------------------------------------------------------------------
8. A가 공리->A가 참
4와 8이 연결된 9
9. A가 공리->A가 증명있음
9의 대우명제 10
10. A가 증명없음->A가 공리아님
--------------------------------------------------------------------------------
난 9가 틀렸다고 봄
그리고 8도 틀림
왜냐하면 4와 8이 연결된게 9인데, 4는 귀류법이 옳다면 참일수 밖에 없다고 생각함
따라서 9와 8의 부정형이 참임
9의 부정형 11
11. A가 공리 and A가 증명없음
8의 부정형 12
12. A가 공리 and A가 거짓
12가 참이라는건
(A가 공리)<->(A가 거짓) 이라는 말임
공리면 거짓이고, 거짓이면 공리다
즉, 공리와 거짓이 동치라는 말
공리는 수학의 기반.
그 기반이 거짓이라는것..
그것은 [수학의 붕괴]
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그니깐 수학은 0
먼저 구상하고 풀라는거잖아요 맞죠? 조건해석하고 개형정도는 그려도되나요?
-
아 벌써 0
시간이 이렇게 공부공부
-
4규 미적 8번 0
4규 미적 8번 풀이좀 알려주실분 ㅜㅜ 케이스가 너무 많은데 군인이라 사진을...
-
[단독] “경상도 업보” “기부해봐야 박정희 동상 건립”…산불사태 조롱한 80만 가입 인터넷카페 ‘논란’ 13
회원 수 82만 명에 달하는 다음 카페 ‘여성시대’에 최근 영남권에서 발생한 초대형...
-
잇올 안다니는 외부인도 잇올 6모 신청 가능한가요?
-
그 결과 노베에서 안정 2등급 나옴. 4의 규칙도 같은 방식으로 공부할 계획임
-
시험칠 때 다른 친구들이 다리 떨거나 이런건 신경 안쓰이는데 선생님의 시선이 너무...
-
안녕하세요. 신학기 시작한지 얼마 안 된 것 같은데, 벌써 곧 4월이네요~...
-
아직도 드릴 수학1 안올라온거 보면 세상이 갈수록 각박해지는거 같음 3
예전엔 정품 배송보다 빠르게 올라올 때도 있었는데
-
물1 질문 3
물체를 단순히 저렇게 위치만 바꿨을 때 실에 걸리는 장력이 유지된다고 들었던것...
-
이걸 어떻게 마셔
-
ㅈㄱㄴ
-
걍 인싸인거임?
-
나중에 딴 루트로 연락준 학부모가 2달동안 애타게 찾았다고 말했을때 뭔가 뭔가였음
-
싸이버거 포장했는데 집 가다가 녹을까 걱정이네요 드라이아이스 안 달라고 해도 5분...
-
화작기하쌍윤으로 얼마나잘봐야 갈수있을까요 대강만 알려주심 감사하겠습니다 갑자기...
-
국어 : 문기정 베이스 + 비독원 베이스 + 데일리 유대종 시즌1 (정석민 커리...
-
남자는 여자한테 머 자꾸 사주려는 경향이 있음 그러니깐 여자들은 남자한테 돈 안내려는거지
-
26) 고3 3월 학평 독서 주요 문항 분석서 배포(법 지문 제외) 7
안녕하세요 오랜만에 찾아 뵙습니다. 국어 강사 ET입니다. 본론으로 들어가기...
-
좀 빡센가 30km도 쉽지않겠지?
-
기분좋아짐
-
문학독서 각각 75지문 정도씩 넣은 문제집이 있다면 그걸 전문가가 선별해서 강의를...
-
시네!!!
-
문제가 크게 생기나요 수특문학 한지문을 3일동안 설명하시고 본인자랑이 수업의...
-
수능...
-
15번을 찍맞했습니다. 수학을 더 올리고 싶은데 이 시점에서 뭘 하면 좋을까요?
-
와 ㅅㅂ 미치겠다 싸고 말려야하나 오늘 날씨 ㅊ 워서 금방 마르던데
-
편의점에서 맥주샀는데 신분증 검사를 안한다 심지어 가방 메고 있었는데
-
나도 저렇게 해야겠다 보다 반골기질 때문에 저 방법을 어떻게 변형해서 내가 써볼까란 생각함
-
감탄 밖에 안나온다. 풍경, 이팩트, 캐릭터, 스토리 무엇 하나 모자란 게 없음. 그냥 천외천이다
-
3모 영어 오답 1
해야됨? 4등급임
-
레전드 얼버기 8
-
넵
-
게임하지말고 공부해라 11
-
사람이 간사한게 7
똑바로 알려줘도 자기가 편한쪽으로 알아들음 내가 그런편임
-
친추해요
-
제게 TA 국어영어 질문좀 해주세요.... 진짜 친절하게 답변해드립니다
-
종강안하나 0
할때됐는데
-
대학청춘라잎 부러워할 것도 없엇네 30분만에 기빠짐
-
오르비언 특 12
롤 잘함
-
47점인데 수능이었으면 1등급 될려나요
-
짜쟌 6
히히
-
고2 내내 50점대에서 이번에 확통 원점수 80까지 올렸어요 n제 시작하려는데 뭐부터 해야되나요
-
흠… 일단 지금은 휴가 계획 짜두고 휴가 기다리면서 버티는 중인데 좋은 방법 없으려나
-
레어만 다팔아도....
-
생윤 1
생윤 공부하려는데 군대라서 인강없이 현돌커리로만해도 충분할까요..??
-
응기이이이잇 찬양해라 대 대 대
-
덕코 복권 꿀팁 0
pc에서 esc꾹 느르고 추첨에 좌클 계속하면 쉽게 연타가능
-
엑셀러레이터 기하 왔다 15
가슴이 웅장해진다 그 찐따 같던 기하가 맞나 빨리 풀고싶음
-
삼반수생 기분이 좋아요.. 3모 표본으로 수능을 치루자꾸나..
공리는 증명 없이 참이라고 믿기로 한거에요. 공리를 기반으로 다른 모든 증명들이 이루어지는거라서 공리에 대한 증명을 논할 수 없음. 모든 증명은 그 기저에 있는 논리를 통해 이루어지는데 공리는 그 증명을 위해 참조할 기저 논리가 없음, 공리가 모든것의 기저 논리니까. 그래서 공리에 대해선 증명을 논할수 없음
(A가 공리)->(A가 증명없음)->(A가 거짓)
따라서 (A가 공리)->(A가 거짓)
공리엔 증명 없으면 거짓이라는게 안통함. 공리는 예외적으로 증명없어도 참이라고 하자 라고 한거라서 애초에 통하지가 않는거임
그건 그냥 수학자들이 합의본거고 실제로는 다를수있지않음?
수학은 애초에 수학자들이 합의한 체계 위에서 진행되는거임. 그 약속된 체계가 현실을 잘 설명할 뿐인거임
난 "공리는 참" 이라는게 증명 또는 반증될수 있다고 믿음.
증명이 없는데 왜 참임? 참일 이유가 없는거잖음
2.
명사 철학 수학이나 논리학 따위에서 증명이 없이 자명한 진리로 인정되며, 다른 명제를 증명하는 데 전제가 되는 원리
자명한 원리로 인정된다는 대목 자체가 수학자들이 합의봤다는 뜻임. 수학은 애초에 자연을 다루는 학문이 아니라 논리학임. 사람들이 만든 논리체계 위에서 작동하는 학문임. 공리는 애초에 그 정의 자체가 증명이 필요 없는, 증명을 할수도 없는 원리라서 0!이 예외적으로 1인것처럼, 공리는 예외적으로 증명을 논할수가 없는거임
참일 이유(증명)이 없는데 왜 참이라고함?
그걸 증명할 기저논리가 없으니까. 공리가 모든것의 기저논리니까. 수학은 공리가 참인지 아닌지를 증명하는게 아니라 현재 수학의 공리들이 참인 체계 위에서 다른걸 증명한다고 생각하면 됨. 그게 맘에 안들면 더 쓰기 편한 다른 공리들을 정의해서 그것에 기반한 수학체계를 발전시키고 수학자들한테 인정받아도 됨. 다만 어떤 체계에서도 공리는 증명을 못함. 그게 공리의 정의임. 이거에 대해선 더 할 수 있는 말이 없음. 공리는 그냥 사람들이 그렇게 정한것일 뿐임. 증명하고 말고 할게 없음. 진짜 그걸로 끝임.
님은 만약 공리의 특징인 "증명없음" 과 "참" 둘중에 하나 포기하라면 뭐 포기할거임?
애초에 포기할수가 없음. 둘중 하나라도 없는 순간 공리는 공리가 아니게 됨. 증명이 없지 않다면 그 공리라고 부르는 논리 밑에 또다른 논리가 있는거니까 공리가 아님. 참이 아니게 되면 그건 그거대로 공리의 정의에 어긋나서 공리가 아님
난 본문내용에 공리가 적용되지 않는다는게 매우 꼬움
어쩔 수 없음. 무언가의 참 거짓을 판단한다는건 그것의 아래에 있는 논리를 참조함. 그 논리의 판단은 그 아래의, 그것의 판단은 또 그 아래의 논리를 참조하는 형태고, 사람의 말과 논리학은 무한하지 않아서 그렇게 파고 파고 파다보면 끝에 도달할 수 밖에 없음. 그 끝이 공리인거임. 애초에 논리학이나 수학은 자연에 원래 있던 요소를 탐구하는 학문이 아니고, 사람이 만든 요소를 탐구하는 학문이라서 그 기본 환경설정을 하고 그 위에 여러 학문적 성과들을 쌓아올리는거임. 공리는 그 환경설정임.
본문 결론은 "(A가 공리)<->(A가 증명없음)<->(A가 거짓)"
인데 공허참도 거짓 전건만 있으면 명제가 참이잖음
그거처럼 전건이 공리고 거짓이라는...
A가 공리와 A가 증명없음이 동치가 아님. A가 공리면 A의 증명은 없는데 그 역은 성립하지 않음. 그리고 그 논리학 체계도 공리 위에 세워진 거라서 증명 없다와 거짓도 동치가 아님. 반례가 공리임
님이 애초에 본문의 전개를 틀렸다고 보니까요..
논리체계에 기반한거면 애초에 공리의 진위여부를 따지는게 불가능하니까
공리의 진위여부를 따지는 근거는 결국 따지고 들어가면 공리인데 그러면 공리가 공리의 진위여부를 따지는 순환논법이 됨. 이런 상황 때문에 공리의 진위여부를 판별할 수 없는거고, 공리의 진위여부를 판별하려는 순간 순환논법의 오류에 빠지게됨
저는 귀류법이 참이라고 치고 전개한거임
다른공리로 공리가 참, 공리가 증명없음 에 대해 증명또는 반증 할수있을거같은데 아닌가요
만약 다른공리를 찾아 증명한다 그래도 그 공리의 증명은 다른 공리를, 그 다른 공리의 증명은 또 다른 공리를... 찾아가다보면 결국 공리는 무한히 존재하지 않으니 어느순간 순환논법에 빠짐
그리고 미안하지만 처음 귀류법으로 증명하고 싶은 명제를 정확히 써줄수있음? 1번부터 그 명제의 결론을 부정한거임?
1번이 참이라고 치고 이어나가서 결국 "(A가 공리)<->(A가 증명없음)<->(A가 거짓)"를 도출했다고 생각함