1936年()发表了《论可计算数及其在判定问题中的应用》并首提出一种能够执行人类所能执行的任何计算的通用机器的概念。