Birinci Eksiklik Teoremi
Temel aritmetiği ifade edecek kadar güçlü her tutarlı biçimsel sistem F, doğru olan ancak F içinde kanıtlanamayan ifadeler içerir. Kanıt, öz-gönderim yoluyladır: Gödel, 'bu ifade F içinde kanıtlanamaz' diyen bir G ifadesi oluşturdu. Eğer F, G'yi kanıtlarsa, F tutarsızdır. Eğer F, G'yi kanıtlayamazsa, G doğrudur (çünkü kanıtlanamadığını söyler) ancak kanıtlanamaz. Her iki durumda da F ya eksiktir ya da tutarsızdır.
İkinci Eksiklik Teoremi
Temel aritmetiği ifade edecek kadar güçlü hiçbir tutarlı biçimsel sistem, kendi tutarlılığını kanıtlayamaz. Bir sistemin asla bir çelişkiyi kanıtlamayacağını doğrulamak için o sistemi kullanamazsınız. Bu daha derin bir sonuçtur; yani Hilbert'in matematiğin tutarlı olduğunu matematiksel yollarla kanıtlama programının imkansız olduğu anlamına gelir.
Gödel'in Kanıtlamadığı Şeyler
Eksiklik teoremleri, matematiğin güvenilmez olduğu veya 'her şey mübahtır' anlamına gelmez. Bu teoremler biçimsel sistemler (mekanik kanıt kurallarına sahip aksiyomatik sistemler) için geçerlidir, genel anlamda matematiksel sezgi için değil. Her matematiksel sorunun karar verilemez olduğu anlamına gelmez; sadece hiçbir sonlu aksiyom sisteminin tüm sorulara karar veremeyeceği anlamına gelir. Gödel'in kendisi bir Platoncuydu: Matematiksel doğruların nesnel olarak gerçek olduğuna ve biçimsel kanıtın ötesine geçseler bile matematiksel sezgiyle erişilebilir olduğuna inanıyordu.
Matematiğin Ötesindeki Yansımalar
Gödel'in teoremleri (genellikle aşırı yorumlanarak), yapay zeka, insan bilgisinin sınırları ve bilincin doğası (Penrose'un argümanı) üzerinde etkileri olduğu şeklinde yorumlanmıştır. En savunulabilir yorum şudur: Biçimsel bir sisteme dayalı yeterince güçlü her yapay zekanın kör noktaları olacaktır; kanıtlayamayacağı matematiksel doğrular. İnsan matematiksel sezgisinin bu sınırlamadan kaçıp kaçamadığı ise şiddetle tartışılmaktadır.
Sıkça Sorulan Sorular
Gödel'in eksiklik teoremleri ne diyor?
Birinci teorem: Aritmetik için yeterince güçlü her tutarlı biçimsel sistem, kanıtlayamayacağı doğru ifadeler içerir. İkinci teorem: Böyle hiçbir sistem kendi tutarlılığını kanıtlayamaz. Birlikte, matematiğin tamamen aksiyomatize edilemeyeceğini, yani herhangi bir sabit kanıt sisteminin ötesinde her zaman matematiksel doğruların var olacağını gösterirler.
Gödel'in teoremleri, yapay zekanın insan zekasıyla asla eşleşemeyeceğini kanıtlar mı?
Roger Penrose evet olduğunu savunuyor: Eğer zihin biçimsel bir sistem olsaydı, Gödel geçerli olurdu; matematikçiler biçimsel kanıtın ötesindeki doğruları fark edebildiğine göre, zihin daha fazlası olmalıdır. Eleştirenler (çoğu yapay zeka araştırmacısı dahil) bunun teoremleri yanlış uyguladığını savunuyor: Gödel sabit biçimsel sistemler için geçerlidir; öğrenen veya aksiyomlarını değiştiren bir sistem aynı şey değildir.
Gödel'in teoremleri insan bilgisinin sınırlarıyla mı ilgili?
Bu teoremler özellikle biçimsel aksiyomatik sistemlerle ilgilidir, genel olarak insan bilgisiyle değil. Gödel, insanların belirli bir biçimsel sistemin ötesine geçen bir matematiksel sezgiye sahip olduğuna inanıyordu; kendisi bir Platoncuydu. Teoremler, hiçbir mekanik kanıt prosedürünün tüm matematiği kapsamadığını gösterir, ancak insan matematiksel anlayışının mekanik prosedürleri aşıp aşmadığı ayrı bir felsefi sorudur.