{"id":"arxiv/2606.05456","url":"https://arxiv.org/abs/2606.05456","tags":["math.LO","math.OA"],"score":0,"title":"The computable functional calculus","domain":"math.LO","source":"arxiv","authors":["Christopher J. Eagle","Timothy H. McNicholl"],"reviews":0,"subject":"math.LO","summary":"We show that the continuous functional calculus is computable. As consequences we obtain the computable compactness of the spectrum of any computable normal element of a computably presented $\\mathrm{C}^*$-algebra, the existence of effective approximate units for computably presented $\\mathrm{C}^*$-algebras, and an effective version of the Spectral Theorem for compact operators on separable Hilbert spaces.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-03","reactions":{}}