深度解读图灵原理：探寻反证法的威力

AIGC动态欢迎阅读

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

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

文章来源：机器之心

内容字数：6293字

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

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

联系作者

文章来源：机器之心

作者微信：almosthuman2014

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