Every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.
定理让我兴奋;证明让我厌倦。我的头脑不适合做那些繁琐、细致的工作,去证明我已经知道是正确的东西。
真理是永恒不变的。