"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 best way to learn mathematics is to do mathematics.
写下那些不应该被遗忘的事情。