To me programming is more than an important practical art. It is also a gigantic undertaking in the foundations of knowledge.
对我来说,编程不仅仅是一门重要的实用艺术。它也是知识基础中的一项巨大事业。
使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
Inspiration can come from the most unexpected places.