城市部落被高估了。

Make no mistake about it: Computers process numbers - not symbols. We measure our understanding (and control) by the extent to which we can arithmetize an activity.

绝望会加倍力量。

A mathematician is a device for turning coffee into theorems.

我相信爱和善良的力量。