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.
Life is a journey, not a destination.
我喜欢讲故事而不解释它。我喜欢让它开放结局。
Boundaries define us. They define what is me and what is not me. A boundary shows me where I end and someone else begins, leading me to a sense of ownership.