只热爱实践而无理论的人,就像没有舵和罗盘的水手,永远不知道他可能漂流到哪里。
判断两个λ表达式是否等价的问题是无法解决的。
每个爱情故事都是伪装成幽灵的故事。
最好的故事是反映生活复杂性的故事。