纯粹递归论在递归分析中的应用

本文利用纯粹递归论的近代结果研究了单位闭区间 I 上可计算实函数最大值点集中诸点的可计算度的结构。得到例如如下结果:1.对于任一度0<α≤0′,存在一个 I 上的递归实函数,它不具有递归的最大值点,但有度为α的最大位点;2.对于定义在 I 上的任一递归实函数,至少有一最大值点具有 r.e.度。文中顺便对 E.Specker 关于此问题的奠基性结果给出了一个直观自然的看法。