Not: Gödel'in teoremiyle ilgili deneyimim oldukça sınırlıdır: Gödel Escher Bach'ı okudum; Godel'in Teoremine Giriş'in ilk yarısını yağsız bıraktı (Peter Smith tarafından); ve internette bazı rastgele şeyler var. Yani, sadece teori hakkında belirsiz bir üst düzey anlayışım var.
Benim düşünceme göre, Gödel'in eksiklik teoremi (ve Halting problemi ve Löbs Teoremi gibi ilgili birçok Teoremleri) en önemli teorik keşifler arasındadır.
Ancak, teoremlerin teorik uygulamalarının, muhtemelen kısmen 1. ispatın geniş doğası nedeniyle, insanların olmadığı güçlü felsefi çıkarımlar olmadığını gözlemlemek biraz hayal kırıklığı yaratıyor. kolayca taahhüt etmeye istekli.
Buna rağmen, teoremleri bir zihin felsefesi / AI bağlamında uygulamaya yönelik bazı girişimler vardır. Kafamın üstünden:
Lucas-Penrose Argümanı : Zihnin resmi bir sistemde (bilgisayarda olduğu gibi) uygulanmadığını iddia eder. (Ancak çok katı bir kanıt değil)
Görünüşe göre MIRI'deki bazı araştırmalar Löbs Thereom kullanıyor, ancak bildiğim tek örnek Löbian ajan işbirliği.
Bunların hepsi gerçekten harika, ama başka örnekler var mı? Özellikle akademik topluluklar tarafından ciddiye alınanlar.