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.
We make things to remember, and we remember by making things.
故事是我们理解自己生活的方式。
Between stimulus and response there is a space. In that space is our power to choose our response. In our response lies our growth and our freedom.