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.

The ideas I had about supernatural beings came to me the same way that my mathematical ideas did. So I took them seriously.

微子：商纣王的庶兄。箕子：商纣王的诸父，曾数次谏纣王，王不听把他囚禁。【大意】扁鹊不能使枯骨上长出肉来，微子和箕子不能使将亡之国得以生存下去。

Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.