计算的未来在于开发能够自我验证正确性的系统。
The obligation of subjects to the sovereign is understood to last as long, and no longer, than the power lasteth by which he is able to protect them.
数学的真正力量不在于它的复杂性,而在于它的简洁和优雅。
我不怕被这印象压倒。它很快就会过去的。