学习数学的唯一方法就是做数学。
"The only way to learn mathematics is to do mathematics."
故事本身才是主角，而不是说故事的人。
"I don't know what I'm doing tomorrow, I don't have a plan. I'm happy to be alive, to be healthy, and to have my kids."
我不是一个喜欢当第二的人。
每个魔法师都有不同的看待世界的方式，这正是他们的魔法独特之处。
The future of computing lies in the development of systems that can verify their own correctness.
你要格外严谨，尽可能做出最好的东西。