수동으로 생각하는 방법
게시글 주소: https://orbi.kr/00075263400
『공통점 찾기』와 『질문과 답변』
예제)
러셀의 역설이 있다
역설이 뭔가?
모순인가?
모순이라는 개념과 공통점을 가지는 개념은 무엇인가?
귀류법
왜?
모순을 통해 증명하기 때문
그럼 러셀의 모순에도 귀류법이 적용되는가?
그런거같다
어떻게?
귀류법은 A를 가정해서 모순이 생기면 not A가 참이라는것이다
러셀의 모순이 구체적으로 무엇인가?
나이브한 집합론을 가정했을때 모순이 생긴다는것
그럼 거기에 귀류법을 적용하면 어떻게되는가?
나이브한 집합론(A)를 가정해서 모순이 생기면 not 나이브한 집합론(not A)이 참이다
러셀의 역설의 결과가 무엇인가?
ZFC공리를 만든것
ZFC는 나이브한 집합론이 아니다
따라서
ZFC는 not 나이브한 집합론이다
위에서 not 나이브한 집합론이 참이라고 했으므로
ZFC공리는 귀류법에 의해 참임이 증명된다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
좋아요 1 답글 달기 신고 -
-
자율전공 학과 선택 아케함? 3 0
2학년때 선택한다는건 아는데, 선택가능 과중에서 인기과 들어갈려면 1학년 학점이 중요한거임?
-
문명 재밌다 0 0
어렵긴한데 전쟁하고 다른문명 멸망시키는게 재밌음
-
올해는 영어 보정안해주나 ㅜㅜ 0 0
수원대가 해주면 조케따
-
만점 표점은 얼마나 떨어질까요
-
나이스 ㅋㅋㅋㅋ 10 0
굳굳 이제 남은 건 언매만표
-
여기채널영상보면시간살살녹음 이시기에보기좋다고생각함
-
22개정 교육과정( 28학년도 입시) 사회/과학 선택 질문 1 0
인문계 지원 학생은 '통합 사회'만 시험 보게 되고 자연계 지원 학생은 '통합...
-
동국대 인문논술 1 1
이번 동국대 인문논술 글자 수 400 400 700인데 1, 2번 한줄에 35개씩...
-
논술 건축학부 0 0
경쟁률 왜 높은가요 건축 낮과아닌가여?
-
다이어트 성공하면 인증할거임요 0 0
안하겠다는 뜻
-
이번 겨울에 알아볼려고 하는데 소수정예처럼 1:1해주는곳 있나요? 과외는 보통...
-
"아펠리오스, 가장 강력한 무기는 바로 네 신념이야." 1 0
이말듣고 +1하기로했다
-
필요 없어지면 언제든 버리겠단 얘긴데
-
운좋아서 의대가는 경우는 현실적으로 어느정도실력은되야하나여
-
으악우형님어디감 4 0
그러고보니 안보이노
