In science, the credit goes to the person who convinces the world, not to the person to whom the idea first occurs.
在科学界，荣誉归于说服世界的人，而不是第一个想到这个想法的人。
"To me, fearless is not the absence of fear. It's not being completely unafraid. To me, fearless is having fears. Fearless is having doubts. Lots of them. To me, fearless is living in spite of those things that scare you to death."
预测你未来的最好方法就是创造它。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
只要能够改变你自己的头脑，你就可以永远保持年轻。
积极性让我们变得更好。通过打开我们的心灵和思想，积极情绪让我们能够发现和建立新的技能、新的联系、新的知识和新的存在方式。
你知道得越多，就越意识到自己知道得多么少。
I’m not a guy that’s going to let my drive down.
译文：好名声靠同事朋友传扬，好品德靠自己坚持。
译文：彻底领悟之后，便能在这茫茫虚空中，明辨是非。
我接受混乱，但不确定它是否接受我。
Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.