可计算性与计算复杂性发展史

可计算理论是由递归函数的产生而发展的，其核心问题是：什么是可计算的，以及如何保证计算的自动性，有效性和正确性。数理逻辑学家研究定理证明及其推导的特殊计算，从而产生了可计算理论。

20世纪三十年代，数理学家开始探索可计算的定义。

1931年Herbrand对递归函数进行了研究，并把他的研究成果写发送给了哥德尔，但是由于种种原因，Herbrand的探究暂时被搁置了。同年秋，美国数学家丘奇开创一种新的逻辑研究，并在研究中提出了A可定义函数。

1934年，哥德尔在Herbrand递归函数的研究基础之上，提出了Herbrand-哥德尔函数。之后丘奇等人证明了Herbrand-哥德尔函数和A可定义函数的等价性。

1936年，英国数学家图灵在不了解哥德尔等人的研究情况下，发表了《论数字计算在决断难题中的应用》论文，首次对“可计算性”给出了严格的定义，并开创性的提出了图灵机设想。

四十年代，人们开始研制计算机。

1944年波斯特在一篇文章中明确的提出希尔伯特第十问题“期待一个不可解问题”，波斯特找到了第一个逻辑领域以外的不可判定问题。

1957年斯科特和拉宾完成了对图灵机的研究，并明确提出非确定性有限自动机的概