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.
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.