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.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
释义：生前费尽心思追求各种东西，死后却只能留下一双空手。人生的悲欢离合每天都在上演，寿命的长短和命运的通达与否每天都在变化。
We are all in the gutter, but some of us are looking at the stars.
The only thing that you can control is your effort and your attitude.
心理学必须独立于哲学和生理学。
The only meaningful way to study learning is through objective measurement.