"The most thought-provoking thing in our thought-provoking time is that we are still not thinking."

数学家的工作永无止境；总有更多的问题需要解决。

编程语言中最重要的东西是名字。没有好名字的语言不会成功。

The number one benefit of information technology is that it empowers people to do what they want to do. It lets people be creative. It lets people be productive. It lets people learn things they didn't think they could learn before, and so in a sense it is all about potential.