计算的未来在于开发能够自我验证正确性的系统。

真正的领导者不是那些指挥别人的人，而是那些能激励别人成为领导者的人。

译文：从古至今英雄人物总是要经历磨难才能成就大业，而娇生惯养之辈总是缺少气概难以成就伟业。赏析：生于忧患，死于安乐。一个人要想成功必定要经历很多痛苦和艰难，如果人太安逸和舒适了，就会丧失斗志。

如果我必须生活在一个需要解释我的幽默感的世界里，我就没法在这个星球上活下去。

历史不仅仅是关于日期和事件，而是关于经历过它们的人们。