数学证明是用逻辑语言写成的诗。
A mathematical proof is a poem written in the language of logic.
可能世界是被规定的,而不是通过强大的望远镜发现的。
The computer is a fantastic tool if you know how to use it.
成为一名作家就是成为一名专业的观察者。
To live is to embrace the messiness of life.
成功往往青睐那些持续学习和适应变化的人。