수학의 파괴와 재창조
게시글 주소: 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를 선물하세요.
-
물1 브릿지 7
전국브릿지까지는 괜찮은데 올해 브릿지 난이도 빡세네;;; 내 폼이 떨어진건가...?
-
설마 해서 물어봅니다.
-
탈르비. : 오르비를 탈퇴하는것. 탈르비, 그것은 현생으로 나아가기 위한 발판이라고...
-
대학 편미분 방정식 내용을 가르치고 있는데 장난함? 라플라스 변환도 하지 그러냐?
-
하.. 라떼까지만 해도 이렇게 ㅈ될줄 몰랐지 표본이
-
박종민t 커리타고 있는데 문풀량 늘리고 싶어서요! (+ qed 너무 어려움) 너무...
-
입시 정보 얻고 싶어서 새로 가입하게되었습니다 !! 반갑습니다
-
이거들어바 10
굿
-
돈 조금더 주더라도 이신혁 듣는게 나은가요? 지금부터 아폴로해도 안늦은건가요? 도와주세요 ㅠㅠ
-
누가 수학 잘하려면 어캐 해야하나요 이런 질문이 올라와서 병훈t께서 겸손이 첫째...
-
게임 하려는데 17
마우스패드가 없네 공부하자......
-
이거는 진짜 끝이 없는 놈임 역사도 짧으면서 범위는 수학보다 넓어 보임 응용? 인생...
-
역시 현역은 내신베이스로 했던 걸 해야됨. 이런 개꿀과목이 있을 수가 ㄷㄷ...
-
개인적으로는 한 챕터 전부 강의 끝나고 나서 풀어왔는데 다른 분들은 어떻게 하셨는지 궁금합니다.
-
노래 맞추기 4
왜ㅂ
-
미적하다가 기하런하려는데 아직 늦지않았나요?
-
커뮤를 불태운 남자
-
으으
-
반수생들 6모 3
대학 학기중이라 현장응시 별로 못하나요?
-
댓글로 가위 주먹 보 중 하나 내보세요
-
흑흑
-
개빡치네 ㅋㅋ
-
그거 1년전인 13살에 러셀에서 모의수능봐서 미적 100 찍었기도 했음 그 나이에...
-
고대국어의 조사 0
김지오(2024) 향가 조사(助詞)의 형태론적 고찰...
-
2503 독서 보니까 선별해서 평가원화하면 재밌을 거 같은데 문제는 제가 뭐 어떻게...
-
대상이 오르비인 혀/르비는 왜 혀/르비일까 약간 리뷰엉이 다음 영상 미리보기 하는...
-
무빙건 설대식 점수였음
-
통계학으로 밥벌어 먹는 분야가 문과인데 통계학 자체는 그냥 수학덩어리임 데이터...
-
乙[을]이 흔히 거론되긴 하지만 肹도 쓰였으며, '을'로 보는 학자도 있고 '흘'로...
-
떴다~~
-
대도윤 겪고 나니까 분수를 모르는 사람들이 문제지 사교육은 죄가 없어보임 사교육은...
-
비감도 0
기억나는사람
-
미적에서 기하로 0
공대 지망인데 미적에서 기하로 옮기는거 괜찮을까요? 확통은 별로 안좋아함
-
4/4부터 신청이던데 선착순이라고 들어서 좀 불안하네요 학교에서 보긴 진짜 싫은데.. ㅠ
-
오르비에 게시글 올리는 거랑 차이점이 뭐임 약간 친한 친구 스토리 그런 느낌인가
-
기하 논술이랑 내신 공부한 걸로 작년 3,6,9,수능 풀어보고 뭔가 희망이 보여서...
-
아가 자야지 4
피곤행
-
애가 막 친목 하려고 하네요 오히려 좋아 원랜 답변만 띡 했는데...
-
을 모르겠다 걍 영원히 수업때 등짝이랑 옆모습만 바라보는 사람됨 인스타 스토리 하트 에반가?
-
현역 3월 모의고사 수학에서 160 + 260이었나를 520으로 쓰는 매우 저능한...
-
근데 게시글은 거의 없네
-
공부 좀 하려고 했는데 ㅠㅡㅠ
-
비갤?? 0
특정닉 때문이 아니라 옛글 좀 보고 있는데 비갤이란 분이 나쁜 분이셨나요....
-
EBS 강의 추천 13
수특독서 차해나 선생님 지구과학2 이윤희 선생님
-
까먹을뻔햇는데 누가 댓글에써줌
-
어떤 1타는 모든 인강강사를 압도하는 세계 유수의 대학을 졸업한 반면 어떤 1타는...
-
기원쌤 1
토 막반 현강이인데 몸 챙기시면서 수업해주셨으면 ㅜㅜ 기침하시고 목 아파하시는걸...
-
디모 Fluquor 라는 노래가 그렇게 슬펐는데
-
나는 개인 자산 운용은 사적인 영역이라고 생각하는데…. 막 국가 돈으로 미국 채권 산 것도 아니고
???:난 수학을 파괴하고 수학을 창조한다
누가했던말임?
세상을 파괴하고 세상을 창조한다
by 를르슈 비 브리타니아
좋네여
코드기어스 한번 정주행하시길 추천해여
어릴땐 애니 정주행 많이했는데 요즘은 뭐 길게 붙잡고 하는게 힘드네여..
그건 저도 그래여..하루에 2쿨씩 보고 그랬는데...