我一生中最遗憾的是善良的失败。

A mathematical proof is a poem written in the language of logic.

The real problem is not whether machines think but whether men do.

If you want to walk fast, walk alone. If you want to walk far, walk together.

我想，上帝在创造人类时高估了他的能力。