此文作者对计算机科学一窍不通。

来源: 墨斗鱼 于 2008-01-19 21:09:17 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (723 bytes)

举一例:

原文作者说: "我们是否可以获得比Turing机更强的计算能力，我们是否可以用量子计算机完成经典的计算机完成不了的工作？"

作者显然不知道什么是图林机，误以为所谓的"经典计算机"与图林机等价，可以发明一种计算能力超越图林机的计算机。

其实图林机是数学中可计算性理论的核心。在元数学里，我们要知道什么问题是可判断的，或者说是可计算的。比如一个公理系统中有一个命题，无时间和空间的约束下，能否判断该命题是公理系统的定理。

图林机定义了可计算性:凡是图林机可计算的函数是可计算函数。递归函数理论给出了可计算性的另一定义:凡是递归函数都是可计算函数。这两种定义是等价的。图林机可计算的函数是都是递归函数。递归函数都可以用图林机计算。

要发明"超越"图林机的计算机，类似于要发明"超越"物理理论的永动机。

所有跟帖： 

请您先登陆，再发跟帖！