仰望星空，而不是低头看脚。试着理解你所看到的，并思考是什么让宇宙存在。保持好奇心。
Look up at the stars and not down at your feet. Try to make sense of what you see, and wonder about what makes the universe exist. Be curious.
获得智慧是一种道德责任，它不仅仅是为了让你们的生活变得更加美好。有一个相关的道理非常重要，那就是你们必须坚持终身学习。如果不终身学习，你们将不会取得很高的成就。光靠已有的知识，你们在生活中走不了多远。
Wisdom acquisition is a moral duty. It’s not something you do just to advance in life. And there’s a corollary to that proposition which is very important. It means that you’re hooked for lifetime learning, and without lifetime learning you people are not going to do very well. You are not going to get very far in life based on what you already know.
生活中最重大和最重要的问题从根本上都是无法解决的。它们永远无法被解决，只能被超越。
世界是一个美丽的地方，但它有它的荆棘。
艺术总是要反抗些什么。如果它不再反抗，它就不再是艺术。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.