當然可以。
凡人也能了解量子計算嗎？妳偷偷看圖試試自己的智力
2017/06/18
參考文獻：
1. E.Rieffel,W.Polak, An Introduction to QuantumComputing for Non-Physicists.
2.E.Strubell, An Introduction to QuantumAlgorithms.
-----------------------------
轉理解計算 (壹篇談經典計算,DNA計算和量子計算的科普短文)
隨著計算機日益廣泛而深刻的運用，計算這個原本專門的數學概念已經泛化到了人類的整個知識領域，並上升為壹種極為普適的科學概念和哲學概念，成為人們認識事物、研究問題的壹種新視角、新觀念和新方法。
什麽是計算與計算的類型
在大眾的意識裏，計算首先指的就是數的加減乘除，其次則為方程的求解、函數的微分積分等；懂的多壹點的人知道，計算在本質上還包括定理的證明推導。可以說，“計算”是壹個無人不知元人不曉的數學概念，但是，真正能夠回答計算的本質是什麽的人恐怕不多。事實上，直到1930年代，由於哥德爾（K.Godel，1906-1978）、丘奇(A.Church，1903-1995)、圖靈(A.M.TUI-ing，1912-1954)等數學家的工作，人們才弄清楚什麽是計算的本質，以及什麽是可計算的、什麽是不可計算的等根本性問題。
抽象地說，所謂計算，就是從壹個符號串f變換成另壹個符號串g。比如說,從符號串12+3變換成15就是壹個加法計算。如果符號串f是x^2，而符號串g是2x,從f到g的計算就是微分。定理證明也是如此，令f表示壹組公理和推導規則，令g是壹個定理,那麽從f到g的壹系列變換就是定理g的證明。從這個角度看，文字翻譯也是計算，如f代表壹個英文句子，而g為含意相同的中文句子，那麽從f到g就是把英文翻譯成中文。這些變換間有什麽***同點？為什麽把它們都叫做計算？因為它們都是從己知符號(串)開始，壹步壹步地改變符號(串)，經過有限步驟，最後得到壹個滿足預先規定的符號(串)的變換過程。
從類型上講，計算主要有兩大類：數值計算和符號推導。數值計算包括實數和函數的加減乘除、幕運算、開方運算、方程的求解等。符號推導包括代數與各種函數的恒等式、不等式的證明,幾何命題的證明等。但無論是數值計算還是符號推導,它們在本質上是等價的、壹致的，即二者是密切關聯的，可以相互轉化，具有***同的計算本質。隨著數學的不斷發展,還可能出現新的計算類型。
計算的實質與E奇－圖靈論點
為了回答究竟什麽是計算、什麽是可計算性等問題，人們采取的是建立計算模型的方法。從20世紀30年代到40年代，數理邏輯學家相繼提出了四種模型，它們是壹般遞歸函數、λ可計算函數、圖靈機和波斯特(E.L.Post，1897-1954)系統。這種種模型完全從不同的角度探究計算過程或證明過程，表面上看區別很大，但事實上卻是等價的，即它們完全具有壹樣的計算能力D在這壹事實基礎上，最終形成了如今著名的丘奇-圖靈論點：凡是可計算的函數都是壹般遞歸函數(或是圖靈機可計算函數等)。這就確立了計算與可計算性的數學含義。下面主要對壹般遞歸函數作壹簡要介紹。
哥德爾首先在1931年提出了原始遞歸函數的概念。所謂原始遞歸函數,就是由初始函數出發，經過有限次的使用代人與原始遞歸式而做出的函數。這裏所說的初始函數是指下列三種函數：
(1) 零函數0(x)=0(函數值恒為零)；
(2) 射影函數(x1,x2,…,xn)=xi(1≤i≤n)(函數的值與第i個自變元的值相同)；
後繼函數S(x)=x+1(其值為x的直接後繼數)。
代人與原始遞歸式是構造新函數的算子。
代人(又名疊置、叠置)，它是最簡單又最重要的算子,其壹般形式是:由壹個m元函數f與m個n元函數g1，g2，…，gm造成新函數f(g1(x1,x2,…,xn),g2(x1,x2,…,xn),…,gm(x1,x2,…,xn))。
原始遞歸式，其壹般形式為
(公式略)
特殊地為
(公式略)
其特點是，不能由g,h兩已知函數直接計算新函數的壹般值f(u,x