수학 붕괴 시키는데 성공함
게시글 주소: 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를 선물하세요.
-
그냥 행렬 형태랑 행렬계산만 배우는거죠 방정식푸는게 아니고 ?
-
ㅈㄱㄴ
-
서울 아재개그 모음집 24
서울에서 생산된 고기는? 살코기(지방이 없으니깐) 우리나라 지도에서 서울이...
-
연애는 4
조은것임
-
나이가 ㅠㅠㅠㅠ
-
-
ㄴ. 선지가 틀리다 라고 되있는데 저거는 위법성 조각사유아님? 그럼 책임능력은...
-
생1 실모에서 0
3개 정도 틀리면 (찍맞x) 평가원 1컷은 나오려나
-
노베 50일 수학 듣는데 정승제 딴소리하는거 적응해야겠죠..? 1
강의는 분명 바로바로 이해되게 잘 해주시는데 강의 중간에 쓸데없는 말이나 개그...
-
아저씨같음
-
참고로 영화 본 거 거의 없음 사용 OTT: 넷플릭스
-
공부도 안되는데 그냥 어디 놀러가고싶어
-
-
장기연애 특 19
그냥 뇌가 동기화 된 찐친 같은데 가끔 상대가 꾸미고 오면 연애 초창기 생각나서 엄청 설렘
-
싸맛과 신청 ㄱㄱ
-
로그인 무한로딩 도댜체 언제 고칠래
-
솔직히너무거품ㅇㅈ?
-
여자한테 Y 염색체 줌
-
“옷 속에 거미 들어갔다” 20대女 속여 몸 더듬은 日남성 덜미 9
산책 중이던 여성에게 접근해 “옷 속에 거미가 들어갔다”며 신체를 만진 30대 일본...
-
접사 구분 질문이여 12
새내기를 형태소 분석하면 새/내기 저는 접사 구분 할때 접사인지 체언인지 의심 가는...
-
9덮 성적 2
대충 백준위 94 94에 영어2 사문생윤 3컷일거 같은데 수능에서 이 성적 받으면...
-
아내가 매춘부였었네 아내가 매일 몸팔아서 번돈 조금 떼서 남편한테 준거엿고......
-
닫힌구간에서 f의 최대 최소 합을 함수 g라고 했을 때 f랑 g의 관계가 조건으로...
-
폴라리스 0
생명 실모도 나온다는데 뭐임??ㅋㅋㅋㅋㅋ 풀어볼까 어차피 어뎁터 남긴했는데
-
맛잇는거 1
대치동 바르다김선생보다 정성한줄이 맛잇음 내 추억임 ㄹㅇ 김은양때 매우 긴 대기줄...
-
동아리 개총 뒷풀이.. 14
여학우들과의 대화는 어렵다
-
경한vs지방의 10
라면도 혼자 못끓이는 서울 토박이 여자... 맨탈 매우 약함 여러분이라면 어디...
-
인생 ㅈ망함 4
ㄹㅇ
-
나수능잘볼거다 1
베짱 부리기
-
아무것도 모르는 부모님글은 진짜 급식 사진인 줄 아실 것 같은데 이래도 되나...?
-
난 28찍맞할거니까
-
살려주세여ㅓ 0
수학 수분감스텝2 대가리깨지면서 강의들으며 하고있는데 드릴은 꼭하고들어가고싶어여...
-
제목이 곧 내용
-
이럼 이제 그 학교 학생아니니까 다른 학교 쓸 수 있는 상태맞죠?
-
과목 하나 1컷 백분위 96 고정<<<<<<한다 안한다 20
당연히 영어 한국사 제외 나는 물리는 무조건 고정함
-
아 킬캠 뭔 0
2-2 30빼고 다풀려서 96점인줄 알았는데 14 17 21을 틀렷네 .. 14는...
-
사만다 시즌2 3회 풀엇는대 틀린 4개에서 15 빼고 다 비킬러에서 틀렷내
-
질문 받습니당 34
고고욭
-
생윤 2
차등의 원칙을 위반한 정책은 시민불복종이 될 수 있다 에서 차등의 원칙을 위반했다는...
-
ㅈㄱㄴ
-
오늘의TMI 4
펭귄도 매춘을 한다
-
선택과집중했으면 1
자살했지 젤효율적임
-
아닌가요?
-
생일에 6
세지 이모다 처음으로 50을 받으니 기분이 좋군요
-
ㅈㄱㄴ
-
긴급 14
지금 바로 히카를 풀까 해모를 풀까 킬캠을 풀까
-
사문 공부 두과자
-
저녁 먹을까말까 6
고민ㅇ다..
-
교재비는 토탈리콜 파이널 18,000원, 원솔멀텍 파이널 24,000원, 패키지론...
-
6평 국수영 222 총합 6 9평 국수영 141 총합 6 9섶 국수영 222 총합 6 ?????
공리는 증명 없이 참이라고 믿기로 한거에요. 공리를 기반으로 다른 모든 증명들이 이루어지는거라서 공리에 대한 증명을 논할 수 없음. 모든 증명은 그 기저에 있는 논리를 통해 이루어지는데 공리는 그 증명을 위해 참조할 기저 논리가 없음, 공리가 모든것의 기저 논리니까. 그래서 공리에 대해선 증명을 논할수 없음
(A가 공리)->(A가 증명없음)->(A가 거짓)
따라서 (A가 공리)->(A가 거짓)
공리엔 증명 없으면 거짓이라는게 안통함. 공리는 예외적으로 증명없어도 참이라고 하자 라고 한거라서 애초에 통하지가 않는거임
그건 그냥 수학자들이 합의본거고 실제로는 다를수있지않음?
수학은 애초에 수학자들이 합의한 체계 위에서 진행되는거임. 그 약속된 체계가 현실을 잘 설명할 뿐인거임
난 "공리는 참" 이라는게 증명 또는 반증될수 있다고 믿음.
증명이 없는데 왜 참임? 참일 이유가 없는거잖음
2.
명사 철학 수학이나 논리학 따위에서 증명이 없이 자명한 진리로 인정되며, 다른 명제를 증명하는 데 전제가 되는 원리
자명한 원리로 인정된다는 대목 자체가 수학자들이 합의봤다는 뜻임. 수학은 애초에 자연을 다루는 학문이 아니라 논리학임. 사람들이 만든 논리체계 위에서 작동하는 학문임. 공리는 애초에 그 정의 자체가 증명이 필요 없는, 증명을 할수도 없는 원리라서 0!이 예외적으로 1인것처럼, 공리는 예외적으로 증명을 논할수가 없는거임
참일 이유(증명)이 없는데 왜 참이라고함?
그걸 증명할 기저논리가 없으니까. 공리가 모든것의 기저논리니까. 수학은 공리가 참인지 아닌지를 증명하는게 아니라 현재 수학의 공리들이 참인 체계 위에서 다른걸 증명한다고 생각하면 됨. 그게 맘에 안들면 더 쓰기 편한 다른 공리들을 정의해서 그것에 기반한 수학체계를 발전시키고 수학자들한테 인정받아도 됨. 다만 어떤 체계에서도 공리는 증명을 못함. 그게 공리의 정의임. 이거에 대해선 더 할 수 있는 말이 없음. 공리는 그냥 사람들이 그렇게 정한것일 뿐임. 증명하고 말고 할게 없음. 진짜 그걸로 끝임.
님은 만약 공리의 특징인 "증명없음" 과 "참" 둘중에 하나 포기하라면 뭐 포기할거임?
애초에 포기할수가 없음. 둘중 하나라도 없는 순간 공리는 공리가 아니게 됨. 증명이 없지 않다면 그 공리라고 부르는 논리 밑에 또다른 논리가 있는거니까 공리가 아님. 참이 아니게 되면 그건 그거대로 공리의 정의에 어긋나서 공리가 아님
난 본문내용에 공리가 적용되지 않는다는게 매우 꼬움
어쩔 수 없음. 무언가의 참 거짓을 판단한다는건 그것의 아래에 있는 논리를 참조함. 그 논리의 판단은 그 아래의, 그것의 판단은 또 그 아래의 논리를 참조하는 형태고, 사람의 말과 논리학은 무한하지 않아서 그렇게 파고 파고 파다보면 끝에 도달할 수 밖에 없음. 그 끝이 공리인거임. 애초에 논리학이나 수학은 자연에 원래 있던 요소를 탐구하는 학문이 아니고, 사람이 만든 요소를 탐구하는 학문이라서 그 기본 환경설정을 하고 그 위에 여러 학문적 성과들을 쌓아올리는거임. 공리는 그 환경설정임.
본문 결론은 "(A가 공리)<->(A가 증명없음)<->(A가 거짓)"
인데 공허참도 거짓 전건만 있으면 명제가 참이잖음
그거처럼 전건이 공리고 거짓이라는...
A가 공리와 A가 증명없음이 동치가 아님. A가 공리면 A의 증명은 없는데 그 역은 성립하지 않음. 그리고 그 논리학 체계도 공리 위에 세워진 거라서 증명 없다와 거짓도 동치가 아님. 반례가 공리임
님이 애초에 본문의 전개를 틀렸다고 보니까요..
논리체계에 기반한거면 애초에 공리의 진위여부를 따지는게 불가능하니까
공리의 진위여부를 따지는 근거는 결국 따지고 들어가면 공리인데 그러면 공리가 공리의 진위여부를 따지는 순환논법이 됨. 이런 상황 때문에 공리의 진위여부를 판별할 수 없는거고, 공리의 진위여부를 판별하려는 순간 순환논법의 오류에 빠지게됨
저는 귀류법이 참이라고 치고 전개한거임
다른공리로 공리가 참, 공리가 증명없음 에 대해 증명또는 반증 할수있을거같은데 아닌가요
만약 다른공리를 찾아 증명한다 그래도 그 공리의 증명은 다른 공리를, 그 다른 공리의 증명은 또 다른 공리를... 찾아가다보면 결국 공리는 무한히 존재하지 않으니 어느순간 순환논법에 빠짐
그리고 미안하지만 처음 귀류법으로 증명하고 싶은 명제를 정확히 써줄수있음? 1번부터 그 명제의 결론을 부정한거임?
1번이 참이라고 치고 이어나가서 결국 "(A가 공리)<->(A가 증명없음)<->(A가 거짓)"를 도출했다고 생각함