重温图灵原理，感受反证法的力量

AIGC动态欢迎阅读

原标题：重温图灵原理，感受反证法的力量

关键字：问题,字符串,算法,对角线,反证法

文章来源：机器之心

内容字数：6293字

内容摘要：机器之心编译选自量子杂志编辑：赵阳图灵原理揭示了人类永远不可能做到可知而全知，本文将阐释图灵是如何基于对角线证明，从反证法的角度对图灵原理进行证明的。算法已经变得无处不在，似乎对于每一个可以用精确数学术语表达的问题，都有一种对应的算法。但事实并非如此，其实一些看似简单的问题永远无法用算法解决。计算机科学家中的先驱艾伦・图灵，曾在近一个世纪前的一篇论文中证明了这种「不可计算」问题的存在，他提出了启动…

原文链接：点此阅读原文：重温图灵原理，感受反证法的力量

联系作者

文章来源：机器之心

作者微信：almosthuman2014

作者简介：专业的人工智能媒体和产业服务平台