这篇综述回顾了数学家图灵先生于1936年所发表的论文《论可计算数及其在决策问题中的应用》。图灵先生作为计算机科学的奠基人之一对可计算性理论做出了开创性贡献。 他的论文讨论了一种算法，称为图灵机（Turing Machine），可以用来计算任何可以算的数字。这项发现推动了计算机科学的发展，并研究非常具有意义的计算理论问题。
此外，他还建立了“不可判定的性质”理论，它是可计算数理论的扩展，旨在研究是否存在一种算法可以解决某个问题。此理论被广泛地应用于计算机科学和哲学等领域。
图灵先生的研究开创了计算机科学的新时代，并且对计算形式化理论的研究以及人工智能等领域有着深远的影响。为了庆祝图灵先生做出的开创性贡献，图灵奖便应运而生。他的工作一再证明了数学的美妙和不可减少的作用。
了解更多有趣的事情：https://blog.ds3783.com/