判断两个λ表达式是否等价的问题是无法解决的。

成为难民就是在别人的世界里成为一个低语。

释义：圣人之所以成为圣人，关键在于内心纯粹地符合天理，而不在于才学和能力的大小。所以即使是平凡的人，只要愿意学习，使自己的内心纯粹地符合天理，那么也可以成为圣人。

仅仅观察、实验、理论化和计算是不够的。人们还必须想象。

科学的进步不仅是通过回答问题，而是通过提出更好的问题。