The past is a shadow that follows us, but it is our choice whether to let it define us or to step into the light.
The only true thoughts are those which do not understand themselves.
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 probably not important to mathematics.
The writer is a person who writes, and the reader is a person who reads.