[论文解读] Degree Spectra, and Relative Acceptability of Notations

Nikolay Bazhenov, Dariusz Kalociński|arXiv (Cornell University)|May 2, 2022

Computability, Logic, AI Algorithms被引用 1

一句话总结

本文将 Shapiro 关于自然数可接受记号的哲学框架与可计算结构理论相连接，表明对于一大类可计算块函数，其度谱恰好为递归可枚举（c.e.）度当且仅当在任意可计算拷贝中，后继函数均可从该函数的像中可计算——从而为 Shapiro 的可接受性概念提供了形式化、可计算理论层面的重构。

ABSTRACT

Shapiro's notations for natural numbers, and the associated desideratum of acceptability - the property of a notation that all recursive functions are computable in it - is well-known in philosophy of computing. Computable structure theory, however, although capable of fully reconstructing Shapiro's approach, seems to be off philosophers' radar. Based on the case study of natural numbers with standard order, we make initial steps to reconcile these two perspectives. First, we lay the elementary conceptual groundwork for the reconstruction of Shapiro's approach in terms of computable structures and show, on a few examples, how results pertinent to the former can inform our understanding of the latter. Secondly, we prove a new result, inspired by Shapiro's notion of acceptability, but also relevant for computable structure theory. The result explores the relationship between the classical notion of degree spectrum of a computable function on the structure in question - specifically, having all c.e. degrees as a spectrum - and our ability to compute the (image of the) successor from the (image of the) function in any computable copy of the structure. The latter property may be otherwise seen as relativized acceptability of every notation for the structure.

研究动机与目标

• 将 Shapiro 关于可接受记号的哲学框架与可计算结构理论的正式工具相调和。
• 研究可计算函数 f 在 (ω, <) 上的度谱恰好为 c.e. 度时，是否意味着在 (ω, <) 的每个可计算拷贝中，后继函数均可从 f 的像中可计算。
• 通过度谱与可计算同构拷贝，将 Shapiro 的可接受性概念推广至相对化、结构理论的设定中。
• 建立一个充分条件，使得当函数的谱恰好为 c.e. 度时，可恢复后继函数。

提出的方法

• 将 Shapiro 的可接受性概念重新表述为 (ω, <) 的可计算同构拷贝的语境下，其中记号对应于该结构的可计算拷贝。
• 将函数 f 在 (ω, <) 上的度谱定义为 f 的像在所有可计算同构拷贝中所呈现的所有图灵度的集合。
• 引入后继可恢复性的概念：在 (ω, <) 的每个可计算拷贝中，后继函数均可从 f 的像中可计算，这推广了 Shapiro 的可接受性条件。
• 使用块函数——将 ω 划分为有限区间的可计算函数——来构造例子并分析其谱行为。
• 应用可计算结构理论中的技术，包括通过函数 cpf(x) 有效恢复 f-块，以确保对结构成分的算法访问。
• 证明：对于满足特定有效性条件的可计算块函数，c.e. 度谱蕴含后继可恢复性，采用具有精细控制块交互作用的优先级风格构造。

实验结果

研究问题

• RQ1 当可计算函数 f 在 (ω, <) 上的度谱恰好为 c.e. 度时，是否足以保证在 (ω, <) 的每个可计算同构拷贝中，后继函数均可从 f 的像中可计算？
• RQ2 Shapiro 框架中的可接受性概念能否在可计算结构理论中得到形式化重构并加以推广？
• RQ3 函数 f 的哪些结构性质可确保其度谱恰好为 c.e. 度？
• RQ4 是否存在可计算块函数，其度谱为 c.e. 度，但后继函数无法从 f 中恢复？
• RQ5 c.e. 度谱与后继可恢复性之间的等价性是否对所有可计算块函数均成立？

主要发现

• 对于满足特定有效性条件的一大类可计算块函数，其度谱恰好为 c.e. 度，当且仅当在 (ω, <) 的每个可计算同构拷贝中，后继函数均可从 f 的像中可计算。
• 该证明依赖于通过函数 cpf(x) 有效恢复 f-块，从而实现对构造所必需的结构成分的算法识别。
• 本文为 Shapiro 的可接受性概念提供了形式化、可计算理论层面的重构，即‘相对化可接受性’——即相对于函数像的后继可计算性。
• 存在一个可计算块函数 f，使得 cpf(x) 不可计算，f 的块无限次出现，且 f 的谱包含所有 ∆2 度，表明在缺乏额外有效性约束时，c.e. 谱条件不足以保证可恢复性。
• 作者猜想，c.e. 度谱与后继可恢复性之间的等价性对所有可计算块函数均成立，尽管对于不满足有效性条件的函数，该结论仍为开放问题。