{"id":"arxiv/2605.02501","url":"https://arxiv.org/abs/2605.02501","tags":["cs.IT","math.LO"],"score":0,"title":"Computability Limits of Sequential Hypothesis Testing","domain":"cs.IT","source":"arxiv","authors":["Amir Leshem"],"reviews":0,"subject":"cs.IT","summary":"Sequential hypothesis testing asks for decision rules that update as data arrive. A natural goal is \\emph{eventual correctness}: the rule may change its mind early on, but it should make only finitely many wrong decisions almost surely. Starting from Cover's theorem, which guarantees such behavior for membership in a countable set of candidate means, we ask a sharper question: \\emph{which sets actually admit computable sequential decision procedures with finitely many errors?} We answer this optimally by giving a complete characterization both necessary and sufficient of the subsets of $\\Q$…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}