# What is the reference for the proof Gödel's first incompleteness theorem based on the undecidability of the halting problem?

A weaker form of Gödel's First Incompleteness Theorem, direct proofs of which in Gödel's manner are lengthy, involved and at some place rather counter-intuitive, has a simple and intuitive proof based on the undecidability of the halting problem - see for example https://en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof

Who first proposed this proof and in what article or book has it been first published?

2. "If the negation of what Godel has shown had been proved, i.e. if, for each $$U$$ either $$U$$ or $$\neg U$$ is provable, then we should have an immediate solution of the Entscheidungsproblem."