边城剑客书评 >

• 哲学家对人类理性的捍卫

  7有用 0无用 2017-05-22

  德雷福斯是大陆传统的现象这一哲学家，他在兰德公司做了一个研究报告，把60年代的人工智能比喻成炼金术，这本书就是来自于这个报告。书中对人工智能的尖锐质疑，有些看来由于人工智能学科的发展，已经需要重新审视，有些已经证明了哲学家的正确性，还有一些，主要是牵涉到现象主义哲学家的思辨，恐怕至今难以说谁对谁错。...

  修改
• 绝对经典的书

  3有用 1无用 2017-05-22

  这本书没有废话，严谨程度不亚于国外经典名著，命题逻辑、一阶逻辑、完备性和可靠性证明，逐步深入，其核心是命题逻辑的形式推演，弄清楚了这个再来看一阶逻辑和完备性、可靠性的证明，非常顺畅。但是，最好要有一些大学本科离散数学的命题逻辑和一阶逻辑的底子，这本书用的符号是罗素、阿克曼、希尔伯特等人反复优化过的，...

  修改