Hilbert Space, David Hilbert, Mathematics, Physics, Quantum Computing.
the formalized number theory. He had also proved a theorem from which it follows that a finitist proof of consistency for a formal system strong enough to formalize all finitist reasonings is impossible. The boundless confidence in the power of human thought which had led him inexorably to this