使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
Science is not only a discipline of reason but also one of romance and passion.
真正的喜悦精神、崇高感、超越人类的感觉,这是最高卓越的试金石,在数学中同样可以在诗歌中找到。
"There are no small lives, only small perspectives."
The future of computing is going to be defined by human ingenuity, not just silicon.
真正的艺术家永远处于生成的状态。