Freedom is not a gift but an achievement that must be won every day.
我只是个歌舞艺人。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.
The only real mistake is the one from which we learn nothing.
"What you don't know can't hurt you, but it can kill you."