做数学就是探索一个无限的思想景观。
I’m a very positive thinker, and I think that is what helps me the most in difficult moments.
λ演算本质上是一个关于函数及其应用的理论。
The future depends on what you do today.
未来不是命中注定的。没有保证。所以,要主动承担成年人的责任。要有目的性。开始工作。选择你的家庭。做数学题。创造你自己的确定性。不要被你不知道或没做的事情所定义。
Don't let the noise of others' opinions drown out your own inner voice.