The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
一座好的建筑必须能够吸收人类生活的痕迹。
"The beauty of literature is that it allows us to live a thousand lives in one."
"La verdadera poesía no se escribe con palabras, sino con el silencio que las rodea."
建筑的挑战在于创造既实用又美观的空间。
科学是一段旅程，而不是终点。
People who treat other people as less than human must not be surprised when the bread they have cast on the waters comes floating back to them, poisoned.
我非常相信“各有所好”。
人生は、自分で選んだ道を歩くことだ。
Always listen to experts. They’ll tell you what can’t be done and why. Then do it.