定理让我兴奋;证明让我厌倦。我的头脑不适合做那些繁琐、细致的工作,去证明我已经知道是正确的东西。
系统不是一个生产系统,而是一个消费系统。
I am always searching for new ways to tell a story.