图灵机（1936）
24岁的英国数学家Alan Turing发表奠基性论文，提出一种抽象计算模型：无限纸带、读写头以及有限状态集合。这种机器可以模拟任何算法。
判定问题
Turing对David Hilbert的Entscheidungsproblem（判定问题）给出否定答案：存在任何机械程序都无法一般性求解的数学函数和问题，其中包括停机问题。Alonzo Church独立得到等价结论。
影响
Church-Turing论题认为，任何有效可计算函数都可以由图灵机计算。这个理论模型成为编译器、计算复杂性以及人工智能等整个计算机科学的基础。