The desire for verification is understandable but cannot always be satisfied.

我看到了，我忘记了；我听到了，我记住了；我做过了，我理解了。

权力不会腐蚀。恐惧会腐蚀……也许是对失去权力的恐惧。

函数的概念在数学中是基础的，而λ演算试图使这一概念精确化。

我不必向任何人证明什么。没有什么可证明的。

如果我看得更远，那是因为我站在巨人的肩膀上。