那些認(rèn)為人是機(jī)器的，其道理很簡單：人也是由各種物理化學(xué)機(jī)制構(gòu)成的，當(dāng)然是機(jī)器了。早有法國哲學(xué)家美特里，現(xiàn)有DNA雙螺旋結(jié)構(gòu)發(fā)現(xiàn)者克里克，都持這種觀點(diǎn)?？死锟苏J(rèn)為在不遠(yuǎn)的將來，生命可以在試管中合成。而那些認(rèn)為人不是機(jī)器的，其論據(jù)是人有很多功能，目前機(jī)器無法完成，尤其是那個叫“靈魂”的神奇東西?！办`魂”被蘇格拉底用來論證永生的可能性，算是他被執(zhí)行死刑之前給自己的寬心丸。

“人是機(jī)器嗎”這個問題的另一個角度是比喻性的，計(jì)算機(jī)科學(xué)家蔡?。℅regory Chaitin）在半科普半學(xué)術(shù)的小冊子《證明達(dá)爾文》中把物理學(xué)和生物學(xué)做了對比，他給物理學(xué)貼的標(biāo)簽是“死的，剛性的，封閉的，機(jī)械的”，而把“活的，可塑的，開放的，創(chuàng)造性的”這些美好的詞匯都賦予了生物學(xué)。物理學(xué)是硬件，生物學(xué)是軟件。從這個意義上說，生物學(xué)和物理學(xué)的對立就是人和機(jī)器的對立。

計(jì)算機(jī)科學(xué)起源于圖靈1936年那篇無論怎么夸贊都不過分的文章“論可計(jì)算的數(shù)”，這是人類文明最重要的成果之一。圖靈在這篇文章中定義了后來被他的導(dǎo)師丘奇稱為“圖靈機(jī)”的計(jì)算裝置：一條無窮長的紙帶，一個讀寫頭在一個控制裝置的控制下在紙帶上方左移右移，讀取紙帶上的內(nèi)容并在紙帶上寫0或1。圖靈的初衷是讓他的機(jī)器模仿人類計(jì)算者（computer），那時computer的涵義是人類計(jì)算者，而機(jī)器計(jì)算者是computing machinery。

“人是機(jī)器嗎”這個問題有很多同源的古老哲學(xué)問題，例如，“心-腦”（mind-brain）和“心-身”（mind-body）。還有很多相關(guān)問題，例如，自由意志和自我意識。如果人是機(jī)器，那么他們是模擬機(jī)器還是數(shù)字機(jī)器呢？

按照馮諾伊曼的說法，神經(jīng)系統(tǒng)的本質(zhì)是數(shù)字的，盡管構(gòu)成神經(jīng)系統(tǒng)的化學(xué)和生物過程的描述可能是模擬的。現(xiàn)代物理學(xué)的一個假設(shè)是整個宇宙都是離散的，也即數(shù)字的。如果機(jī)器是數(shù)字的，那么圖靈機(jī)就是簡單又有力的模型。做人工智能繞不過去圖靈機(jī)和在其上建立的整個計(jì)算機(jī)理論。人工智能符號派的基礎(chǔ)之一是所謂“物理符號假設(shè)”，這個假設(shè)要求計(jì)算裝置必須是數(shù)字的，或者說變量必須是離散的。我們有一些直覺：離散的量是區(qū)分和定量的基礎(chǔ)，手指的數(shù)目是離散的，由此計(jì)數(shù)也是離散的，語言也是離散的。費(fèi)曼就曾說世界是數(shù)字的。對于離散的量，二進(jìn)制就足夠了。樸素唯物主義認(rèn)為世界是連續(xù)可分的，從某種宏觀的意義上說，樸素唯物主義是經(jīng)典物理的思想基礎(chǔ)，當(dāng)然像凱恩斯那樣把牛頓當(dāng)作最后一個魔術(shù)師而不是第一個科學(xué)家，也沒什么錯。歷史問題有點(diǎn)像海岸線問題，尺度不同則結(jié)論也不同。新的量子物理認(rèn)為世界是離散的、有限的。如果從物理學(xué)角度認(rèn)可離散，那么化學(xué)和生物的角度也必然是離散。連續(xù)變量是離散變量的一種數(shù)學(xué)近似。

按照這個思路，“人是機(jī)器嗎”這個問題就被歸約到“人是計(jì)算機(jī)器嗎”，又進(jìn)而被歸約到“人是數(shù)字計(jì)算機(jī)嗎”。如果我們把“智能”當(dāng)作人類特有的性質(zhì)，那么“人是機(jī)器嗎”這個問題就等價于“機(jī)器有智能嗎”。