{"id":"arxiv/2609.20378","url":"https://arxiv.org/abs/2609.20378","tags":["math.LO","math.NA"],"score":0,"title":"From raw Solvability Complexity Index proofs to Weihrauch degrees","domain":"math.LO","source":"arxiv","authors":["Christopher Sorg"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}