数学不知道种族或地理界限；对于数学来说，文化世界是一个国家。

The challenge in model checking is not just to find errors, but to understand why they occur.

诗歌是一个可以说出不可言说之事的地方。

培养造就冲淡清虚的品格，便是一生的学问；丢弃无端的烦脑，心境又是多么安静平和。

最可持续的建筑是人们喜爱的建筑。