Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding.
数学不是关于数字、方程、计算或算法的:它是关于理解的。
海洋是生命的摇篮,也是人类未来的希望,我们要像对待母亲一样呵护她。
语言是思想的翅膀,诗歌是它们最高的飞翔。
找到方法。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。