공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
해봄? 할짓이못됨ㄹㅇ
-
주량 기준 알려줘 13
얼굴 빨개지는거 알딸딸한거 속 뒤집어지는거 필름 끊기는거 기준이 뭐여
-
예산은 넉넉한데..
-
수능날 오열한 썰 아빠가 친척집에 다털어버렸다 개쪽팔리네~
-
으음
-
본인 딱 세병
-
근데 너무 힘들다 이제 잡니다 ㅎㅎ 밤동안 댓 달아주시면 또 구분해드릴게요
-
한문장 읽다가 졸고 한문장 읽다가 졸고 글자 다튕겨서 쉽게풀어설명해주는데도 하나도 이해안되고,,
-
이때가 명곡의 시대인데
-
연애하고싶다 3
애인사귀고싶어
-
나는 84일까 88일까 걱정했는데 결과적으로 86이었음 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ...
-
친구랑 채점 매고 넋이 나가버려서 자책을 엄청 했어요
-
남르비들만 ㅇㅈ하라고 쪽지 보내야 하니까
-
솔랭에서도 어떻게 비디디 해줘!! 일수가 있지..
-
수능 수학을 ㅈ박아서 진학사도 안 사고 단순 백분위 합으로 인서울 하위권 대학...
-
수학 77점이 2는 뜰거라고 생각했는데
-
ㅇㅈ 10
펑
-
대학가면 화석취급임? 17
군인 04인데 대학가면 신입생이 07임ㅋㅋ 내가 이성적인 감정을 느끼면 좀 이상한놈인가
-
난 닝닝이조음 4
이쁘잖아~
-
이상한쿨찐병이 2
인간관계엔 없는데 다른거에 조금 있는듯 수능 보기전엔 ‘수능 망해봐야 뭐 그냥...
-
선착 15명.
-
수학개념 0
갑자기 궁금해서 쓰는데요 시발점이나 개념원리 같은걸로 개념 땔 때 어느정도 기간안에...
-
무물보 10
고대 수리논술로 감
-
뉴런하기전에 0
뉴런-한완기 생각중인데 지금 어삼쉬사 풀고잇어요 어삼쉬사 끝나고 대가리깨지면서...
-
헤이유 3
지금 뭐해?
-
체화가 잘 더 잘 되는 느낌임 주간지 때매 그런진 모르겠는데 든든함 뭔가 걍 3모...
-
어떻게하면 내 과외생을 조금이라도 더 잘 이해시킬수있을까 1
내 수업이 너무 어렵나 근데 공부는 어렵게 하는게 맞다고 생각하는데
-
25수능 끝나고 0
오늘 학교 안 가서 좋았다 생각했음
-
변표빔맞고 죽어버림
-
25수능 끝나고 3
별생각 없엇음
-
맞팔구 7
하고 자러가야지
-
뭔가 뭔가했음 학교도 적당히 먼곳이었는데
-
교실벗어나자 울음보 터짐 진짜 존나 오열하다시피 울었음
-
-
설사뀨는 보아라 11
펑
-
쿠팡 보내줘 0
돈 벌어야 해...
-
잔머리 <<<<< 솔직히 안좋아하는 남자 없음 똥머리나 포니테일할때 뒷목에 있는...
-
04가 사수 0
4… 음
-
컴공 일기271 2
https://school.programmers.co.kr/learn/courses/...
-
지금있는친구로도 좋은데 새 친구 사귀는 모험을 왜 해야하지?라는 생각도 들구 날...
-
............. 씨발서성한은갈수있을까? 중경외시? 난 어디까지...
-
이거 2016년인가에 들었으니까 10년째 듣는 곡이네 ㄷㄷ
-
다시 돌아옴 1
ㅎㅇㅎㅇ
-
새르비니까 한번씩 적어보시죠 아침에 지울겁니다 저는 중학교때가 좀 후회되네요 그때...
-
메가패스지만 댓글에 따라 기꺼이 신택스 할 의향 있음
-
못봤대서 다시 12
ㅋ
-
스타일만 5
여름에
-
검색창엔 안 나오네…
-
아까까지.계속 배아파서 못자다가 이제 자야겠네 빠잉
-
ㅇㅇ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?