我们学得越多,就越意识到我们不知道的还有很多。
The most important property of a program is whether it accomplishes the intention of its user.
写作是探索世界和更好地理解自己的一种方式。
A mathematical proof is a poem written in the language of logic.
纯数学在某种程度上是逻辑思想的诗歌。
当你认识到这个世界上的美好时,你就不再是奴隶了。
"El miedo es el peor enemigo de la creatividad."