发表机构
University of the Bundeswehr Munich（联邦国防军慕尼黑大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文通过文献中的显式示例，阐明可解性复杂度指标（SCI）逼近问题与Type-2可计算性（Weihrauch度）之间的深层联系。
AI 中文摘要
可解性复杂度指标（SCI）提供了一种外延极限高度形式体系，用于通过有限高度的逐点极限塔，从评估接口Λ的有限样本中恢复目标映射Ξ。乍一看，这听起来像是一个典型的Type-2问题，因此自然要问SCI逼近问题与Type-2可计算性问题之间的联系有多深、多丰富。本文旨在通过主要来自文献的显式示例进一步解释这种联系。
英文摘要
The Solvability Complexity Index (SCI) provides an extensional limit-height formalism for recovering a target map $Ξ$ from finite samples of an evaluation interface $Λ$ by finite-height towers of pointwise limits. At first sight this sounds like a typical Type-2 question, so it seems natural to ask how deep and rich the connection of SCI approximation questions and Type-2 computability questions is. This note aims to explain this connection further with explicit examples mostly from the literature.
