Gödel'in Eksiklik Teoremleri
Gödel'in eksiklik teoremleri, temel aritmetiği ifade edebilen herhangi tutarlı bir biçimsel kuramın eksik olduğunu ve kendi tutarlılığını kanıtlayamayacağını ortaya koyarak, aksiyomatik yönteme temel sınırlar getirmektedir.
Tanım
Birinci eksiklik teoremi, aritmetiğin mütevazı bir parçasını yorumlayan herhangi tutarlı, etkili bir şekilde aksiyomatize edilmiş bir kuramın, ne kendisinin ne de olumsuzlamasının kanıtlayabileceği bir cümlesi bulunduğunu belirtmektedir; ikincisi ise böyle bir kuramın kendi tutarlılığını iddia eden biçimsel bir ifadeyi kanıtlayamayacağını ifade etmektedir.
Kapsam
Bu konu, sözdiziminin aritmetizasyonu ve Gödel numaralandırması, çaprazlama lemma (diagonal lemma) ve öz-gönderimli bir cümlenin inşası, doğru kanıtlanamaz cümlelerin varlığına dair birinci eksiklik teoremi, tutarlılığın kanıtlanamazlığına dair ikinci eksiklik teoremi ile Tarski'nin doğrunun tanımlanamazlığı üzerine teoremi gibi standart koşulları ve sonuçları kapsamaktadır.
Temel sorular
- Bir kuramın sözdizimi aritmetiğin içinde nasıl kodlanmaktadır?
- Çaprazlama lemma (diagonal lemma), kendi kanıtlanamazlığını iddia eden bir cümleyi nasıl üretmektedir?
- Yeterince güçlü tutarlı bir kuram neden eksik olmak zorundadır?
- Böyle bir kuram kendi tutarlılığını neden kanıtlayamaz?
Temel kuramlar
- Çaprazlama lemma (Diagonal lemma)
- Tek serbest değişkenli herhangi bir formül için, kuramın, cümlenin kendi koduna uygulanan o formüle eşdeğer olduğunu kanıtladığı bir cümle bulunmaktadır; bu da kontrollü öz-gönderime olanak tanımaktadır.
- Birinci eksiklik teoremi
- Çaprazlama lemmayı kanıtlanabilirlik yüklemine uygulamak, tam olarak kanıtlanamaz olduğunda doğru olan bir cümle üretmektedir; bu nedenle tutarlı, etkili bir şekilde aksiyomatize edilmiş bir aritmetik kuramın ne kanıtlayabileceği ne de çürütebileceği bir cümlesi bulunmaktadır.
- İkinci eksiklik teoremi
- Birinci teoremin kanıtını kuram içinde biçimselleştirmek, kuramın kendi tutarlılığını ancak tutarsız olması durumunda kanıtladığını göstermektedir; bu nedenle tutarlı bir kuram kendi tutarlılığını tesis edemez.
Klinik önem
Eksiklik teoremleri, hiçbir tek tutarlı biçimsel sistemin her aritmetik soruyu çözemeyeceğini veya kendi güvenilirliğini onaylayamayacağını göstererek matematiğin temellerini yeniden şekillendirmiştir; bu durum Hilbert'in programını sınırlandırmakta ve kuramsal gücün sıral sayı (ordinal-theoretic) ölçümlerini ve göreceli tutarlılık çalışmalarını teşvik etmektedir.
Tarihçe
Gödel, eksiklik teoremlerini 1930'da duyurmuş ve 1931'de yayımlayarak, aritmetiğin tamamen ve kendi kendine onaylanabilir şekilde aksiyomatize edilebileceği beklentisini altüst etmiştir. Rosser, 1936'da hipotezleri güçlendirmiş ve Tarski'nin aynı dönemdeki doğrunun tanımlanamazlığı üzerine teoremi, yakından ilişkili sınırlayıcı bir sonuç vermiştir.
Öne çıkan isimler
- Kurt Goedel
- Alfred Tarski
- J. Barkley Rosser
- David Hilbert
İlgili konular
Temel eserler
- smith2013
- godel1931
- boolos2007
Sıkça sorulan sorular
- Eksiklik teoremleri matematiğin tutarsız olduğunu mu söylemektedir?
- Hayır. Onlar, herhangi tek tutarlı ve yeterince güçlü bir biçimsel sistemin eksik olduğunu ve kendi tutarlılığını onaylayamayacağını belirtmektedirler. Matematiğin doğruluğu hakkında hiçbir şüpheye yer bırakmamakta, yalnızca herhangi bir aksiyomatik sistemin erişim alanına sınırlar getirmektedirler.
- Eksiklik, bazı doğruların bilinemez olduğu anlamına mı gelmektedir?
- Mutlak anlamda değil. Bir kuramda kanıtlanamayan bir cümle, örneğin bir tutarlılık ifadesi veya daha güçlü bir aksiyom eklenerek daha güçlü bir kuramda kanıtlanabilir. Eksiklik, her sabit sistemin bir sınırlamasıdır, genel olarak matematiksel bilgiye bir engel değildir.