摘要： 数学与逻辑从毕达哥拉斯到图灵的演化0. 引言写《人机大战简史》的时候，我就一直在思考一个问题：一台毫无智能的机器，何以通过执行一些操作，在一些方面就超越了拥有智能的人？限于篇幅和水平，我并没有在那篇文章中展开讨论。死板的机器之所以体现出灵活的智能，是因为有一串严格的规则，指示它一步接着一步地执... 阅读全文