자유 게시판

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


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


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


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


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





List of Articles
No. 제목 글쓴이 날짜 조회
» 신의 증명과 불완전성 정리, 러셀의 역설 챠우 2018-06-21 1070
4687 구조론에 바탕한 새로운 역사해석 시도. 4 김미욱 2018-06-21 907
4686 구조론 목요모임 image ahmoo 2018-06-21 448
4685 교장과 교감의 부당한 권력 횡포를 막아야 교육이 바로섭니다. 2 이상우 2018-06-19 861
4684 내일 학교폭력과 아동학대로 인한 갈등 중재 하러 갑니다. 이상우 2018-06-14 604
4683 구조론 목요모임 image 1 ahmoo 2018-06-14 501
4682 경남도지사 후보의 고군분투기! 1 달타(ㅡ) 2018-06-13 900
4681 이런 영화 한편 만들고 싶다. 아제 2018-06-13 706
4680 미국 군수업체 image 1 눈마 2018-06-13 848
4679 안희정, 정봉주, 박수현, 이재명 건을 보면서... image 4 국궁진력 2018-06-11 1908
4678 벨기에 여행기 image 5 챠우 2018-06-08 1245
4677 구조론 목요모임 image ahmoo 2018-06-07 475
4676 친구가 그대를 규정한다. 2 아제 2018-06-05 1108
4675 생명의 바운더리. 아제 2018-06-04 747
4674 자한당 가고 다음은 조중동 보내기인데... 1 큰바위 2018-06-02 845
4673 구조론 목요모임 image ahmoo 2018-05-31 522
4672 토닥토닥 image 4 풀꽃사랑 2018-05-31 551
4671 <사람이 원하는 것 - 약한고리를 보호해야 한다> image 아란도 2018-05-25 864
4670 트럼프에 대한 한 가지 일화 image 3 락에이지 2018-05-24 2273
4669 핸드폰에서 구조론 사이트 첫 화면을 열면... 4 다원이 2018-05-24 980