10.3969/j.issn.1008-1151.2017.01.037
再谈反证法的可操作性——基于对角线法在图灵论文中的应用
一般观点都认为,图灵停机问题是应用康托尔对角线的一个重要成果,而很少注意到图灵的对角线实际上完全与康托尔不同.特别值得注意的是,尽管图灵最终还是落入了隐性假设的陷阱,但他对于这个问题实际上是早有警惕的.在图灵的论文中,除了图灵机这一重要的概念之外,更富启发性的其实并不是他的证明,反而是他所批判的一个谬误;只要做一些适当的改进,这个所谓的谬误就是反驳康托尔的有力证据.
反证法、可操作性、隐性假设、事实、康托尔对角线、图灵停机问题
19
O14(数理逻辑、数学基础)
2017-04-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
90-92