러셀과 화이트헤드의 '수학 원리', 현대 논리학의 뿌리를 찾다
Key Point
수학 기초론의 고전 저작이 현대 논리학과 형식 체계에 끼친 영향을 학술적으로 분석한 글로, 개발자와 이론 전산학자들 사이에서 역사적 통찰력을 찾는 독자들로부터 주목받고 있다.
핵심 요약
- '수학 원리'는 기본 공리만으로 모든 수학이 유도 가능함을 보이기 위해 극도로 상세한 증명을 제시했다.
- 한때 '명백한 변수'로 부르던 개념은 현대의 한정변수(bound variable)이며, 람다 계산법의 역사적 기원을 보여준다.
- '수학 원리'는 1910년에 벌써 '정확한 기술'과 '명시적 함수'의 차이를 구분했으며, 수학의 함수적 과정들을 분류했다.