In mathematics, the simplest explanation is often the most profound.
在数学中，最简单的解释往往是最深刻的。
The next generation will solve the problems we can’t.
穷人的时间总被廉价出售，却永远买不到时间。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
获胜的意愿很重要，但准备的意愿至关重要。
The study of consciousness must be free from all preconceptions.
对抗压力最强大的武器是我们能够选择一种思想而非另一种。
讲诚信，是天下行为准则的关键。
我从女孩时代起就有着相同的目标，我想要统治世界。