All that is in motion must be at peace; it is not what is at rest that should be considered peaceful.
I don’t live for the approval of others. I live for myself.
科学家的遗产不在于发表的论文,而在于激发的心灵。
λ演算本质上是一个关于函数及其应用的理论。