David Hilbert also formulated the theory of Hilbert spaces, one of the foundations of functional analysis.