Dijkstra가 1978년에 제기한 '자연어 프로그래밍'에 대한 비판적 통찰을 담고 있습니다. 많은 이들이 자연어를 사용하면 프로그래밍이 쉬워질 것이라 기대하지만, Dijkstra는 인터페이스의 복잡성이 증가하고 무의미한 서술이 늘어날 수 있음을 경고합니다. 그는 formal symbols를 사용하는 것이 단순한 제약이 아니라, 논리적 정당성을 확인하고 오류를 방지할 수 있는 '특권'이라고 강조합니다. 또한, 자연어의 '자연스러움'이 오히려 무의미한 문장을 만들기 쉽게 만든다고 지적하며, 명확한 형식 체계를 구축하는 것이 컴퓨터 과학의 핵심 과제임을 시사합니다.