早期理論
1930年代—1950年代 · 圖靈與計算理論的誕生
在電子計算機出現之前，數學家們已經開始探索一個深刻的問題：機器能否「思考」？這個問題引領了一系列理論基礎的出現，為後來人工智慧的誕生奠定了數學與邏輯基礎。這一時期的先驅者們——圖靈、丘奇、哥德爾——他們的工作不僅僅是數學探索，更是對人類心智本質的哲學追問。
這一時期的理論探索可以分為三個主要脈絡：計算理論的發展（由圖靈和丘奇推動）、形式邏輯的極限（哥德爾的工作）、以及資訊論的誕生（香農的貢獻）。這三個方向相互交織，共同構成了人工智慧的理論基石。
重要里程碑
邱奇-圖靈論題
阿隆佐·邱奇和阿蘭·圖靈在他們各自的1936年論文中各自獨立提出了著名的 Church-Turing 論題。該論題認為：任何可有效計算的函數都是圖靈機可計算的。這一論題將「可計算性」這個直觀概念形式化，成為計算機科學的基礎。
阿隆佐·邱奇 & 阿蘭·圖靈
圖靈機
阿蘭·圖靈在其開創性論文《論可計算數及其在判定問題中的應用》中提出了圖靈機概念。這是一個抽象的計算模型，能夠模擬任何可計算的數學過程。圖靈機不僅奠定了計算理論的基礎，也為我們理解「計算」本身提供了最本質的框架。
阿蘭·圖靈 (1912—1954)
λ 演算
阿隆佐·丘奇提出了λ演算（Lambda Calculus），這是一個形式化的函數定義和函數應用系統。λ演算被視為函數式編程的理論基礎。1936年的原始λ演算是無類型的；邱奇在1940年的《簡單類型論的形式化》中加入了簡單類型，創建了最早的顯式類型系統之一。它與圖靈機在計算能力上是等價的。
阿隆佐·丘奇 (1903—1995)
神經元模型
沃倫·麥卡洛克和沃爾特·皮茨發表了《神經活動中內在觀念的邏輯演算》，提出了第一個人工神經元模型（McCulloch-Pitts 神經元）。這個模型將神經元簡化為一個二元閾值開關，為後來的神經網絡研究奠定了基礎。
沃倫·麥卡洛克 & 沃爾特·皮茨
香農資訊論
克勞德·香農發表了《通信的數學理論》，奠定了資訊論的基礎。資訊論不僅改變了通信技術，也為後來的機器學習和人工智慧提供了重要的理論基礎。熵、編碼、資訊量等概念成為理解資料和處理資訊的核心工具。
克勞德·香農 (1916—2001)
1955年達特茅斯提案
1955年，John McCarthy、Marvin Minsky、Nathaniel Rochester 與 Claude Shannon 在 Dartmouth Summer Research Project 的提案中使用了「Artificial Intelligence」一詞，並提出於1956年夏季共同研究機器智慧問題。
約翰·麥卡錫等人
重要人物
阿蘭·圖靈
計算機科學之父
圖靈不僅是計算機科學的奠基人，也是人工智慧思想的先驅。他的圖靈機模型為計算理論奠定了基礎，而圖靈測試則為智慧機器提供了評審標準。在二戰期間，他的工作幫助破譯了德國的 Enigma 密碼。1954年，圖靈因不堪忍受對同性戀人身分的迫害而去世。2013年，英國女王伊麗莎白二世追贈他皇家特赦。
阿隆佐·丘奇
λ 演算之父
丘奇是普林斯頓大學的教授，他創建的λ演算是函數式編程的理論基礎。他的學生包括圖靈，兩人共同提出了 Church-Turing 論題，這一論題至今仍是計算理論的核心。丘奇一生發表了大量關於邏輯和遞歸函數的論文。
庫爾特·哥德爾
邏輯學家
哥德爾不完備定理被認為是20世紀最重要的數學發現之一。它表明即使是數學這樣的精確系統，也有其固有的局限性。這一思想對人工智慧的發展有著深遠的哲學影響——它提醒我們不要過度迷信形式系統和演算法。
克勞德·香農
資訊論之父
香農不僅是資訊論的創始人，還是人工智慧的早期探索者。他建造了一個會走迷宮的機械老鼠（Theseus），這是早期的一個學習機示範。他的1937年碩士論文《繼電器與開關電路的符號分析》被認為是數位開關電路理論的奠基之作。
諾伯特·維納
控制論之父
維納是麻省理工學院的數學家，他創立了控制論這個跨學科領域。他的「回饋」概念影響了早期人工智慧研究。維納還最早提出了人工智慧可能帶來危險的警告。
經典語錄
我建議思考這個問題：「機器能思考嗎？」
任何足夠強大的形式系統都是不完備的。
機器的危險性不在於機器本身，而在於人類對機器的依賴。