论文重定义有界停机问题并证明检查器极限

Sergey Salishev 发表论文，将停机问题重新定义为有限步预算 T 下的有界停机问题，并用带显式加法开销的对角线论证证明：不存在固定确定性检查器能在低于 T 的任意固定比例内判定所有实例。论文同时从工程视角讨论该结果对通用性检验的意义。 该结论针对有限步预算下的判定，并非对经典停机问题可判定性的整体结论。

AI 根据报道生成 · 47 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。