A proof is a way to convince yourself and others that something is true.

人总是比自己知道的自己更多。他不是一成不变的，而是一个过程。

判断两个λ表达式是否等价的问题是无法解决的。

It seems to me that if you or I must choose between two courses of thought or action, we should remember our dying and try so to live that our death brings no pleasure to the world.

The most radical art often comes from the margins.

夜晚是一座伟大的图书馆，但星星是它的书籍。