HN 上看见一则陶哲轩的帖子：There’s more to mathematics than rigour and proofs (2007)
文章开头引用的是 Douglas Adams 在《银河系漫游指南》中的句子：
The history of every major galactic civilization tends to pass through three distinct and recognizable phases, those of Survival, Inquiry and Sophistication, otherwise known as the How, Why, and Where phases. For instance, the first phase is characterized by the question ‘How can we eat?’, the second by the question ‘Why do we eat?’ and the third by the question, ‘Where shall we have lunch?’
– Douglas Adams, The Hitchhiker’s Guide to the Galaxy
然后，鬼使神差地搜到下面一句，来自goodreads:
