Neblux 知識圖譜
計算
計算是依照形式規則對資訊進行系統性轉換的過程——這一概念於1930年代由艾倫·圖靈的抽象機器與阿隆佐·邱奇的λ演算所嚴格化,彼時電子計算機尚不存在。
概觀
邱奇—圖靈論題主張,任何物理上可實現的計算皆可由圖靈機執行,從而界定了可計算的邊界。計算複雜性理論進一步區分可行與不可行的問題——P對NP問題追問的是:解答易於驗證的問題,其解答是否也易於找到。
為什麼重要
這一框架從根本上重塑了數學、物理學與生物學:量子系統利用疊加態以古典機器無法有效複製的方式進行計算,DNA複製在分子字母表上實現了計算,而「宇宙處理資訊」的提案也影響了物理學家詮釋物理定律的方式。
建立在什麼之上
通往哪裡
相關概念
- 演算法概念
- 資訊概念
- DNA(去氧核糖核酸)應用
- 科技邏輯