해석학 공부 하면서 증명 문제를 풀다보니 궁금한게 생겼는데
귀류법을 정말 많이 사용하더라구요.
그러면 귀류법을 이용해서 증명 가능한 명제들은
귀류법을 사용하지 않고 전부 직접 증명이 가능 할까요?
직접증면 가능한데 편하니까 귀류법을 사용하는건가요?
- dc official App
[대학교이상] 해석학 공부중 증명 관련 질문좀
익명(117.111)
2022-01-13 15:43
추천 2
댓글 5
다른 게시글
-
만약에 현존하는 수학 대가가 소아성애자인거밝혀지면 [3][일반] 익명(118.235) | 22.01.13추천 0
-
슈뢰딩거가 피도파일이었다고 함 [59][일반] 익명(119.201) | 22.01.13추천 25
-
icm 초청될정도면 대단한거임?[일반] 익명(110.70) | 22.01.13추천 0
-
필요충분조건과 동치의 차이가 뭔가요?? [1][일반] 익명(223.39) | 22.01.12추천 0
-
밑줄 친 부분의 근거가 궁금합니다 [3][대학교이상] 녜서님(fermathy) | 22.01.12추천 0
-
올해 2022 icm 사실상 한국인 필즈상 없는거 확정이네요. [12][일반] 익명(59.1) | 22.01.12추천 23
-
저번에 고닉 누가 knot theory 책 추천해줫는데 [3][일반] 익명(121.88) | 22.01.12추천 0
-
극한에서 변수 대입 시점이 궁금합니다 [3][중고딩문제] 익명(223.38) | 22.01.12추천 0
-
서울대 강의전담 [4][일반] 익명(223.38) | 22.01.12추천 0
-
하루에 공부8시간 정도하면 머리아픔[일반] 익명(118.40) | 22.01.12추천 1
귀류법이 편하니까가 맞지 않을까?
그게 가능했으면 직관주의가 흥하지 않았을까..
CZF (constructive Zermelo-Frankel set theory)이나 IZF (Intuitive Zermelo-Frankel set theory)도 math stack exchange에서 관련 질문 읽어보면 재밌음ㅋㅋ
아니.