Newcomb Paradoksu: İki Akıllı Kararın Aksi Cevap Verdiği Bulmaca

Bir kâhin, iki kutu, bir karar

Hayal edin: önünüzde iki kutu var.

• A Kutusu: Şeffaftır. İçinde 1.000 TL olduğunu görüyorsunuz.
• B Kutusu: Kapalı. İçinde ya 1 milyon TL ya da 0 TL vardır — sizin için sürpriz.

Önünüzde Kâhin duruyor. Kâhin dün size baktı ve hangi seçimi yapacağınızı çok yüksek doğrulukla tahmin etti (örneğin %99 doğru). Tahminine göre B'yi şu kurala uydurdu:

• Eğer "sadece B'yi alacak" tahmin ettiyse → B'ye 1 milyon TL koydu.
• Eğer "hem A hem B'yi alacak" tahmin ettiyse → B'ye 0 TL koydu.

Karar sıra sizde:

1. Sadece B'yi al.
2. Hem A hem B'yi al.

Ne yaparsınız?

Strateji 1: "İki kutuyu da al" (baskınlık)

Kâhin tahminini çoktan yapmış; B'nin içeriği değişmez. O zaman ne yapsanız B'yi alıyorsanız, ayrıca A'yı da almak +1.000 TL kazandırır. A'yı almamak için sebep yok. Kâhin ne tahmin ederse etsin, A artı bir kazanım. Baskın strateji: ikisini de al.

Bu karar teorisi baskınlık ilkesinin (dominance principle) klasik uygulamasıdır: Bir seçenek, başka bir seçeneğe göre her durumda en az kadar iyi ve en az bir durumda kesin daha iyiyse, baskındır.

Strateji 2: "Sadece B'yi al" (beklenen değer)

Kâhin %99 doğruysa, beklenen değerleri hesaplayalım. $p = 0.99$.

Sadece B alırsan:

$E_{\text{B}} = 0.99 \cdot 1\,000\,000 + 0.01 \cdot 0 = 990\,000 \text{ TL}$

Hem A hem B alırsan:

$E_{\text{A+B}} = 0.99 \cdot 1\,000 + 0.01 \cdot 1\,001\,000 = 990 + 10\,010 = 11\,000 \text{ TL}$

Yaklaşık 90 kat fark. Sadece B'yi almak, beklenen değer olarak çok daha kârlıdır. Beklenen değer ilkesi der ki: sadece B'yi al.

Paradoks

İki ilke de doğru gibi görünüyor. Karar teorisinin en temel iki sezgisi (baskınlık ve beklenen değer maksimizasyonu) aksi cevaplar veriyor. Hangisi haklı?

Bu, 1969'da fizikçi William Newcomb'un keşfettiği ve filozof Robert Nozick'in popülerleştirdiği paradokstur. Yarım asırdır felsefeciler ve matematikçiler iki kampta tartışıyor.

"İki kutucular" (two-boxers)

Argümanı: Kâhin'in tahmini geçmişte yapıldı. Nedensellik: senin şimdiki kararın B'nin içeriğini değiştiremez. O zaman baskınlık ilkesini kullanırız, A'nın eklenmesi sadece artıdır. "Kararını verdiğin an B sabittir; karar değiştirmek anlamsızdır."

"Tek kutucular" (one-boxers)

Argümanı: Kâhin senin tipik karar tarzını biliyor. Yani karakter veya rasyonalite stilin belirleyicidir, anlık karar değil. "İki kutu alacak tipte bir insan" olarak tanınırsan, B'nin boş çıkması neredeyse kesindir. İstatistiksel ilişki nedensellik gibi davranır: Kâhin'in başarısını veri olarak alırsak, "tek kutu alanlar zengin oluyor, iki kutu alanlar 1000 TL'yle dönüyor."

Felsefi derinlik: özgür irade ve kâhin

Paradoks aslında bir sorunun farklı bir yüzü: Eğer geleceğim öngörülebilirse, kararımın anlamı nedir? Determinizm-özgür irade tartışması Newcomb'da çıplaklaşıyor. Eğer Kâhin %100 doğruysa, "ben hangisini seçeceğime karar veriyorum" iddiası boşa çıkıyor — Kâhin zaten ne seçeceğini biliyordu.

Pratikte: insan psikolojisinde bilinçli karar verirken bile karakterimizden kaçamadığımızı düşünebilirsiniz. Şirket size "dürüst çalışırsanız maaş zammı" derse, "yarın dürüst davranayım" diye karar vermek yetmez; dürüst bir insan olmak gerekir. Newcomb sahnesi bu sezgiyi matematikselleştirir.

Modern bağlam: yapay zekâ ve karar teorisi

Newcomb Paradoksu yapay zekâ güvenlik araştırmalarında ciddi bir konu. Bir AI sistemi gelecekteki kendisini tahmin edebiliyorsa veya başka AI'ların tahminleriyle yüzleşiyorsa, hangi karar teorisini uygulamalı? Causal decision theory (CDT — iki kutucu) ve evidential decision theory (EDT — tek kutucu) arasındaki ayrım, AI tasarımında pratik sonuçlar üretir. Yeni "functional decision theory" gibi yaklaşımlar bu tartışmadan doğdu.

Filozoflar arasında anket çoğunlukla iki kutuyu önde gösterse de, modern karar teorisyenlerinin önemli kısmı tek kutuya kayıyor. Henüz "kesin cevap" yok — ve belki olmayacak. Çünkü bu bulmaca insanın rasyonalite kavramının sınırını çiziyor: ne dersek diyelim, bir tarafımız hep tatmin olmuyor.