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

← 피드로

1910년에 출간된 Principia Mathematica는 참조 투명성과 타입, 자유·바인딩 변수, 치환, 스코프 등 현대 프로그래밍 언어의 핵심 개념을 이미 다룸 명제 함수와 겉보기 변수(apparent variable)는 각각 람다 항과 바인딩 변수에 대응하며, 알파 동등성과…

원문 보기 ↗