计算复杂性的研究不仅仅是关于解决问题，还在于理解可计算性的极限。
数学是理性的音乐。
"The future of investing lies in the ability to harness the power of technology and data."
We choose to go to the moon in this decade and do the other things, not because they are easy, but because they are hard, because that goal will serve to organize and measure the best of our energies and skills, because that challenge is one that we are willing to accept, one we are unwilling to postpone, and one which we intend to win, and the others, too.
世界上充满了显而易见的事物，但没有人会去注意它们。
Quality is not a destiny; it is a design.