공리를 부정해도 무모순임
게시글 주소: https://old.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수학 교사경은 2
문제집이 문제를 적절히 잘 선별했는가에 따라 체감 퀄 크게 갈릴 듯 국영은 그냥...
-
수능경제질문받아요 37
조금합니다
-
코인 버는 중 0
ㅇㅇ
-
콰악 0
끌어안아버릴거얌♥
-
한 이등변 삼각형에서 밑변에 내린 직선과 만나는점에서 각각 두변에 수선의발을 내리면...
-
ㅈㄴ살벌하다 ㅋㅋ
-
나는 내가 3
빛나는 달인 줄 알앗어요
-
기억이 잘… 문학 개념어까지는 올렸었나…?
-
**토의와 토론의 차이**는 주로 목적과 진행 방식에서 나타납니다. 구체적인...
-
사문은 잘하고 있는데 생윤이 말장난이나 개념 자체가 저랑 너무 안맞는거 같아서...
-
너의모든순간 9
그게나였으면좋겠다
-
25학년도 수능 영어 32번 문항 기출분석 | 상세한 해설과 풀이 0
교육의 궁극적인 목적은 지식을 전달하는 것을 넘어 비판적 사고를 통해 정신적 해방을...
-
화작하는놈이잘못임 이정도면
-
교육청, 평가원에서 수학이 거의 1컷에서 놀다가(84~88) 컨디션 좋으면 92점도...
-
영어 2 안받아주는 학교라 울었어
-
-
알람 안 맞추고 자기 수능 전엔 진짜 이 기간만을 바라보며 견뎠는데 막상 쉬니까 또...
-
비싸다..
-
07임학교 잘 다님
-
복권 0
사볼까 될지도 모르잖아
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
체수할사람 6
https://link.chess.com/play/BYKURu
-
아니 장기 한다니깐??나 1형당뇨 괜찮다니깐??나 웬만한 성인보다...
-
-
현 예비고3 자퇴생이야 고3 모고 기준 국어는 1~2등급 왔다리갔다리 영어는...
-
1점씩 내려야 정상적임 아니 솔직히 2점 내려도 이상한게 아니라고 봄 뭔가 이상해...ㄹㅇ
-
뭐 물어볼지는 아작 안정했음 번호는 몇번이 적당할까?
-
흐흐흐 다그렸다 참고로 도구는 25수능 샤프입니다
-
-
화작틀있으면 93 없으면 94가 젤적당함 94-95는 ㅆㅂ
-
불꽃가능
-
내 mbti는 11
맞히면 1000덕
-
지균으로 간신히 서울대 끝자락학과 붙었는데 리트 도전하기엔 너무 허수인가 ㅅㅂ
-
나 너무 졸려 2
3분만 잘게
-
분러 책장 ㅇㅈ 12
특정되나요?
-
누군가한테는 당신의 당연함조차 노력임 비유하자면 누군가는 삼시세끼를 먹고...
-
안녕하세요 지금 예비 고2인데, 내신은완자 통해서 강의 듣다가, (모고)수능 화학도...
-
Perpendicular line Vertical line <- 얜 어따 쓰는 앤지 잘 모르겟음
-
여러분들의 생각은?
-
똥손의 그?림 5
특정가능해서 이따 펑할거 폰보고 따라그림
-
1분컷 2
-
조용히 비가 내리면~ 여전히 그대로
-
수학노베 2
지나가다가 불쌍하니까 말 얹어준다 이런 심정으로 조언 좀 주세요 ㅡㅜㅜㅜ 제가 수학...
-
진짜 너무 안맞아서 쎈 예제에서도 버벅버벅 거리다가 하루아침에 기출4점까지 풀리더니...
-
문제만들기 0
화1의 사례이다. 이정도면 7등급도 풀 문제이다. 아주 기초이다. 근데 이게 점점...
-
알바 끝났다 10
48시간 동안 알바 안 하니까 매개완 조져줄게 ㅇㅇ
-
핫칠리 육포 먹기
-
이말 어케봄
-
순서대로 오리비 오댕이,, 전에 눈왔을때 바닥에 그려본건데 그림 개못그림
-
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?