学习数学的唯一方法就是做数学。
The only way to learn mathematics is to do mathematics.
在追求理解的过程中，旅程和目的地同样重要。
写作的行为是一种发现的行为。
Faith is a living, daring confidence in God's grace, so sure and certain that a man could stake his life on it a thousand times.
"The best ideas come when you're not trying to have ideas."
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Happiness is not something ready made. It comes from your own actions.