此文作者對計算機科學一竅不通。

來源: 墨鬥魚 於 2008-01-19 21:09:17 [] [博客] [舊帖] [給我悄悄話] 閱讀數 : (723 bytes)

舉一例:

原文作者說: "我們是否可以獲得比Turing機更強的計算能力，我們是否可以用量子計算機完成經典的計算機完成不了的工作？"

作者顯然不知道什麽是圖林機，誤以為所謂的"經典計算機"與圖林機等價，可以發明一種計算能力超越圖林機的計算機。

其實圖林機是數學中可計算性理論的核心。在元數學裏，我們要知道什麽問題是可判斷的，或者說是可計算的。比如一個公理係統中有一個命題，無時間和空間的約束下，能否判斷該命題是公理係統的定理。

圖林機定義了可計算性:凡是圖林機可計算的函數是可計算函數。遞歸函數理論給出了可計算性的另一定義:凡是遞歸函數都是可計算函數。這兩種定義是等價的。圖林機可計算的函數是都是遞歸函數。遞歸函數都可以用圖林機計算。

要發明"超越"圖林機的計算機，類似於要發明"超越"物理理論的永動機。

所有跟帖： 

請您先登陸，再發跟帖！