有些话本身不严谨（如minsky"brain's a meat computer")也就没什么

送交者: 阮宗光于 2010-04-02, 14:58:49:

好指出错误，原来也没什么proof的问题。“不久人下棋会输给机器”最后是真确的，但simon完全没料到要用deep blue这么高速的机器，甚至没料到30年内机器功力会那么高

但steven在说的computability是另一回事；基本是探索“如果问题1可以用机器甲解决，那么问题2也可以用机器甲”或者“。。。那么机器乙也可以解决问题1”从而一步步证明什么机器能解决什么问题。