Notation as a Tool of Thought (1980) | Dark Hacker News