The human mind is a serial processor operating on parallel hardware.
判断两个λ表达式是否等价的问题是无法解决的。
教育的目的不是使年轻人在任何一门科学上都变得完美,而是要打开和培养他们的思维,使他们在将来学习任何科学时都能胜任。