Gödel set the stage for the digital revolution, not only by redefining the powers of formal systems—and lining things up for their physical embodiment by Alan Turing—but by steering von Neumann’s interests from pure logic to applied.
so Turing used Gödel s work in his 1936 paper? And what was the most helpful result of Turing saying that roughly what is noted in a few lines of logic ( code), can represent many computations . ( I'm not stating this well )
