A man's errors are his portals of discovery.
一个人的错误是他发现的门户。
下一代不会问我们说了什么，而是问我们做了什么。
当有人说“我想要一种只需要说出我想做的事的编程语言”时，给他棒棒糖。
Being brave isn’t the absence of fear. Being brave is having that fear but finding a way through it.
The development of formal systems has revolutionized our understanding of mathematics.
设想英雄到了晚年，不住在温柔乡还能住在哪里。