论文部分内容阅读
该文利用纯粹递归论的近代结果研究了单位闭区间Ⅰ上可计算实函数的最大值点集中诸点的可计算度的结构。得到如下结果：1、对于任一度0＜a＜＝0＇，存在一个Ⅰ上的可计算实函数，它不具有可计算的最大值点但有度为a的最大值点；2、对于定义在Ⅰ上的任一可计算实函数，至少有一最大点有γ、e度。文中顺便对E.specker关于此问题的奠基性的结果给出了一个直观自然的看法。（本刊录）