1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유

- 1910년에 출간된 Principia Mathematica는 참조 투명성과 타입, 자유·바인딩 변수, 치환, 스코프 등 현대 프로그래밍 언어의 핵심 개념을 이미 다룸 - 명제 함수와 겉보기 변수(apparent variable)는 각각 람다 항과 바인딩 변수에 대응하며, 알파 동등성과 함수 적용에 해당하는 개념까지 보여줌 - 정의를 이론적으로 불필요한 ...