Gödel'in durma sorununun kararsızlığına dayanan ilk eksiklik teoreminin referansı nedir?

Gödel'in ilk kanıtları uzun, dahil olan ve bir yerde oldukça sezgisel olan bir yerde doğrudan kanıtları olan Gödel'in İlk Eksiklik Teoreminin daha zayıf bir formu, durma sorununun kararsızlığına dayanan basit ve sezgisel bir kanıta sahiptir - bkz. Https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof

Bu kanıtı ilk kim önerdi ve ilk olarak hangi makalede veya kitapta yayınlandı?

Bu bağlantının bazı versiyonlarının Turing'in hesaplanabilirlik konusundaki seminal gazetesine bağlanabileceğine inanıyorum .

Yani, Turing aşağıdaki iki iddiada bulunur:

1. "Bölüm 8'in sonuçları bazı önemli uygulamalara sahiptir. Özellikle Hilbert Entscheidungsproblem'in çözümünün olmadığını gösterebilirler."
2. "Eğer Godel'in gösterdiği şeyin olumsuzlanması kanıtlanmış olsaydı, yani her biri için $U$ ya $U$ veya $\neg U$ kanıtlanabilirse, Entscheidungsproblem için derhal bir çözüm bulmalıyız. "

Sonuç, sanırım Modus Tollens'ten geliyor.