1928 年 普林斯顿大学教授阿隆佐 · 邱奇（Alonzo Church，1903—1995）提出 Lambda 演算，这是“计算性理论”（Computability Theory）这个学术分支的早期成果，激发了图灵设计图灵机的灵感。
1931 年 库尔特·哥德尔（Kurt Gödel）提出了著名的哥德尔不完备定理，证明了如果一个形式系统是不含矛盾的，那就不可能在该系统内部证明系统的不矛盾性。这个定理对机械智能的限制是它决定了无论人类造出多么复杂的机器，只要它是机器，就将对应一个形式系统，就能找到一个在该系统内不可证的公式而使之受到哥德尔不完备定理的打击，机器不能把这个公式作为定理推导出来，但是人却能看出公式是真的。因此这台机器不可能是承载思维的一个恰当模型。
附录 人工智能历史大事记
395