写作不是治疗,而是寻求真相。
Nothing has really happened until it has been recorded.
逻辑学研究不仅仅是关于形式系统,更是关于推理本身的本质。
To succeed, planning alone is insufficient. One must improvise as well.
我们内心有一种无法命名的东西,那就是我们的本质。
任何一代人最伟大的发现是,一个人可以通过改变态度来改变他的生活。
数学家的工作大多是孤独的追求,但也具有深刻的合作性。