A Computable Spectral Theorem