朋友是生活中最大的富足。

渔民的智慧与科学数据相结合，才能制定出最佳的保护政策。

所有发生过一次的事物都不会再发生。但是所有发生过两次的事物必定会第三次发生。

如果今天我不是拿破仑的话，我想成为亚历山大。

Cooperation is more important than competition, and ecosystems are more viable than going it alone.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

〈与日人某君的谈话〉，1924年2月

"We must constantly challenge our assumptions and be willing to change our minds."

I like crossing the imaginary boundaries people like to draw between scientific fields.