送交者: 阮宗光 于 2010-04-02, 14:58:49:
回答: 当年机械盛行的时候,是不是有论文说机械可以解决一切问题? 由 foresight 于 2010-04-02, 14:26:43:
但steven在说的computability是另一回事;基本是探索“如果问题1可以用机器甲解决,那么问题2也可以用机器甲”或者“。。。那么机器乙也可以解决问题1”从而一步步证明什么机器能解决什么问题。
加跟贴
标题:
内容: (BBCode使用说明)