使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
I'm just trying to be honest with myself and with the people around me.
The happiness of society is the end of government.
The more constraints you have, the more creative you become.
"世界是一场游戏,而游戏是一面镜子。"