德雷福斯是大陆传统的现象这一哲学家，他在兰德公司做了一个研究报告，把60年代的人工智能比喻成炼金术，这本书就是来自于这个报告。书中对人工智能的尖锐质疑，有些看来由于人工智能学科的发展，已经需要重新审视... 查看全部>>
这本书没有废话，严谨程度不亚于国外经典名著，命题逻辑、一阶逻辑、完备性和可靠性证明，逐步深入，其核心是命题逻辑的形式推演，弄清楚了这个再来看一阶逻辑和完备性、可靠性的证明，非常顺畅。但是，最好要有一些... 查看全部>>
书评 (查看全部)
对《计算机不能做什么：人工智能的极限》这本书的评价 2010-09-27
德雷福斯是大陆传统的现象这一哲学家，他在兰德公司做了一个研究报告，把60年代的人工智能比喻成炼金术，这本书就是来自于这个报告。书中对人工智能的尖锐质疑，有些看来由于人工智能学科的发展，已经需要重新审视... 查看全部>>
对《面向计算机科学的数理逻辑》这本书的评价 2012-07-07
这本书没有废话，严谨程度不亚于国外经典名著，命题逻辑、一阶逻辑、完备性和可靠性证明，逐步深入，其核心是命题逻辑的形式推演，弄清楚了这个再来看一阶逻辑和完备性、可靠性的证明，非常顺畅。但是，最好要有一些... 查看全部>>