互联网是人类通信史上自印刷机发明以来最重要的单一发展。
The Internet is the most important single development in the history of human communication since the invention of the printing press.
形式系统的发展彻底改变了我们对数学的理解。
【译文】做人不要到处拈花惹草，应洁身自好。只要五官长得好，即使不搽脂抹粉也很漂亮。
衡量一个人的真正标准是他如何对待那些对他毫无益处的人。
λ演算本质上是一个关于函数及其应用的理论。