用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
"Innovation is the lifeblood of any successful business."
聪明人说话,是因为有些话要说;蠢人说话,则因为要说些话。
量子计算的挑战不仅是技术上的,也是概念上的。
想象是创造的开始。你想象你所渴望的,你意愿你所想象的,最终你创造你所意愿的。