weixin_71696661的博客

原创 图灵机停机问题与辩证无限观

图灵机停机问题与辩证无限观 图灵机停机问题的证明有两种方法：对角线法、判定程序法。这两种证明方法一直遭受到科学界、哲学界的质疑。而“对角线法”备受质疑，是因为这种方法的哲学思想是一种“实无限”思想。我文《辩证唯物主义无限观与诸流派无限思想分析》对“对角线法”进行了全面的批判（见我的博文）。 判定程序法遭受质疑是因为其证明思路与罗素悖论一致，而罗素悖论的彻底解决至今未有定论。所以人们对判定程序法的质疑也是理所当然的。 我文《辩证无限观与第三次数学危机》（见我的博文，或微信公...