Art should be something that liberates the soul, provokes the imagination and encourages people to go further.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
质量不是选择;它是要求。
我不怕失败,我怕不去尝试。
The world is full of people who have never, since childhood, met an open doorway with an open mind.
数学家的模式,就像画家或诗人的模式一样,必须是美丽的;思想,就像颜色或文字一样,必须以和谐的方式结合在一起。
我是早起的鸟儿,也是夜猫子。所以我既聪明又有虫子。
盈利和可持续性必须齐头并进,它们并非相互排斥。