“What if there was some kind of machine capable of working out the Entscheidnugsproblem? This was the germ of the idea that eventually became a computer, but no such thing existed at the time.”