수학의 파괴와 재창조
게시글 주소: https://orbi.kr/00072605429
귀류법
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가 거짓) 이라는 말임
공리면 거짓이고, 거짓이면 공리다
즉, 공리와 거짓이 동치라는 말
공리는 수학의 기반.
그 기반이 거짓이라는것..
그것은 [수학의 붕괴]
무모순<->참 이므로
대우명제는 모순<->거짓
따라서
공리=거짓=모순
공리=모순
모순이 포함된 체계는 모든 명제가 참이 될수있음..
즉,
결론
1. (공리=거짓=모순) 을 증명함
2. 모순이 있는 체계는 모든것이 참이 될수있음
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
미쿠미쿠니시테아게루 11
미쿠미쿠
-
그거 아심? 3
내일부터 월요일 시작임.. 뭐 했다고 주말 끝나냐 ㄹㅇ
-
3모 조지고 의욕이 상실됨 댓글로 응원이라도 해주세요 9
국수영 544찍고… 집모에서는 낮2 낮2 낮3 나왔는데 브레인포그와서 걍 암것도 안...
-
진자 죽고십다
-
언매 중간 3등급정도에 영어 2등급 미적 100점에 사문지구 둘 다 1이면 서강대 시반공 ㄱㄴ한가요
-
21,29,30틀이면 머 푸는게 좋을까요 작수 공통은 20-22 틀렷어여 미적은...
-
주작 고백함 7
나 사실 게이아님
-
오리걸음 2km 투명의자 1시간 엎드려뻗쳐 3시간
-
숏컷이 뭐임 22
헤어스타일 말고 찾아보니까 헤어스타일 밖에 안 나와서 질문함
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 5천원 커피값에 미리 하나...
-
[단독] "피해 없어도 30만원"…경북 산불 재난지원금 논란 4
경상북도가 최근 산불 피해를 입은 5개 시·군 주민 전원에게 1인당 30만원의...
-
김승리 현강 대기 490번대 이후인데 들어갈 수 있을까요ㅠㅠ 파이널도 못 듣는 번호...
-
있어?
-
왠지 어느쪽이 진실인지 아무도 모르게 된 채로 금방 잊혀질거 같아서 무서움
-
상산고 언급되니까 갑자기 떠오르는 안좋은 추억... 3
중학교 내신 말아먹어서 상산고 입구컷당한 기억이 나네...
-
사실 나 여자임 4
아 아직 2일 남았나
-
19만원에 구매원합니다
-
딴건 다 좋은데 제2외국어 강의가 ㄹㅇ 개같음 ㄹㅇ ㅈ반고 시즌2 인줄 발음 ㅈㄴ...
-
평이 조금 안좋길래 질문드립니다
-
저도 죄송합니다 8
사실 안 죄송함
-
3모 100m 96점 15
21번 틀 이거 왜 258 아닌데
-
주작해서 죄송합니다. 10
사실 08년생 갓반고생이 아니라 08학번 깡시골 출생입니다...
-
볼게요 일단
-
는 늙어서 못 침
-
큰건 아닌데 좀 난처해짐
-
이러면 안되는 거 아는데 나보다 잘하는 사람 보면 막 열등감 생기고 화나고 그럼....
-
무물보 4
-
솔직히 전 더 잘나올 줄 알았는데 다 풀긴 했는데 문제들에서 왜틀린지를 전혀...
-
뭐가 뭔지를 모르겠어 슈밤 이따 정리해서 글 올릴테니 한번만 봐주실 수 있나요
-
예아
-
죄송합니다 2
저 사실 팜하니 팬 아닙니다. 돈받고 알바한거였어요
-
빌 게이츠 "AI, 10년 내 의사·교사 대체할 것" 6
[서울=뉴시스]하다임 인턴 기자 = 마이크로소프트(MS) 공동 창업자이자 억만장자...
-
무슨 글을 쓰지 3
-
똥싸고 왔는데 같은 처지여서 속으로 많이 응원했던 게이가 떠나가노...
-
이게 SNS에 허구한날 정치글 올라오니까 사람들이 착각하는데 2
인스타나 트위터에 정치적 의견 나타내는 사람들은 극소수(이것조차도 논리적이지 않거나...
-
오르비 꺼야겠다 3
재미없어졌다
-
다른건 다그렇고 본인들 스스로 명문 거리는건 좀 재밌네요 ㅋㅋㅋㅋㅋ
-
왜 헛된 희망을 심어주는거지
-
AB=2인 거 안써도 풀리는데 내가 잘못 푼 건가??
-
술 담배 지방의 위험성 11
20살->25살이 이렇게..
-
기 빨림 11
으으 만우절 준비인지 거리에 과잠입은 학생 분들이 보이네요
-
오늘 3모 풀어봤어야 했는데 늦잠자서 담주에나 볼 거 같은데
-
채원이 보고가라 2
-
-
저녁 뭐먹지
-
이 지문 개쉽게 술술 풀었는데 정답률이 왜이럼?? 수식확보해서 들어가니까 3번도...
-
아침에 딱 눈 뜨자마자 압니다 그날 하루 비가 올지 안 올지 ㅋㅋㅋㅋㅋ 전신이 다 쑤시네 아...
-
개비싸네 30넘네
-
계시나요? 장단점 좀 ..
-
이건 안해도 되겠죠
???:난 수학을 파괴하고 수학을 창조한다
누가했던말임?
세상을 파괴하고 세상을 창조한다
by 를르슈 비 브리타니아
좋네여
코드기어스 한번 정주행하시길 추천해여
어릴땐 애니 정주행 많이했는데 요즘은 뭐 길게 붙잡고 하는게 힘드네여..
그건 저도 그래여..하루에 2쿨씩 보고 그랬는데...