化学是逻辑的诗,也是诗的逻辑。
Chemistry is the poetry of logic and the logic of poetry.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。