基于暂停问题的不确定性，哥德尔的第一个不完备性定理的证明有什么参考？

哥德尔第一不完全性定理的较弱形式（以哥德尔的方式直接证明是冗长，复杂且在某些地方违反直觉的），具有基于停止问题的不确定性的简单直观的证明-例如，参见https：// /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof

谁首先提出了该证明，并且首先在哪篇文章或书中发表了？

我相信这种联系的某些版本可以与Turing关于可计算性的开创性论文联系在一起。

即，图灵提出以下两个主张：

1. “第8节的结果有一些重要的应用。特别是，它们可以用来证明希尔伯特的问题不可能解决。”
2. “如果已经证明了对Godel所显示内容的否定，即，如果对每个都可以证明或，那么我们应该立即解决Entscheidungs问题。”$U$$U$$\neg U$

我相信结论来自Modus Tollens。