The most important thing in science is not so much to obtain new facts as to discover new ways of thinking about them.
Whenever two programmers meet to criticize their programs, both are silent.
La identidad no es un punto de partida, sino un resultado.
We are on the verge: Today our program proved Fermat's next-to-last theorem.
命里有时肯定会有,命里没有的不必强求,