我们存在，只为改变世界。

我不同意你说的话，但我愿意为你说话的权利而献出生命。

任正非内部讲话稿

λ演算是一种表示函数及其应用的形式体系。

The value of a thought is in its consequences for behavior.

音乐是一种道德律，它使宇宙有了魂魄，心灵有了翅膀，想像得以飞翔，使忧伤与欢乐有如醉如痴的力量，使一切事物有了生命；它是秩序的本质，引向成为真、善、美的一切。

如果上帝想要人人都一样的话，他会给每人一双脚撑。