화이트헤드와 러셀의 《수학 원리》, 100년이 지나도 프로그래밍 언어 연구자에게 시사하는 바가 크다

Principia Mathematica is modern and insightful

1910년에 출판된 화이트헤드와 러셀의 《수학 원리》는 현대 프로그래밍 언어 이론의 핵심 개념들을 예견했다. 이 책은 참조 투명성, 외연성/내포성, 타입, 자유 변수와 결속 변수, 치환, 추상화, 적용, 알파-동치 등을 논의하며, 람다 계산법의 선구자적 면모를 보여준다. 또한 '임의의'와 '모든'의 구분을 통해 직관주의를 암시하고, 존재 증명에서 특정 예시를 제시해야 한다는 구성주의적 관점을 드러낸다. 이 글은 1장을 읽으며 기록한 노트로, 현대 독자에게 신선한 통찰을 제공한다.