我歌唱不是因为我看不见,而是因为我有声音。
I sing not because I am blind, but because I have a voice.
形式系统的发展彻底改变了我们对数学的理解。
只要有一个程序,我们将永远不会用完所有要编程的东西。
DNA是用生命语言写就的终极史书。