하나의 프로그래밍 언어가 수학을 재정의한 방식과 소프트웨어가 다음 차례인 이유

How One Programming Language Rewrote Mathematics and Why Software Is Next