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 mind-body problem is not just a local problem, but one that confronts us with a deep mystery about the universe.

每个空间都有自己的声音；我们的任务是倾听。

如果你想变得聪明，你需要不断问的问题是‘为什么，为什么，为什么？’

The study of automorphic representations is a reflection of the depth of mathematical abstraction.

想象力是我唯一自由的国度。