John McCarthy：定義 AI 的邏輯之神
介紹 AI 之父 John McCarthy。從達特茅斯會議到發明 Lisp 語言，他堅信邏輯能解構智慧，並在半世紀前就預見了雲端運算的未來。
WRITTEN BY
- Name
- Harry Chang
如果說 Turing 點燃了 「機器能思考」 的火花，那麼 John McCarthy 就是那位為這團火命名，並打造出 「燃料」 的人。
他是 「人工智慧 (Artificial Intelligence)」 這個詞的發明者，也是程式語言 Lisp 的創造者。現在我們習以為常的「雲端運算 (Cloud Computing)」，更是他在 60 年前就預言的未來。
- 為什麼你需要認識 John McCarthy？
- 核心哲學：智慧就是邏輯 (Logic is Intelligence)
- 經典語錄 (Classic Quotes)
- 影響力與案例
- 實用建議
- 我的反思
- 參考資料 (References)
為什麼你需要認識 John McCarthy？
在這個 AI 狂熱的年代，我們很容易迷失在神經網路的黑盒子裡，覺得 AI 是某種不可解釋的魔法。
但 McCarthy 提醒我們：智慧本質上應該是邏輯的、可解釋的。 如果你是一名程式設計師，覺得現在的 Code 寫起來很繁瑣；或者你是一名創業者，正在思考還沒被發明的未來，那麼 McCarthy 的故事會給你巨大的啟發。
他教我們如何用「工具思維」解決難題——如果現有的語言不能表達你的想法，那就發明一個新的語言；如果現有的電腦不夠用，那就想像一個更好的運算模式。
核心哲學：智慧就是邏輯 (Logic is Intelligence)
不同於現在流行的神經網路（模擬大腦結構），McCarthy 堅信的是 「符號 AI (Symbolic AI)」。他的哲學非常純粹：
「只要我們能用精確的邏輯描述這個世界，機器就能像人一樣思考。」
這雖然在後來遇到了瓶頸（因為常識太難被規則化），但這種追求「清晰、優雅、可遞迴」的思維，卻成為了程式設計美學的最高標準。
兩條路線的戰爭：符號派 vs 連接派
要真正理解 McCarthy 的地位，我們必須看懂 AI 歷史上的這場百年戰爭：
- Top-Down (符號派)：以 McCarthy 為首。認為智慧源自 「邏輯與規則」。我們應該教機器語法、因果關係和常識。這派在 1950-1980 年代佔據統治地位。
- Bottom-Up (連接派)：以 Hinton (深度學習之父) 為首。認為智慧源自 「神經元連結」。不需要教規則，丟給機器大量數據，讓它自己「悟」出規律。這派在 2012 年後徹底接管了世界。
雖然現在看起來是連接派贏了，但隨著我們發現 LLM 會產生幻覺，許多科學家開始回頭思考：「是否我們需要把 McCarthy 的符號邏輯，重新融合進神經網路裡？」
經典語錄 (Classic Quotes)
"Artificial intelligence is the science of making machines do things that would require intelligence if done by people."
「人工智慧是一門科學，致力於讓機器完成那些『如果由人來做則需要智慧』的事情。」
(解讀：這是歷史上對 AI 最早、也最務實的定義。它不談靈魂，只談能力。)
"Anyone who thinks Lisp is difficult doesn't understand Lisp."
「任何覺得 Lisp 很難的人，都還沒有真正理解 Lisp。」
(解讀：這不僅是談語言，更是談思考的維度。一旦你掌握了遞迴與抽象的本質，複雜的世界就會變得簡單。)
影響力與案例
1. 發明 Lisp：程式碼的聖杯
1958 年，McCarthy 發明了 Lisp。它是世界上第二古老的高階語言，但卻歷久彌新。Lisp 的特點是 「代碼即數據 (Code is Data)」，這讓程式有能力修改自己。
知名駭客 Paul Graham 曾說：「Lisp 讓你在程式設計上擁有像是作弊一樣的優勢。」直到今天，它仍是許多高階 AI 系統的核心。
這是一段計算階乘 (Factorial) 的 Lisp 程式碼，你會發現它充滿了括號，這就是 Lisp 的特徵：
(defun factorial (n)
(if (<= n 1)
1
(* n (factorial (- n 1)))))
在這個例子中，整個函式定義本身就是一個「列表 (List)」，這意味著程式可以像處理數據一樣，讀取、修改甚至生成其他程式碼。
2. 預見雲端運算 (Time-Sharing)
早在電腦還像房間一樣大的 1960 年代，McCarthy 就提出狂想：「未來的運算應該像水電一樣，由發電廠統一供應，用戶付費即用。」
這就是 分時系統 (Time-Sharing) 的概念，也就是今天 AWS、Azure、GCP 的雛形。他比世界早了 50 年看到這一點。
3. Advice Taker：常識推理的先驅
他提出的 Advice Taker 是第一個具有常識推理能力的 AI 原型。他希望機器不只是執行指令，還能「聽懂建議」。例如告訴機器「去機場」，它能自己推理出「需要走路去打車，然後坐車去機場」。這是現代 AI Agent 的前身。
實用建議
步驟 1：打造你的專屬工具
當 McCarthy 生成 AI 研究遇到瓶頸時，他沒有硬撐，而是先停下來發明了 Lisp 語言。
Action: 工欲善其事，必先利其器。如果你在工作中一直重複做低效的事，試著先停下來，寫個腳本、設個快捷鍵，甚至導入新軟體。不要用戰術上的勤奮，掩蓋戰略上的懶惰。
步驟 2：練習「命名」的力量
"Artificial Intelligence" 這個詞一誕生，就凝聚了全世界的資源與人才。
Action: 無論是在做專案還是帶團隊，學會為你的願景找到一個 「性感的名詞」 。一個好的名字能定義戰場，號召信徒。
步驟 3：用邏輯拆解問題
遇到複雜問題時，試著像寫 Lisp 一樣進行「遞迴拆解」：將大問題層層拆解成小問題，直到變成可以被解決的「原子單位」，這就是工程思維的極致。
我的反思
John McCarthy 雖然已經離去，但他那種 「用邏輯征服混沌」 的樂觀精神依然深深打動我。我們身處一個 AI 變得越來越像「黑魔法」的時代，但他提醒著我們，在這些神經元背後，依然存在著數學與邏輯的永恆之美。
參考資料 (References)
相關影片
這段影片是經典節目 Thinking Allowed 的專訪，John McCarthy 在訪談中回顧了 AI 的歷史，深入探討了人類與機器的本質差異。
書籍推薦
- Formalizing Common Sense: 這是 McCarthy 的論文集精選，收錄了他對 AI、邏輯與常識推理最核心的思考。
- Hackers & Painters: 雖然作者是 Paul Graham，但這本書花了大量篇幅解釋為什麼 Lisp 是「上帝的程式語言」，是理解 McCarthy 思想最好的入門書。
- Structure and Interpretation of Computer Programs (SICP): 被稱為電腦科學的聖經。雖然教的是 Scheme (Lisp 的方言)，但它完美體現了 McCarthy「代碼即數據」的遞迴美學。
參考來源
- Professor John McCarthy: 史丹佛大學維護的官方紀念網站。
- History of Lisp - Paul Graham: Paul Graham 對 Lisp 歷史的精彩回顧。