1.3 The thinking computer

如冯诺伊曼所说，制作一个会思考的机器的根本难点在于定义“思考”及其过程。如果我们能精确地定义出机器所不能做的，那机器就能做了。

如果我们可以通过数学模型重现物理世界的现象，这说明我们达到了对物理现象的理解。同样地类比，如果我们可以通过数学模型重现我们的逻辑推理过程（根据本书的广义逻辑，而非亚里士多德的狭义逻辑），就说明我们达到了对思维过程的理解。

不过作者很务实，所以本书的主题，不是
How can we build a mathematical model of human common sense?
而是
How could we build a machine which would carry out useful plausible reasoning, following clearly defined priciples expressing an idealized common sense?