A good novel tells us the truth about its hero; but a bad novel tells us the truth about its author.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
最终,我们记住的不是敌人的话语,而是朋友的沉默。
幸福的秘密不在于追求更多,而在于培养享受更少的能力。
愚忠愚孝真能维系天地间的伦常,可惜没有圣人栽培,不能进一步登堂入室;大奸诈者 ,偏能建立人世间的功业,若不是有英明君主操控,最终必成跳梁小丑。
当我们谈论自由意志时,神经元早已完成投票。
I always knew I was going to be rich. I don’t think I ever doubted it for a minute.
外国势力似乎并不理解我们政府的真正特性。