{"id":"arxiv/2611.06303","url":"https://arxiv.org/abs/2611.06303","tags":["cs.CC","cs.AI","cs.FL","math.LO"],"score":0,"title":"An Engineering Reading of the Bounded Halting Problem and Observable Properties of a Universal Machine","domain":"cs.CC","source":"arxiv","authors":["Sergey Salishev"],"reviews":0,"subject":"cs.CC","summary":"The halting problem asks whether a program eventually halts, with unrestricted resources. Engineering systems instead certify bounded halting: given a program, an input, and a step budget T, decide whether the program halts within T steps. This paper studies two of its uses. First, it defines an exact finite-budget problem, placing the simulated program and the checker on the same unit-cost timescale, so the checker can be embedded in an adversarial program. A diagonal argument with explicit additive overhead shows that no fixed deterministic checker decides every instance within any fixed…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-11-04","reactions":{}}