{"id":"arxiv/2604.28067","url":"https://arxiv.org/abs/2604.28067","tags":["math.LO"],"score":0,"title":"Hallucination, abstention, and computable inseparability","domain":"math.LO","source":"arxiv","authors":["Takuma Imamura"],"reviews":0,"subject":"math.LO","summary":"The impossibility of eliminating hallucination, understood here as incorrect definite answers, in sufficiently expressive yes-or-no formal domains is an immediate consequence of classical undecidability theorems. This note does not revisit that forced-answer obstruction as its main claim. Instead, it attempts to formally describe the corresponding limitation for abstaining systems. Abstention can trivially avoid hallucination if the system is allowed to abstain on every input; the substantive question is how large the domain of guaranteed correct non-abstaining answers can be. We formulate…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-30","reactions":{}}