In the end, the value of a theory is not in its complexity, but in its ability to explain and predict.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
别把你的旅程与他人比较,每个人都有属于自己的路。
不用圆规和曲尺,就不能画出方形和圆形。比喻做事要遵循一定的法则。
The role of the economist is part scientist, part engineer.