我不觉得人类的大脑足以理解过去和未来,这二者不过就是幻象而已,驱使你去相信一切有所改变。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
Just because you make a good plan doesn’t mean that’s what’s gonna happen.
Art is not a thing; it is a way.
与同伴保持良好的关系的愿望,即所谓的人类联合本能,轻易地超过了单纯的个人利益和理性逻辑。