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.
I'm not big on compromise. I understand compromise. Sometimes compromise is the right answer, but oftentimes compromise is the equivalent of defeat, and I don't like being defeated.
Virtue does not come from money, but from virtue comes money and all other good things to man, both to the individual and to the state.
My parents are my backbone. Still are. They’re the only group that will support you if you score zero or you score 40.