λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
创新不仅仅是技术的问题;它关乎改变人们的思维和工作方式。
艺术应该让舒适的人不安,让不安的人舒适。