The world is a prison in which solitary confinement is preferable.
世界是一座监狱,其中单独监禁更可取。
λ演算的基本概念是函数,被视为一种对应规则。
My life is an unfinished song.
The most important thing in mathematics is to understand the concepts, not just to memorize formulas.
You have to believe in yourself when no one else does.
预测未来的最好方法就是创造它。
The sun did not know how beautiful its light was until it was reflected off this building.