用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
Some people have an ability to negotiate. It's an art you're basically born with. You either have it or you don't.
基础设施决定论原则认为，基础设施的结构决定了上层建筑的结构。
书籍是人类经验的地图。
当狗就是这点不好，别人什么事都不告诉你……