阿兰·图灵：数学符号表达的问题并不都能用算法解决
原文中文，约2700字，阅读约需7分钟。发表于：。算法已经变得无处不在。它们优化我们的通勤、处理支付并协调互联网流量。 只要可以用精确的数学术语表达的问题（问题空间），都有一种算法可以解决它？（解决方案空间） 但事实并非如此： 一些看似简单的问题永远无法通过算法解决。 计算机科学家先驱艾伦·图灵在近一个世纪前 证明了 此类“不可计算”问题的存在，在同一篇论文中，他制定了启动现代计算机科学 的计算数学模型。...
算法无处不在，但并非所有问题都能通过算法解决。图灵通过对角化证明了一些问题是不可计算的。对角化是一种数学技术，可以快速处理长列表和无穷大。图灵的对角化证明是一个游戏，通过设计一个问题，使每个算法的答案都是“不”。对角化的局限性导致解决P对NP问题变得困难。尽管如此，对角化仍然是复杂性理论的重要工具之一。威廉姆斯利用对角化和其他技术证明了一些异常困难的问题无法通过受限计算模型解决。
