我相信:个人自由的探索精神是世界上最宝贵的东西。我会为此而战:思想的自由,可以朝任何它希望的方向发展,不受指引。
判断两个λ表达式是否等价的问题是无法解决的。
创新不仅仅是技术问题;它关乎人以及我们如何共同解决问题。