Neblux

Neblux 知識圖譜

計算

計算是依照形式規則對資訊進行系統性轉換的過程——這一概念於1930年代由艾倫·圖靈的抽象機器與阿隆佐·邱奇的λ演算所嚴格化,彼時電子計算機尚不存在。

類型: 概念 領域: 科技 數學 物理 哲學 生物

概觀

邱奇—圖靈論題主張,任何物理上可實現的計算皆可由圖靈機執行,從而界定了可計算的邊界。計算複雜性理論進一步區分可行與不可行的問題——P對NP問題追問的是:解答易於驗證的問題,其解答是否也易於找到。

為什麼重要

這一框架從根本上重塑了數學、物理學與生物學:量子系統利用疊加態以古典機器無法有效複製的方式進行計算,DNA複製在分子字母表上實現了計算,而「宇宙處理資訊」的提案也影響了物理學家詮釋物理定律的方式。

建立在什麼之上

通往哪裡

相關概念

出現在這些驚奇之旅

在互動圖譜中打開這個概念 →
EN