The study of automorphic forms is a journey into the unknown.
释义：人依赖衣食，就像鱼依赖水；国家依赖人民，就像人依赖双脚。鱼没水活不了，人没脚则寸步难行。
解决问题仅仅意味着以某种方式表示它，以使解决方案变得透明。
真正的发现之旅不在于寻找新的风景，而在于拥有新的眼光。
Life is not a problem to be solved but a phenomenon to be experienced.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."