Donald Knuth - Connecting Informal and Formal Thinking (via searchlore.ai)