写作是一种存在于世界的方式，参与其中，改变它。

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.

测试程序的最好方法是测试它。

宇宙是一个整体。

心理过程是解决生活问题的工具。