历史教育我们,你现在相信的假定在 100 年后很可能会被证明是错的。一个在今天就可以问自己的好问题就是「我可能错在哪里了?」
Consciousness is the workshop of evolutionary success.
理解计算的极限与理解数学的极限同样重要。
The aim of proof is to understand, not just to verify.