To exist is to have a subjective existence.

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

我认为艺术中最重要的东西是激发思考，而不是提供娱乐。

纯数学和应用数学之间的相互作用是真正创新发生的地方。

"The stage is where the dead speak to the living."

That thing that made you weird as a kid could make you great as an adult — if you don’t lose it.

Never take yourself too seriously. Nobody else does.