我们找到的幸福,我们感受到的瞬间,都是真实的。
"The happiness we found, the moments we felt, they’re all real."
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
轧棉机的发明纯属偶然;那时我还很年轻,非常贫穷,对我来说从中实现一些价值是一个重要的目标。