공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
돈번다고 이러기야?
-
아 ㅋㅋㅋㅋ 3
ㅋㅋㅋㅋ
-
오늘도 안녕 0
많이 늦기는 했지만 설날 잘 보내자!
-
ㄹㅇ
-
국어 강민철 언매 전형태 수학 현우진 영어 조정식 생명 백호 지과 오지훈 듣기 라라 한국사 이다지
-
암산뭐시기ㅁㅌㅊ 5
빡세노..
-
-
꽃이 흩어지는 순간조차 값이 매겨지는 것도 싫어졌어요. 제발 저를 울게 하지 마요..
-
알려주세요
-
복습법 1
공부법 그런거 유튭에서 뒤져보며 여러개 봤는데, 어떤 영상에서는 복습 너무 길게하면...
-
현역인데 의대가 꿈이었음..
-
안녕하세요 3
빵굽습니다
-
최상위권이 의대로 빠져서 과탐 표본과 난이도를 감안하더라도 이과가 문과보다 서울대...
-
https://www.zetamax.xyz/ 120초로 맞춰서 ㄱㄱ
-
가능함?
-
부정선거 2
긍정안선거
-
건국대 글로컬캠퍼스가면 글캠 전체학생들 모아서 수학 경시대회 같은거 함? 범위는...
-
36개 맞음... 요즘 수능 언어 어렵다고 하는데 이정도면 어느수준인지 말씀할수 있는분?
-
축하는 해주시는데 서운하네 역시 삼수생이 겨우 한의대로 환영받길 원하는건 오만인가
-
내가 사는곳보다 훨 좋은듯
-
노래방을갈까말까 0
고민이구나 헬스하고오니까 또나가기가싫다
-
할머니댁에서 트로트 재방송보는데 초딩이 60 넘은 아재 1:1 대결에서 바르는거...
-
시발점 워크북 0
시발점 워크북 난도가 어떻게 되나요? 어삼쉬사랑 비슷한가요?
-
작년에 2가 어떻게 떴는지도 모르겠다 5모시절 수학실력으로 회귀한거같다 ㄹㅇ
-
화2 안해서 다행이다
-
대학 캠퍼스가 따로 없네 4수 각이 나오는건가
-
일단 높은의대 아닌건 아는데 어느정도수준이에요?
-
밀기로 했다
-
암산 최고 52, 평균 40 후반 암기 최고 13, 10개 넘어가면 어려운듯...
-
대체 왜!!!!!!!
-
중세시대 악기만을 이용한 작곡...
-
과탐 가산 2
지구 사문으로 자연계열 학과 갈건데 지거국 인서울 대학 다 포함해서 과탐 두과목...
-
성대 경영 0
1바퀴 이상 돌까..? ?
-
한덩이 통으로 더 주는데 그것까지는 못 먹겠음 감자탕 맛있음 김치가 ㄹㅇ ㅅㅌㅊ
-
문과 기준 어디 추천하시나요?? 과는 경영/경제 출신이라고 가정시요..
-
-
사칙연산만 빨라도 물리는 십어먹을거고 생명빼고 나머지도 사칙연산만 빨라도 유의미하게 성적이 좋을듯
-
500번대까지 빠질까요…
-
명절 스타 채팅창 근황 12
행님들 정치논쟁중ㄷㄷ
-
사1과1 1
지구가 재밌어서 지구 사문으로 인서울 자연계열 갈 계획인데 과탐 가산점 받는 경우에...
-
60은 포기
-
그냥 백분위 높으면 되겠지 << 아님 중경외시 성적으로 연고대도 뚫릴수있고 A대학...
-
모킹버드 브레인 등록 프리랜서가 100명을 돌파하였습니다. 일반적으로 교육 기업들이...
-
지금 인천공항 1
미어터지나요??
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
ㄹㅇ 지린다잉 개시원함
-
대학 진학 예정인 21살입니다. 다들 지금 아니면 면허 딸 시간이 없다고 하는데,...
-
ㅇㅇ
-
-
마지막 업데이트 때 실지원 3개에 지원하는 대학을 안 넣으면 지원이 무효처리가 되도록 하면 어떨까
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?