紀念 H A SIMON 2026 (0)：「邏輯理論家」（Logic Theorist）由CMU的艾倫·紐厄爾（Allen Newell）、司馬賀（Herbert A. Simon，後獲諾貝爾獎）與約翰·克里夫·肖（J. C. Shaw）於1955年與1956年間共同開發。這個程式被廣泛認為是歷史上第一個能自動進行符號推理與解決問題的AI程式。聽英國國會議院親台小組的講，愛台灣的人、食物，尤其是蓬勃的民主……相關的故事，過去近五十年，我知道得不少。 另一 方面，英國和英國臣民,也是很優秀，驕傲的。 最近台灣翻譯一本「無限機械」，我想第五章描述傳主在劍橋，在倫敦，想到的科學界先賢的思古幽情（故事多感人），我們也許只能贊嘆。 我們留英時當然要有財務能力証明。印象很深的是某東海音樂系學妹的，數目令人昏眩，一如我1972年在台北聽同學家說的店面併購金額般。 從另外一方面看，當時畢業紀念冊上，只有一半同學寫上電話號馬。 當時中國情形，很可能是台灣的二百分之一。。

 

紀念 H A SIMON 2026 (0)： 黃仁勳在卡內基美隆大學（CMU）2026屆畢業典禮演講中，強調CMU是人工智慧（AI）真正的發源地之一。他指出，該校研究人員在1950年代發明了史上第一個AI電腦程式「邏輯理論家」（Logic Theorist）。「邏輯理論家」是由CMU的艾倫·紐厄爾（Allen Newell）、司馬賀（Herbert A. Simon，後獲諾貝爾獎）與約翰·克里夫·肖（J. C. Shaw）於1955年與1956年間共同開發。這個程式被廣泛認為是歷史上第一個能自動進行符號推理與解決問題的AI程式。它成功證明了數學巨著《數學原理》（Principia Mathematica）中的多個定理，甚至找出了比原著更簡練的證明方法。這段歷史象徵了AI發展的開端，也呼應了黃仁勳在演講中鼓勵畢業生，在這個由AI重塑運算的新時代中「親手創造未來」的期許。

-----

聽英國國會議院親台小組的講，愛台灣的人、食物，尤其是蓬勃的民主……相關的故事，過去近五十年，我知道得不少。 另一方面，英國和英國臣民,也是很優秀，驕傲的。 最近台灣翻

聽英國國會議院親台小組的講，愛台灣的人、食物，尤其是蓬勃的民主……相關的故事，過去近五十年，我知道得不少。 另一 方面，英國和英國臣民,也是很優秀，驕傲的。 最近台灣翻譯一本「無限機械」，我想第五章描述傳主在劍橋，在倫敦，想到的科學界先賢的思古幽情（故事多感人），我們也許只能贊嘆。 我們留英時當然要有財務能力証明。印象很深的是某東海音樂系學妹的，數目令人昏眩，一如我1972年在台北聽同學家說的店面併購金額般。 從另外一方面看，當時畢業紀念冊上，只有一半同學寫上電話號馬。 當時中國情形，很可能是台灣的二百分之一。