The boundary between physics and mathematics is not as clear-cut as we might think.
物理学和数学之间的界限并不像我们想象的那么清晰。
判断两个λ表达式是否等价的问题是无法解决的。
创新不是口号,而是每天都要做的事情。
Don’t wait for the perfect moment—take the moment and make it perfect.