在Muchnik度I里面：不连续性，可学习性和建构主义
Inside the Muchnik Degrees I: Discontinuity, Learnability, and Constructivism
摘要：
每个可计算函数都必须是连续的。为了发展不连续函数的可计算性理论，我们研究了Baire空间上非一致可计算函数的算术层次的低层。首先，我们从学习理论和分段可计算性的角度对Baire空间上的非一致可计算函数进行了分类。例如，我们证明了思维变化有界可学习性等价于有限$(Π^0_1)_2$分段可计算性（其中$(Π^0_1)_2$表示两个$Π^0_1$集合的差），错误有界可学习性等价于有限$Δ^0_2$分段可计算性，可学习性等价于可数$Π^0_1$分段可计算性（等价于可数$Σ^0_2$分段可计算性）。其次，我们介绍了析取类操作，如BHK的解释的基础上的余积，然后，我们看到，这些操作诱导伽罗瓦之间的连接梅德韦杰夫度结构和相关的梅德韦杰夫/Muchnik的度结构。最后，我们解释这些结果的背景下，Weihrauch度和Wadge样的游戏。
英文摘要：
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify nonuniformly computable functions on Baire space from the viewpoint of learning theory and piecewise computability. For instance, we show that mind-change-bounded-learnability is equivalent to finite $(Π^0_1)_2$-piecewise computability (where $(Π^0_1)_2$ denotes the difference of two $Π^0_1$ sets), error-bounded-learnability is equivalent to finite $Δ^0_2$-piecewise computability, and learnability is equivalent to countable $Π^0_1$-piecewise computability (equivalently, countable $Σ^0_2$-piecewise computability). Second, we introduce disjunction-like operations such as the coproduct based on BHK-like interpretations, and then, we see that these operations induce Galois connections between the Medvedev degree structure and associated Medvedev/Muchnik-like degree structures. Finally, we interpret these results in the context of the Weihrauch degrees and Wadge-like games.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
