“小河都知道这个道理:别着急,我们总有一天会到那里的。”
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
自然界中没有线条,只有相互映衬的色彩区域。