我唯一感兴趣的是人类这种动物以及它的样子。
逻辑学研究不仅仅是关于形式系统，更是关于理解人类推理的本质。
The best way to predict the future is to create it yourself.
如果你是战士，别为你自己的自由而战，而要为你战友的自由而战。这样，战争对你俩来说，就会更加鼓舞人心。
Understanding the limits of computation is as important as pushing its boundaries.
我不需要理由去势不可挡。
Our game is to recognize a big idea when it comes along when one doesn't come along very often.