The development of formal systems has revolutionized our understanding of mathematics.

我们讲述的故事塑造了我们生活的世界。

The best ideas often come from listening—to farmers, scientists, and families.

编程语言中最重要的东西就是名字。没有一个好名字，一门语言就不会成功。我最近发明了一个非常好的名字，现在正在寻找一门合适的语言。