The Foundations of Infinite-Dimensional Spectral Computations