Drawing is a way of thinking on paper.
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
数学不是一项观赏性运动;要理解它,必须积极参与其中。
在桂林学界迎会的演说,1922年1月22日
发现的关键不仅在于我们找到的答案,还在于我们敢于提出的问题。
Acting is not about being someone different. It's finding the similarity in what is apparently different, then finding myself in there.
成功不是终点,失败也不是致命的:重要的是继续前进的勇气。
开放的社会、对知识的无限制获取、人们为促进知识而进行的无计划和不受抑制的联合——这些可能使一个庞大、复杂、不断增长、不断变化、日益专业化和技术化的世界仍然成为一个人类社区的世界。