Russell Paradoksu

Russell Paradoksu, matematikçi ve filozof Bertrand Russell tarafından 1901 yılında formüle edilen, sezgisel küme kuramındaki kısıtsız kavrama ilkesinin (unrestricted comprehension principle) mantıksal bir çelişkiye yol açtığını gösteren temel bir sorundur. Bu paradoks, herhangi bir koşula bağlı olmaksızın "kendi kendisini öğe olarak içermeyen tüm kümelerin kümesi" kavramının tanımlanmasıyla ortaya çıkar. Paradoks, yirminci yüzyılın başında matematiğin temelleri üzerine derin sorgulamalara ve küme kuramında köklü değişikliklere neden olmuştur.

Ondokuzuncu yüzyılın sonlarına kadar matematikçiler, akla gelebilecek tüm matematiksel nesne topluluklarının, yani belirli bir özelliğe sahip olan bütün elemanların doğrudan bir küme oluşturabileceğini varsaymıştır. Bu yaklaşım "sezgisel (naif) küme kuramı" olarak adlandırılır. Bir nesnenin, bir kümenin öğesi olması durumu matematiksel olarak $x\in A$ şeklinde ifade edilirken; öğesi olmaması durumu $x\notin A$ ile gösterilir.

Doğal sayılar kümesi $(\mathbb{N})$ gibi geleneksel kümeler, kendi kendilerinin bir öğesi değildir; zira doğal sayılar kümesi bir doğal sayı değildir $(\mathbb{N}\notin \mathbb{N})$. Ancak "tüm kümeleri içeren evrensel bir küme" ($A$) varsayıldığında, bu $A$ kümesi de bir küme olduğundan kendi kendisinin bir öğesi olmak zorundadır $(A\in A)$.

Russell, sezgisel küme kuramının sınırlarını test etmek amacıyla, yalnızca "kendi kendisini içermeyen kümelerin kümesini" tanımlamış ve bu kümeye $B$ adını vermiştir $(x\in B\iff x\notin x)$. Bu tanımın ardından ortaya çıkan mantıksal çelişki, "$B$ kümesi kendi kendisinin bir öğesi midir?" sorusunda düğümlenir:

Eğer $B$ kümesi kendi kendisinin bir öğesi ise $(B\in B)$, tanımı gereği kendisini içermemesi gerekir.

Eğer $B$ kümesi kendi kendisinin bir öğesi değilse $(B\notin B)$, yine tanımı gereği kendisini içermesi zorunluluğu doğar.

Bu mantıksal çıkmaz, Peano dizgesinde $w=\text{cls}\cap x\epsilon (x\sim \epsilon x).\supset :w\epsilon w.=.w\sim \epsilon w$ formülü ile ifade edilmiştir. Georg Cantor'un köşegenleştirme yöntemiyle de ilişkili olan bu durum, klasik mantıkta bir tümcenin aynı anda hem doğru hem yanlış olamayacağı ilkesini ihlal eder.

Russell Paradoksu'nun temelindeki öznenin kendisinden söz etmesiyle oluşan kısır döngü, anlaşılabilirliği artırmak amacıyla farklı senaryolarla örneklendirilmiştir.

Bir köyde bulunan bir berberin, köyde yalnızca "kendi kendini tıraş etmeyen" herkesi tıraş ettiği, kendini tıraş edenleri ise tıraş etmediği varsayılır. Bu durumda berberin kendini tıraş edip edemeyeceği sorulur. Berber kendini tıraş ederse kuralı çiğnemiş olur; kendini tıraş etmezse kural gereği kendini tıraş etmesi gerekir.

Kitap listelerini barındıran katalogların bir kısmı kendi ismini listesine alırken, bir kısmı almaz. "Kendi adını içermeyen katalogların kataloğu" hazırlanmak istendiğinde, bu yeni kataloğun kendi ismini taşıyıp taşımayacağı çelişkisi doğar. Her iki olasılık da kataloğun tanımıyla mantıksal olarak örtüşmez.

^{Katalog Paradoksu Görselleştirilmesi (Yapay zeka ile oluşturulmuştur.)}

Paradoksun matematikteki yankılarından önce, 1897 yılında İtalyan matematikçi Burali-Forti benzer bir paradoksun varlığını tespit etmiştir. Ayrıca Alman matematikçi Ernst Zermelo da, 1908'deki yayımlarında bu çelişkiyi Russell'dan bağımsız olarak 1903 civarında bulduğunu ve David Hilbert gibi meslektaşlarına bildirdiğini ifade etmiştir.

Paradoks en çarpıcı etkisini Alman mantıkçı ve matematikçi Gottlob Frege'nin akademik çalışmaları üzerinde göstermiştir. Frege, matematiği ve aritmetiği sağlam bir kümeler kuramına dayandırmayı hedeflediği Aritmetiğin Temelleri adlı eserinin ikinci cildini baskıya hazırladığı dönemde, 16 Haziran 1902 tarihinde Bertrand Russell'dan bir mektup almıştır. Russell mektubunda Frege'nin eserini övmüş, ancak bulduğu paradoksu da açıkça ifade etmiştir. Frege, bu mektuba 22 Haziran 1902'de büyük bir hayal kırıklığıyla yanıt vermiş; kendi tanımladığı beşinci kuralın çöktüğünü ve aritmetiğin sağlam bir temele oturtulamayacağının anlaşıldığını belirtmiştir. Frege eserinin sonuna bir ekleme yaparak bu durumu bilim dünyasıyla paylaşmak zorunda kalmıştır.

Russell'ın bulduğu bu paradoksu çözmek ve matematiği çelişkisiz bir sisteme kavuşturmak için belitlerde (aksiyomlarda) değişikliklere gidilmiştir.

Bertrand Russell, 1908 yılında kümeleri derecelendiren "Tipler Kuramı"nı geliştirmiştir. Bu kurama göre, belirli bir derecedeki kümeyi tanımlamak için ancak daha alt dereceli kümeler kullanılabilir. Bu sayede "tüm kümeleri içeren küme" gibi sınırsız tanımlamalar yasaklanmıştır.

Matematikçiler Tipler Kuramı'nın karmaşıklığı nedeniyle, Ernst Zermelo ve Adolf Fraenkel tarafından geliştirilen daha kullanışlı bir sisteme yönelmiştir. Bu sistemde, herhangi bir özelliğe sahip olan evrendeki bütün nesnelerin küme oluşturmasına izin verilmemiş, kısıtsız kavrama ilkesi kaldırılmıştır. Yalnızca var olan bir kümenin içinden alınan belirli özelliklere sahip elemanların yeni bir küme (altküme) oluşturabileceği kuralı getirilmiştir.