选择怀疑作为生活的哲学，就像选择静止作为交通工具一样。
计算的未来在于开发能够自我验证正确性的系统。
每一个巨大而深刻的困难本身都包含着它的解决方案。它迫使我们改变思维以找到解决方案。
在数学中，就像在生活中一样，最优雅的解决方案往往来自于对问题的深刻理解。
The artist must be a philosopher, a poet, and above all, a revolutionary.