But, just in case the computer started taking control of the world like in those sci-fi stories, Von Neumann helped design the Atom Bomb the previous year. Same goes for computers for that matter. Eckert and Mauchly went on to actually build the first programmable computer in Philadelphia. It helped win the war, but Turing could not take credit or make any money from his invention. It was Top Secret.
Computers can do that.
Never knowing how big the consequences of his great little mistake were. We unfortunately were not so lucky. The rest, as they say, is history. Hilbert's challenge can be found in his famous 1901 lecture on 23 unsolved problems in Mathematics. Hilbert was a founder of the Formalist school of mathematics which believed it was possible to solve every math problem.