자유 게시판

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


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


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


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


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





List of Articles
No. 제목 글쓴이 날짜sort 조회
4652 고 노회찬 님의 명복을 빕니다. 1 해안 2018-07-23 2066
4651 검색기능에 대해 2 서단아 2018-07-22 1685
4650 모든 경제는 "정치경제학"이다. image 1 스마일 2018-07-22 1619
4649 각나라의 실업율 image 2 스마일 2018-07-20 1711
4648 구조론 목요모임 image ahmoo 2018-07-19 1390
4647 제안합니다! 1 cintamani 2018-07-18 1604
4646 단어 하나도 중요하다. 1 다원이 2018-07-17 1554
4645 [출간소식] 구조론총서15. 신의 입장 image 25 ahmoo 2018-07-16 2846
4644 크라우드펀딩의 마지막 날. 소개글을 첨부합니다. image 5 덴마크달마 2018-07-16 1541
4643 중고차 VS 컴퓨터.. 2 야뢰 2018-07-15 1701
4642 항해 사진전 초대합니다(7월 15일 일요일, 이태원) image 수피아 2018-07-14 1747
4641 구조론 목요모임 image ahmoo 2018-07-12 1301
4640 관계론적으로 본 군주에 대한 평가 4 김미욱 2018-07-11 1648
4639 구조론 목요모임 image ahmoo 2018-07-05 1499
4638 깨달음 흘끗 보기. systema 2018-07-01 1928
4637 출판 크라우드펀딩을 기획했습니다. 8 덴마크달마 2018-06-30 2064
4636 [학급운영] 관찰하고 또 관찰하면 보이는 것 이상우 2018-06-28 1615
4635 철인3종 경기 행사 안내(7월 6일 금요일 오전 9시) 수피아 2018-06-28 1548
4634 구조론 목요모임 image ahmoo 2018-06-28 1436
» 신의 증명과 불완전성 정리, 러셀의 역설 챠우 2018-06-21 2894