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 have learnt how to live... how to be in the world and of the world, and not just to stand aside and watch.
The only constant in life is change, and we must embrace it.
"The magic of books is that they can take you anywhere."