Contrary to Hilbert’s expectations, no mechanical procedure can be counted on to determine the provability of any given mathematical statement in a finite number of steps. This put a halt to the Hilbert program, while Hitler’s purge of German universities put a halt to Göttingen’s position as the mathematical center of the world, leaving a vacuum for Turing’s Cambridge, and von Neumann’s Princeton, to fill.
