The best way to predict the future is to invent it.
计算复杂性的研究告诉我们,有些问题本质上是困难的,无论我们的算法多么聪明。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
最大的危险,失去自我,可以在世界上非常安静地发生,仿佛它根本不是什么大事。