Yığın Paradoksu: Kaç Kum Tanesi Bir Yığın Yapar?

Masum Bir Soru

Önünüzde bir milyon kum tanesinden oluşan bir kum yığını var. Buna “yığın” demekte hepimiz hemfikiriz. Şimdi bu yığından tek bir tane alalım. Hâlâ yığın mı? Elbette — bir tane neyi değiştirir ki?

İşte bu mantığı kabul edersek başımız belaya girer. Çünkü:

• $1.000.000$ tane yığındır.
• Bir tane alınca ($999.999$) yine yığındır.
• Yine bir tane alınca ($999.998$) yine yığındır.
• … bu mantıkla devam edersek, $1$ tane de yığındır, hatta $0$ tane de!

Açıkça saçma. Ama her adım son derece mantıklıydı. Nerede hata yaptık? İşte buna yığın paradoksu (sorites paradoksu) denir; adı Yunanca “yığın” anlamına gelen soros kelimesinden gelir.

Sorun Nerede?

Paradoksun kalbinde belirsiz (bulanık) kavramlar yatar. “Yığın”, “uzun”, “sıcak”, “genç” gibi kelimelerin keskin bir sınırı yoktur. Hangi tam sayıda tane “yığın olmaktan çıkar”? Böyle bir sayı söyleyemezsiniz: “$523$ tane yığın ama $522$ tane değil” demek de saçmadır.

Klasik mantık, her şeyin ya doğru ya yanlış olmasını ister. Ama gerçek dünyadaki pek çok kavram, doğru ile yanlış arasında gri bir bölgede yaşar. Yığın paradoksu, bu gri bölgenin matematiğe ve mantığa çıkardığı zorluğu gösterir.

Modern Bir Yaklaşım: Bulanık Mantık

$20.$ yüzyılda matematikçiler bu soruna ilginç bir yanıt geliştirdi: bulanık mantık (fuzzy logic). Bu yaklaşımda bir şey “tamamen yığın” ($1$) ya da “hiç yığın değil” ($0$) olmak zorunda değildir; arada her değeri ($0,\!7$ yığın gibi) alabilir.

Bu fikir sadece felsefi bir oyun değildir. Bulanık mantık bugün gerçek teknolojilerde kullanılır: klimalar “biraz sıcak” durumunu, çamaşır makineleri “orta kirli” çamaşırı, otomatik vites kutuları “hafif yokuş” durumunu bulanık mantıkla değerlendirir. Keskin sınırlar yerine dereceli kararlar verir.

Yığın paradoksu, dilimizin ve sezgimizin matematiğin keskin doğru-yanlışına her zaman uymadığını hatırlatır. Bazen en derin sorular, bir avuç kumda saklıdır.