수학 붕괴 시키는데 성공함
게시글 주소: 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를 선물하세요.
-
비유전은 백호 유전은 한종철이라는 말이 많은데 책을 두 강사 다 사긴 너무 비싸서...
-
점심 고기 저녁 고기 야채만 들어간 햄부르크는 없을테니까
-
416.3밖에 안되네... 하 국어
-
반여론이 00이는 잘못한거 없어 쟤는 착하자나 이런류였는데,,,,,,
-
햄북딱아 기다려라
-
? 연구 주제: ? "지방 출신 N수생의 강남 재수 사교육 참여에 대한 질적...
-
ㅠㅠ
-
재수생의 3모 1
국어는 가나지문 날렸는데 이거 백점있을까요? ㅋㅋㅋ 존나 어렵던데
-
좋아하는 옷 스타일 10
있음?
-
선택지가 없는데 라면 먹을거면 스벅에서 음료랑 디저트도 픽업해올예정 머먹을까요
-
영어, 한국사 안풀어서 통으로 -14점, -8점 감점 455(국수탐)-14(영)-8(한)
-
영어 메가스터디 채점자만 계산하면 저렇다는데... 실제론 어떠려나
-
언매하시는 분들 1
올해 수특 혹시 다들 푸셨나요??? 안푸셨으면 평가원화해서 선별본을 올려드릴까…
-
전문대 사립 이런데 갔는데 너무 행복해보이네요 술마시고 노는거 보니까 부럽기도하고...
-
배울땐 저능해지는 기분을 느끼다가 점점 깨달아가면 고능해짐을 느낌 + 재밌어짐 물론...
-
문자 왜 안왔지 ㅠㅠ 이제 봤네요….. 와아아아아
-
안뇽 0
으햣
-
첫 정답자 2000덕 드리겠습니다!
-
<<<<<< 2
인지도투표
-
사탐 한다고 하고 공스타용 형광펜 필기만 하고 4뜨는거에요? 진짜로?
-
지문퀄이 뭔가뭔가…. 복붙한거 같고, 고난도 지문이라길래 풀어봤는데 그냥 술술...
-
야식먹어야지~ 4
알리오 올리오에 닭가슴살&오리엔탈소스
-
물2화2생2지2를 다해서
-
불국사임?? 엌ㅋㅋㅋㅋㅋㅋ
-
다이빙 끝나고 1
개피곤한 상태에서 다같이 저녁먹고 2차 가자는거 나 포함 새내기애들이 거절 ㅋㅋㅋ...
-
ㅇㅇ 공통기준 작수가 더 쉬웠네 생각해보니 ㄹㅇ 작수 공통이 범죄다 낄낄 근거...
-
잠시 소동이 있었던거 같기도
-
e ln cot sec csc 반각배각공식도 몰라서 쉽지않음... 다 공부하고 있긴...
-
88 ㅇㅈ?
-
1. 이때 옮 안보고있었음 2. 동아리에서 민사고 준비한다는 색@기가 공과사 구분...
-
저렙 노프사들이 막 나한테 쪽지로 기하 어떠냐고 햐도도ㅔ냐고 물어봄 그래서 일단 다해도된다했음
-
3모 국어 복기 4
문학 25분 화작 15분 독서론 3분 독서 32분 항상 저 순서로 푸는데 처음에...
-
독서는 김승리 풀커리 타다보니 어느정도 실력이 늘었는 것 같은데 문학이... 방법은...
-
그저께는 하도 미지근하길래 패딩 벗어도 되겠다 싶었는데 오늘은 한겨울날씨네..
-
논리왕 전기 부산대 말고 경북대 철학과 썼으면 붙었네 0
컨설팅 잘못해서 전남대 철학과까지 떨어졌구나
-
차단마렵네 이사람 15
재수생이라고 해도 수험생이라고 해도 아 진짜 잘못 물렸다요
-
1. 국어 국어 현대시 모음 책 틈틈히 읽기. 시인들 파악, 정서 정도만 대략적으로...
-
띠따띠라띠따따또따
-
이힣?
-
광역시나 대도시에서 재난터지면 (유독가스유출 등) 길 꽉막혀서 대피하다 도로에서...
-
4점 10개(15 22 30) 제외하고 35분에 끊어서 다맞추면 수능날 중대재해급...
-
-
이번 3모 생명 45점이고 지구 47나왔습니다 지구 공부 졸라 대충해서 사탐런 고민...
-
그런거같음
-
근 6년동안 성격이 INTJ INFJ ENFP 순으로 변함 옛날에 했던 생각을...
-
눈치가 없는건가 그냥 전화번호로 하루종일 받아보라고 하네 몸만들기 최고의 상태다...
-
시험 전날에 알 수가 있나 답이나 문제를
-
국어 한정 빡센 학교 1학년 내내 전교 1등 모고 94 98 97 98 100 나는...
-
아 어쩌지 2
나도 플래너를 써야하나 공부에 시간은 많이 투자하는데 너무 막하는 느낌 거시적인...
-
김범준 스블 2
교재에 실전개념 안적혀 있다던데 그럼 다들 필기하면서 듣는거져?
공리는 증명 없이 참이라고 믿기로 한거에요. 공리를 기반으로 다른 모든 증명들이 이루어지는거라서 공리에 대한 증명을 논할 수 없음. 모든 증명은 그 기저에 있는 논리를 통해 이루어지는데 공리는 그 증명을 위해 참조할 기저 논리가 없음, 공리가 모든것의 기저 논리니까. 그래서 공리에 대해선 증명을 논할수 없음
(A가 공리)->(A가 증명없음)->(A가 거짓)
따라서 (A가 공리)->(A가 거짓)
공리엔 증명 없으면 거짓이라는게 안통함. 공리는 예외적으로 증명없어도 참이라고 하자 라고 한거라서 애초에 통하지가 않는거임
그건 그냥 수학자들이 합의본거고 실제로는 다를수있지않음?
수학은 애초에 수학자들이 합의한 체계 위에서 진행되는거임. 그 약속된 체계가 현실을 잘 설명할 뿐인거임
난 "공리는 참" 이라는게 증명 또는 반증될수 있다고 믿음.
증명이 없는데 왜 참임? 참일 이유가 없는거잖음
2.
명사 철학 수학이나 논리학 따위에서 증명이 없이 자명한 진리로 인정되며, 다른 명제를 증명하는 데 전제가 되는 원리
자명한 원리로 인정된다는 대목 자체가 수학자들이 합의봤다는 뜻임. 수학은 애초에 자연을 다루는 학문이 아니라 논리학임. 사람들이 만든 논리체계 위에서 작동하는 학문임. 공리는 애초에 그 정의 자체가 증명이 필요 없는, 증명을 할수도 없는 원리라서 0!이 예외적으로 1인것처럼, 공리는 예외적으로 증명을 논할수가 없는거임
참일 이유(증명)이 없는데 왜 참이라고함?
그걸 증명할 기저논리가 없으니까. 공리가 모든것의 기저논리니까. 수학은 공리가 참인지 아닌지를 증명하는게 아니라 현재 수학의 공리들이 참인 체계 위에서 다른걸 증명한다고 생각하면 됨. 그게 맘에 안들면 더 쓰기 편한 다른 공리들을 정의해서 그것에 기반한 수학체계를 발전시키고 수학자들한테 인정받아도 됨. 다만 어떤 체계에서도 공리는 증명을 못함. 그게 공리의 정의임. 이거에 대해선 더 할 수 있는 말이 없음. 공리는 그냥 사람들이 그렇게 정한것일 뿐임. 증명하고 말고 할게 없음. 진짜 그걸로 끝임.
님은 만약 공리의 특징인 "증명없음" 과 "참" 둘중에 하나 포기하라면 뭐 포기할거임?
애초에 포기할수가 없음. 둘중 하나라도 없는 순간 공리는 공리가 아니게 됨. 증명이 없지 않다면 그 공리라고 부르는 논리 밑에 또다른 논리가 있는거니까 공리가 아님. 참이 아니게 되면 그건 그거대로 공리의 정의에 어긋나서 공리가 아님
난 본문내용에 공리가 적용되지 않는다는게 매우 꼬움
어쩔 수 없음. 무언가의 참 거짓을 판단한다는건 그것의 아래에 있는 논리를 참조함. 그 논리의 판단은 그 아래의, 그것의 판단은 또 그 아래의 논리를 참조하는 형태고, 사람의 말과 논리학은 무한하지 않아서 그렇게 파고 파고 파다보면 끝에 도달할 수 밖에 없음. 그 끝이 공리인거임. 애초에 논리학이나 수학은 자연에 원래 있던 요소를 탐구하는 학문이 아니고, 사람이 만든 요소를 탐구하는 학문이라서 그 기본 환경설정을 하고 그 위에 여러 학문적 성과들을 쌓아올리는거임. 공리는 그 환경설정임.
본문 결론은 "(A가 공리)<->(A가 증명없음)<->(A가 거짓)"
인데 공허참도 거짓 전건만 있으면 명제가 참이잖음
그거처럼 전건이 공리고 거짓이라는...
A가 공리와 A가 증명없음이 동치가 아님. A가 공리면 A의 증명은 없는데 그 역은 성립하지 않음. 그리고 그 논리학 체계도 공리 위에 세워진 거라서 증명 없다와 거짓도 동치가 아님. 반례가 공리임
님이 애초에 본문의 전개를 틀렸다고 보니까요..
논리체계에 기반한거면 애초에 공리의 진위여부를 따지는게 불가능하니까
공리의 진위여부를 따지는 근거는 결국 따지고 들어가면 공리인데 그러면 공리가 공리의 진위여부를 따지는 순환논법이 됨. 이런 상황 때문에 공리의 진위여부를 판별할 수 없는거고, 공리의 진위여부를 판별하려는 순간 순환논법의 오류에 빠지게됨
저는 귀류법이 참이라고 치고 전개한거임
다른공리로 공리가 참, 공리가 증명없음 에 대해 증명또는 반증 할수있을거같은데 아닌가요
만약 다른공리를 찾아 증명한다 그래도 그 공리의 증명은 다른 공리를, 그 다른 공리의 증명은 또 다른 공리를... 찾아가다보면 결국 공리는 무한히 존재하지 않으니 어느순간 순환논법에 빠짐
그리고 미안하지만 처음 귀류법으로 증명하고 싶은 명제를 정확히 써줄수있음? 1번부터 그 명제의 결론을 부정한거임?
1번이 참이라고 치고 이어나가서 결국 "(A가 공리)<->(A가 증명없음)<->(A가 거짓)"를 도출했다고 생각함