再谈反证法的可操作性——基于对角线法在图灵论文中的应用

摘要：

一般观点都认为,图灵停机问题是应用康托尔对角线的一个重要成果,而很少注意到图灵的对角线实际上完全与康托尔不同.特别值得注意的是,尽管图灵最终还是落入了隐性假设的陷阱,但他对于这个问题实际上是早有警惕的.在图灵的论文中,除了图灵机这一重要的概念之外,更富启发性的其实并不是他的证明,反而是他所批判的一个谬误;只要做一些适当的改进,这个所谓的谬误就是反驳康托尔的有力证据.

关键词：反证法、可操作性、隐性假设、事实、康托尔对角线、图灵停机问题

所属期刊栏目：19

分类号：O14(数理逻辑、数学基础)

在线出版日期：2017-04-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：90-92