자유 게시판

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


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


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


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


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





List of Articles
No. 제목 글쓴이 날짜 조회sort
5072 여러분들의 탄생화는 무엇인가요? 3 죽어문화개혁 2013-01-03 65380
5071 검토 부탁드립니다. 1 사드레 2007-06-19 64567
5070 애플 와치 만드는 과정 설명 image 오리 2015-03-21 59491
5069 "깨달음의 대화 - 상호작용의 세계관"을 읽고 질문입니다. 1 귤알갱이 2013-07-06 49736
5068 [유시민] 문제는 '지역감정'이 아니라 '전라도 혐오증' 2 이민구 2012-12-21 32683
5067 환영하오. 소라 짱! image 4 양을 쫓는 모험 2009-05-06 29144
5066 대한민국 연령별 인구분포도('15. 2월 현재) image 3 싸이렌 2015-03-20 27150
5065 남자의 자격, 배다해의 노래에 울화가 치민다 image 5 양을 쫓는 모험 2010-08-10 25381
5064 천마신군의 리더쉽 image 2 양을 쫓는 모험 2013-01-23 20714
5063 수능 점수에 맞춰 대학 가려는 딸 어떻게 할까요? 7 새벽이슬2 2014-12-19 20683
5062 영화는 한국에서 개망했지만 눈내리는 마을 2014-12-14 19936
5061 내년에는 과연 이글스가 9위를 탈출 할까? 2 오리 2014-11-04 19411
5060 한반도 대척점 image 노매드 2010-09-01 18663
5059 "방불케 하다" 라는 관용구의 어법 분석. 1 노매드 2010-10-26 17350
5058 성형수술 통계 image 3 곱슬이 2012-04-25 17245
5057 Google Science Fair 2013 이제 여러분이 세상을 바꿀 차례입니다. image 2 오리 2013-07-03 17227
5056 사상누각에 대한 짧은 단상 image 15門 2013-01-03 16999
5055 표창원 vs 권영진 , 표창원 vs 전원책 1 이민구 2012-12-18 16953
5054 7월22일~25일 방영된 다큐추천합니다 EBS 다큐 프라임 기생寄生 PARASITE image 4 삼백 2013-07-27 16589
5053 Milkis Theodorakis - 기차는 8시에 떠나네 6 아란도 2011-01-31 16242