一个问题如果在计算机上可以快速解决,那么它属于P类问题;如果一个解可以快速验证,那么它属于NP类问题。
抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。
我被人类崇高的思想所感动-在人类的本能之中,他们对知识的受远超过了无意义的玩乐。
Compassion for animals is intimately connected with goodness of character.
如果预料中的快乐是无限大的,就请记住麻烦也可能是同样大。