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."