我们就是自己的恶魔，而且你我让这个世界成了自己的地狱。
We are each our own devil, and we make this world our hell.
The elements of mind are to be discovered by systematic introspection.
数学之美在于它能够揭示现实的隐藏结构。
我不是刻意保持神秘，我只是不喜欢谈论自己。
To write is to explore the unknown within ourselves.
最优秀的企业家是那些能将挫折转化为垫脚石的人。
如果谣言是真的，那我不配住在英国；如果谣言是假的，那么英国不配让我居住。
Of the people, by the people, for the people.
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."