程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
The arithmetic of modular forms is a key to understanding the deeper structures of number theory.
A book is a mirror: if an ape looks into it, an apostle is unlikely to look out.
我希望我的音乐能让人们感觉良好并充满力量。
我从不后悔生命中做过的任何事或任何选择,但我对那些没做过的事充满遗憾。