实验的语言比任何推理都更具权威性：事实可以摧毁我们的推理，但反之则不然。
复杂性是执行力的敌人——保持解决方案简单。
I am a bad feminist, but I am a feminist.
The study of computation is not just about machines, but about the very nature of thought and logic.
计算的研究不仅仅是关于机器，而是关于思维和逻辑的本质。
生活是我们创造的。旅行者是旅行本身。我们看到的不是我们看到的东西，而是我们自己。
在数学中，最深刻的思想往往源于最简单的观察。