Perhaps the idea of computers would have been more useful than the computers themselves. Several of the ideas in his proof are simpler if you can say "computable" rather than "recursive" or whatever. So perhaps if he had been thinking in these terms he could have done more work sooner.
The way things turned out the work from this era defined what computers can and can't do, not the other way around, which would likely not satisfy many mathematicians.
