在数学中，提出问题的艺术必须比解决问题更有价值。
In mathematics, the art of proposing a question must be held of higher value than solving it.
The highest knowledge is to know that we are surrounded by mystery.
我知道表达自己的唯一方式就是通过音乐。
作家的任务在于能够从某种理念中创造出作品。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
That's one small step for (a) man, one giant leap for mankind.
The brain is a commodity used to fertilize ideas.
最好的故事是那些挑战你的故事。