자유 게시판

함수는 그 자신의 독립 변수가 될 수 없다. 그 이유는 함수 기호는 이미 자기의 독립 변수의 원형을 포함하면서 또 자기 자신을 포함할 수는 없기 때문이다.(나무위키 '러셀의 역설' 항목 중)


핵심은 수학의 경우에는 무모순하다는 것에 대한 증명을 그 체계 자체에서 증명될 수 없다는 것이다. 그보다 상위 체계를 동원한다면 가능할 수 있는 것.(나무위키 '불완전성 정리' 항목 중)


집합과 관련된 이야기인데, 기존에는 집합을 '원소들의 모임' 정도로 정의했기 때문에 발생한 문제제기라고 합니다. 동렬님의 칼럼 "신의 증명"과 관련이 있는듯 한데, 전체 of 전체인 신은 불완전성 정리로도 증명할 수 없는 거죠. 불완전성 정리조차도 상위 체계로만 증명해야 한다고 하기 때문. 


동렬님은 이에 대해 후손의 후손을 확인하는 것으로 증명할 수 있다고 합니다. 어떤 것의 존재는 둘 만으로는 증명할 수 없고, 반드시 셋 이상이 있어야 하기 때문이죠. 그리고 모든 것은 직접 증명은 불가능하고, 간접증명만 가능합니다.(방송 이후에 나왔던 내용) 내가 눈으로 확인하고 손으로 만진다고 해서 그것은 직접증명은 아닌 거죠. 어떠한 경우라도 내가 '해석'하기 때문에 그것은 이미 실체가 아닙니다. 우리는 실체를 확인할 수 있다는 전제가 애당초 틀린 겁니다. 


그러므로 이런 것을 (간접)증명의 방법이라고 말할 수도 있겠네요. 





List of Articles
No. 제목 글쓴이 날짜 조회sort
2912 [강남훈]기본소득이란 2 수원나그네 2016-02-01 2984
2911 눈 보고 사자 도망가게 만들기 2 귀족 2013-11-09 2984
2910 과연 한국의 방통위는 이걸 막을 수 있을까? 4 까뮈 2014-01-06 2984
2909 백수유구조, 이건희을 구워라! 1 담 |/_ 2013-07-03 2984
2908 친노였다는 이유로? 5 양을 쫓는 모험 2012-11-16 2984
2907 공간을 지배하는자,시간을 다스리는자 1 불멸 2012-03-06 2984
2906 요즘 드러난 학교폭력 사태때문에 .. 8 난너부리 2011-12-30 2984
2905 책 잘받았습니다..! image 1 이강현 2009-01-21 2983
2904 확전자제 발언 이상우 2010-11-24 2982
2903 부끄러운 고백 image 3 생글방글 2017-05-19 2981
2902 7인의 사무라이, magnificent 7 1 눈마 2016-04-21 2981
2901 이번주 구조론연구소 모임 취소 4 냥모 2014-02-19 2981
2900 올 이즈 로스트 보셨나요? 3 시원 2014-02-12 2980
2899 랄랄라스튜디오 애플리케이션 image 29 냥모 2015-05-05 2978
2898 <변호인> 대박입니다. 4 봄날 2013-12-19 2977
2897 쉬운문제 16 아란도 2013-02-20 2977
2896 wson의 과학의 정체 논란을 읽고 1 juseen 2011-06-03 2977
2895 송영길 인천시장 YTN 생중계 인터뷰 1 노매드 2010-11-25 2977
2894 짐승의 시간 image 2 아란도 2014-09-27 2976
2893 간큰놈 오리 2013-03-29 2976