The only true thoughts are those which do not understand themselves.
密史脱拉风或许会呼啸,但橄榄树弯曲却不会折断。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。