"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

小说不是一种体裁，而是一种思想形式。

没有人真正了解其他人。他所能做的最好的事情就是假设他们像他自己一样。

The Langlands program is an invitation to explore the unknown territories of mathematics.

The city is like a text, it speaks to those who can read it.

The best way to learn mathematics is to do mathematics.

登上梯子顶端的唯一方法就是一步一步往上爬。

写下那些不应该被遗忘的事情。