用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
我不是天使,我是恶魔。
Writing is a way of making sense of the world. It's a way of imposing order on chaos.
The first requisite of the happiness of the people is the abolition of religion.