I doubt that Godel was indispensable for the discovery of the incompleteness theorem. It was one of Hilbert's problems so clearly people were thinking about it.

I doubt that Godel was indispensable for the discovery of the incompleteness theorem. It was one of Hilbert's problems so clearly people were thinking about it. Moreover, a few years later Turing came up with his notion of computability from which Godel's incompleteness their can be easily deduced.