Hilbert Space, David Hilbert, Mathematics, Physics, Quantum Computing.
contradict Hilbert’s formalistic point of view; and it soon became apparent that proof theory could still be fruitfully developed without keeping to the original program. Hilbert himself now took a step in this direction. This was the replacing of the schema of complete induction by a looser rule