使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
历史的终结将是一个非常悲伤的时刻。为了纯粹抽象的目标而愿意冒生命危险的斗争,全球意识形态斗争所唤起的勇敢、勇气、想象力和理想主义,将被经济计算、无休止的技术问题解决、环境关注和复杂消费者需求的满足所取代。
La verdadera literatura es aquella que logra trascender lo local para convertirse en universal.
我们说有些事情不能被原谅,或者说我们永远不会原谅自己。但我们确实原谅了——我们一直在这样做。