Hilbert’s challenge, taken up by von Neumann, led directly both to Kurt Gödel’s results on the incompleteness of formal systems of 1931 and Alan Turing’s results on the existence of noncomputable functions (and universal computation) of 1936. Von Neumann set the stage for these two revolutions,
