MaTeMa-TiK - RuSSeLL PaRaDoKSu

Bertrand Russell'ın paradoksu küme üyeliğine ilişkindir

Bir küme ya kendisinin bir üyesidir, ya da değildir. Kendisinin bir üyesi olmayan kümelere "düzenli" diyelim. Örneğin, "İnsanların kümesi"nin kendisi, bir insan olmadığı için, nkendisinin bir üyesi değildir. Kendisini içeren kümeleri "düzensiz" olarak adlandıralım. Örneğin "beş elemandan fazla elemanı olan kümelerin kümesi" düzenli midir yoksa düzensiz midir? Eğer düzenliyse; kendinin bir üyesi olamaz. Tüm düzenli kümeleri içerdiğine göre ve kendisinin de düzenli olduğunu kabul ettiğimiz için, kendisini içermelidir. Ama eğer kendisini içeriyorsa, tanıma göre düzensizdir. Düzenli olduğunu varsayıp, düzensiz olduğu çelişkili sonucuna vardık. Diğer taraftan, eğer düzensiz ise, kendisini elemanı olarak içerir. Ama elemanlarının sadece düzenli kümeler olduğunu biliyoruz. Demek ki düzensiz ise düzenli olduğu sonucu ortaya çıkıyor. Russell Paradoksu, Alman Matematikçi Gottlob Frege'e büyük bir darbe indirmiştir. Frege, bu paradoksu öğrendiğinde, aritmetiğin mantıksal gelişimi hakkındaki kitabının ikinci cildini yeni bitirmişti. II.cildin ek bölümü şöyle başlar: "Bir bilim insanı için en üzücü olay, yapıtı tam bitmişken temellerinin çökmesidir."