The future of computing is not about more powerful machines, but about more meaningful interactions.

I don’t ask writers about their work habits. I really don’t care. Joyce Carol Oates says somewhere that when writers ask each other what time they start working and when they finish and how much time they take for lunch, they’re actually trying to find out, ‘Is he as crazy as I am?’ I don’t need that question answered.

我认为数学家的作用是发现这些模式并解释它们。

不学《诗经》，就无法表达自己的意思；不学习《礼记》，就无法在社会中立足。

最好的故事是那些为读者想象力留出空间的故事。

逻辑学研究不仅仅是关于形式系统，而是理解理性思维的基本结构。