Her zaman belirsiz bir şekilde yukarıdaki sorunun cevabının aşağıdaki satırlar boyunca olumlu olduğunu düşündüm. Gödel'in eksiklik teoremi ve durma sorununun kararsızlığı hem karar verilebilirlik konusunda olumsuz sonuçlar doğuruyor hem de diyagonal argümanlarla (ve 1930'larda) ortaya çıkar, bu nedenle aynı konuları görmenin iki yolu olmalılar. Ve Turing'in durma probleminin çözülemez olduğunu göstermek için evrensel bir Turing makinesi kullandığını düşündüm. (Ayrıca bu matematik.SE sorusuna bakın .)
Ama şimdi (hesaplanabilirlik dersi verirken) bu konulara daha yakından bakıyorum, bulduklarım karşısında şaşkınım. Bu yüzden düşüncelerimi düzeltmek için biraz yardım istiyorum. Bir yandan Gödel'in diyagonal argümanının çok ince olduğunu fark ettim: kendi türetilebilirliği hakkında bir şeyler söylediği şeklinde yorumlanabilecek bir aritmetik ifade oluşturmak için çok fazla çalışmaya ihtiyacı var. Öte yandan, burada bulduğum durma sorununun kararsızlığının kanıtı son derece basittir ve evrensel Turing makinelerinin varlığından bağımsız olarak, açıkça Turing makinelerinden bahsetmez.
Evrensel Turing makineleri hakkında pratik bir soru, evrensel bir Turing makinesi alfabesinin, simüle ettiği Turing makineleriyle aynı olması önemli olup olmadığıdır. Uygun bir çapraz argüman oluşturmak için (makinenin kendisini simüle etmesiyle) gerekli olacağını düşündüm, ama ağda bulduğum evrensel makinelerin açıklamaları koleksiyonunda bu soruya hiç dikkat etmedim. Durma sorunu için değilse, evrensel Turing makineleri herhangi bir diyagonal argümanda yararlı mıdır?
Sonunda, bu bölümden sonra kafam karıştı.Gödel'in eksikliğinin daha zayıf bir biçiminin durma probleminden kaynaklandığını söyleyen aynı WP makalesinin açıklaması: “doğal sayılarla ilgili tüm ifadelerin eksiksiz, tutarlı ve sağlam bir aksiyomlaştırılması“ “ses” in zayıflamanın olduğu yerlerde ”elde edilemez. Bir teorinin, bir çelişki doğuramadığı takdirde tutarlı olduğunu biliyorum ve doğal sayılarla ilgili tam bir teori, doğal sayılarla ilgili tüm gerçek ifadelerin içinde türetilebileceği anlamına gelir; Gödel'in böyle bir teorinin var olmadığını söylediğini biliyorum, ancak böyle bir varsayımsal canavarı nasıl sağlam olamayacağını, yani doğal sayılar için yanlış olan ifadeleri türetmediğini de göremiyorum: böyle bir ifadenin ihlali doğru olur ve bu nedenle, bütünlük halinde tutarlılık ile çelişecek olan türetilebilir.
Bu noktalardan biriyle ilgili herhangi bir açıklamayı takdir ediyorum.