공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
216학파는 텍스트보다 기호에 더 친숙함을 느끼면 좋음 ex)인식론 3
개인적으로 문제 해설할 때도 선형적 줄글로 쓰는걸 선호하지 않는 이유가 한 번...
-
한완기 좋나요? 4
공통 뉴런 듣고있고 작년 수분감 있습니다 미적은 시발점 듣고잇는데 한완기가...
-
-
나형 3에서 가형런해서 9모때 가형1뜰수잇엇는데 3점나가서 2뜸 이게 진짜 레전드로 아까움
-
왜 날 자꾸 오르비에 들어오게하는거여 다른데로 이적좀해라!
-
실모 풀때마다 34페이지보다 12페이지가 더 불안한데 개념복습 엇캐하심..? 그냥...
-
얼버기 0
-
자 드가자
-
수분감 확통 1
시발점이랑 쎈 했고 6모 대비랑 내신대비 할겸 수분감 어떰? 학교문제는 수특변형임
-
저처럼 글 몰아서 와다닥 쓰는 사람 전에도 꽤 잇엇나요
-
닉변하고싶네 0
파와마늘 파마망한오늘 파김치와마늘빵
-
"서울대 폐교"
-
제발
-
학교가 날 확실히 버릴 수 잇게 근데 난 깡이 없는데
-
고대경영 ㄹㅈㄷ 3
-
이건 잘 모르겠어서
-
꼴값 레전드 ㄷ
-
담요단 쇼핑하고 왔어요 20
색깔 지우개 포스트잇 형광펜
-
나한테 희망을 품지마라고 문과반 갈껄 걍 하아 수업내내 잠만 쳐 자고, 등교한 그...
-
7차 국어과 교육과정에서는 '이다'가 활용을 한다는 걸 까먹은 건지 처음에...
-
김동욱 2
일클 들을건데 연필통 퀄리티 별로라는 말이 있던데 병행 하는게 그래도 나을지 궁금합니다..!!
-
같이잇으니까 둘다 아직 초딩같음ㅋㅋㅋㅋㅋ
-
진짜 개인 홈페이지 만들어서 추가 프린트 풀이영상이랑 추가프린트 pdf 다...
-
오래된 생각이다
-
기초 부족해서 해야 할 것 같은데 빠르게 끝내면 문제 없을까요
-
의머생들 어카냐 0
생활패턴 망가졌을텐데
-
아 이 ㅅㄲ 드디어 갔네 ㅋㅋㅋ 그러게 진작 좀 가지 근데 걔 진짜 비호감이였음
-
안할게요 네
-
유튜브 알고리즘이 온통 수능이군 친구들이랑 대화할 때도 수학 기출 얘기밖에 안 나옴
-
죽여버릴꺼야,,
-
무진장 졸려
-
경험담 아닙니다~
-
나
-
zone에 들어온거 같아요 조온
-
탈릅메타임? 2
흠
-
현대시를 패자 3
그냥 존나 패자 고닉들 다 나가면 어카냐 에휴
-
수학만 하고싶어지는데 정상인가요 41444가자
-
-
무휴반 늘어남?
-
문학 독학으로 해도 문제없을까요..? 메가퍄스가 없어서..책만 구매하려하는데
-
안녕하세요 고3인데요 이제 막 사탐 공부를 레쓰고 시작해보려ㅠ하는데 쌍윤한다고 하면...
-
아 성공하고 싶다 아 성공하고싶다 아
-
얼버기 13
-
국어 4등급이고 골라주세연ㅇ
-
기만이 판을 넘침 ㅠㅠ
-
그래도 전문직 하면 됨 ㅋㅋ 어짜피 인생은 나이들수록 더 열심히 해야함 ㅋㅋ SKY...
-
고2 10모까지 항상 90점대 중후반 찍히다 이번에 화작에서만 5문제 날리고...
-
닉 바꾸니까 몰라봄
-
장기적으로 봐서 결국 효율이 십창난다는걸 나도 몸으로 느끼는데 머언가 내가 오늘...
-
충격) 1230보다 더 추운 330이 있다? 삐쓩빠쓩 2
위 : 241230 아래 : 250330 물론 1230은 고온 330은 초저온이긴...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?