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

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

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

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

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

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