1 paper · 2 filters
Christopher J. Eagle, Timothy H. McNicholl
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…