約翰·麥卡錫 (John McCarthy)

數學家與資訊理論之父

在這個領域還沒有名字之前，麥卡錫與夏農就一起編輯了《Automata Studies》（1956），書中把馮紐曼談「如何用不可靠的零件合成可靠的有機體」與一系列圖靈機論文並置。同一年，他們兩人與 Minsky、Rochester 共同署名達特茅斯提案——「人工智慧」一詞首次出現的那份文件；夏農以貝爾電話實驗室的身分列名，提案將資訊理論應用於計算機器與大腦模型。先有文獻，名字才在同一年裡跟上。

www-formal.stanford.edu · en.wikipedia.org · Automata Studies, Annals of Mathematics Studies 34, Princeton University Press (1956), eds. C. E. Shannon & J. McCarthy

Mathematician & Logician

Lisp 的 lambda 直接來自 Church，而麥卡錫說得很坦白：「使用 Church（1941）的 λ 記法似乎很自然。他書中其餘的部分我看不懂，所以也就不會想去實作他那套更一般的函數定義機制。」一位邏輯學家用來定義函數的演算，就這樣以一種被借用者自承「只借了一半」的方式，變成了可執行的程式構造。AI 第一個語言有一半血統，來自 1936 年一項關於數學極限的證明。

www-formal.stanford.edu · www-formal.stanford.edu

AI Researcher & Creator of Keras

兩人都寫下了一個定義智能的說法，並各自形塑了其後的一切——而這兩個定義幾乎相反。麥卡錫的達特茅斯提案主張：智能的每一個面向，原則上都能被精確描述到讓機器可以模擬——這個前提創立了一個領域，卻也悄悄把它的問題假設掉了。Chollet 拒絕的正是這一步：智能不是任何可被指定的技能，而是在指定從未預見的問題上習得技能的效率。相隔七十年，他們是本站問題〈什麼是智能？〉的兩極。

數學家與電腦科學先驅

兩人都在問「會思考的機器是什麼」，答案卻走向相反方向。圖靈拒絕定義思考，改提出一場遊戲：如果你分辨不出來，那究竟還少了什麼？麥卡錫的達特茅斯提案則把智能定義為「任何能被精確描述到足以模擬之物」——一個創立了整個領域、卻也悄悄預設了自身答案的工作前提。行為對上規格；這場爭論至今仍以各種新名字繼續進行。