為什麼說lisp有理論上最高的計算能力?是說理論上它能做到其他語言做不到的事?

時間 2021-06-01 15:24:50

1樓:h8liu

我覺得是翻譯不準確導致的不準確說法。我猜,原文(如這個LISP人工智慧程式語言裡說的)應該是想說Lisp是Turing-complete的,也就是圖靈機可計算的問題Lisp也都能計算。Turing-complete,簡單地說,就是任何現代計算機能計算的問題,都可以用Lisp語言寫程式表示出來。

但這就差不多是廢話了。基本上是個語言就是Turing-complete的。C, C++, Basic, PHP, Python, Perl……甚至C++的template預編譯子系統都是Turing-complete的。

當然也有反例,比如正規表示式系統一般不是Turing-complete的。也就是說存在有C程式能判定的問題(乙個字串是否滿足某個特定的性質)用正規表示式是判定不了的。

所以,原文那句話可以這麼理解:Lisp雖然是個函式語言,語法比較怪異,但是和其他過程語言(C, C++, Basic等)在理論上的計算能力是一樣的,過程語言能算的,Lisp也都能算。

固定的賽道,固定的車輛,有沒有理論上的最快圈速?

TeddyFung 詳見場面用某一共同車型刷紐北的玩家們 另給你一輛golf r 給漢密爾頓一輛golf 沒有gti沒有r 你絕對跑不過他,你以為你直線快就是快了?職業車手對於彎道以及走線的掌控,可以玩死你 Junius Lu 摘自煎蛋網 WHAT IF 無規則納斯卡汽車賽,那麼比賽需要2小時才能完...

說一件理論上不可能的事?

物理學中的 理論上可能 或者不可能 的事 實際上不是 理論 說了算的事!而是 實驗 說了算!沒有 物理實驗結果 支援的 理論 只能說是 猜想 而不是理論。現如今我們連達到二三十倍音速 也就是大約每秒一萬公尺左右 都做不到,考慮超過每秒三十萬,是不是太遙遠啦? 王若楓 這是一件真實的事。我十歲或者十一...

神經網路為什麼可以(理論上)擬合任何函式?

堅持30天 一層非線性單元 越多越精確 足以,不需要多層,再多的層也只是改變曲線的形狀,超出訓練集的部分就按L2正則表達。原因就是方程組合啊。例如乙個方程一條線,兩個方程組合在一起就是兩條線合在一起,通過權重和偏置就可以改變各自線的形狀,這就可以組合出任意形狀的曲線。如果是好幾條直線組合在一起還是直...