1+1 썸네일형 리스트형 1+1=2, 증명 다른 이의 글을 옮깁니다. http://k.daum.net/qna/view.html?qid=3wIKl&q=1+1 화이트헤드(Whitehead)와 러셀(Russell)이 그들의 대작 에서 "1+1=2"라는 당연하기 짝이 없는 사실을 굳이 증명하려 한 것은, 수학이라는 학문의 논리적인 기초를 확립하려는 시도에서 나온 것이었다. 그들이 보이고자 한 것은, 적절한 공리계가 주어지면 그로부터 우리가 알고 있던 모든 수학 지식이 다 논리적으로 유도될 수 있다는 일반적인 원리(principle)였다. 그리고 그 가운데 대표적인 것이 바로 "1+1=2"였던 것이다. 따라서, 이러한 맥락을 외면하고 그저 "1+1=2의 놀라운(?) 증명법"만을 기대하는 것은 러셀의 의도를 전혀 잘못 이해한 것이 아닐 수 없다. 이런 맥락.. 더보기