當前位置:考研網大全 - 翻譯在線 - 什麽是唯靈論?萬物有靈論在計算機史上起到了什麽作用?

什麽是唯靈論?萬物有靈論在計算機史上起到了什麽作用?

丘奇-圖靈論題是以計算機科學領域的數學家阿隆佐·邱奇和艾倫·圖靈命名的。這個題目最基本的觀點是,所有的計算或算法都可以用圖靈機來執行。用任何常規編程語言編寫的計算機程序都可以被翻譯成圖靈機,反過來,任何圖靈機也可以被翻譯成大多數編程語言程序,所以這個題目相當於下面的陳述:壹種常規編程語言可以足夠有效地表達任何算法。這個命題壹般被假設為真,也被稱為丘奇命題或丘奇猜想和圖靈命題。

這個話題有很多可能的含義:

宇宙是壹臺圖靈機(因此,物理上不可能計算非遞歸函數)。這被定義為大丘奇圖靈的話題。

宇宙不是圖靈機(也就是物理定律不是圖靈可計算的),但是不可數的物理事件不能阻止我們創造壹臺超計算機。比如壹個以物理實數為可計算實數的宇宙,就可以這樣分類。

宇宙是壹臺超級計算機,因為可以建造物理設備來控制這壹特性,計算非遞歸函數。比如,壹個未解決的問題是量子力學事件是圖靈可計算的,雖然我們已經證明了任何由量子位組成的系統都是圖靈完備的。約翰·盧卡斯(和羅傑·羅澤)曾經提出,人類的大腦可能是量子超級計算的結果。

  • 上一篇:顧直的翻譯
  • 下一篇:“濕”的反義詞
  • copyright 2024考研網大全