计算的未来在于理解和利用算法的力量。
最成功的产品是那些预见到人们不知道自己有的需求的产品。
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
在追求真理的过程中,我们必须愿意被最简单的事实所纠正。
数学的本质在于它的自由。
Sustainability isn’t an option; it’s the only path forward.