Araştırmacının Pusulası
Cevap neden doğru, sezgi neden yanlış? Derinlemesine bakış
Aşağıdaki sekiz başlık, iki paradoksun matematiğini, problemin hangi
varsayımlara dayandığını ve insanların neden ısrarla yanıldığını ele alıyor.
Her başlıkta bir durum etiketi var: kanıtlanmış, modelleme,
soru biçimine bağlı ya da araştırma bulgusu.
1. Bayes teoremiyle tam çözüm
kanıtlanmış
1. kapıyı seçtiniz, sunucu 3. kapıyı açtı. \(A_i\), "araba \(i\). kapıda"
olayı; \(S_3\), "sunucu 3. kapıyı açtı" olayı olsun. Başlangıçta her
\(P(A_i)=1/3\). Sunucunun davranışı: araba 1'deyse 2 ile 3 arasında yazı tura
atar, araba 2'deyse mecburen 3'ü açar, araba 3'teyse 3'ü asla açmaz:
\[ P(S_3\mid A_1)=\tfrac12,\quad P(S_3\mid A_2)=1,\quad P(S_3\mid A_3)=0 \;\;\Rightarrow\;\; P(S_3)=\tfrac13\Big(\tfrac12+1+0\Big)=\tfrac12 \]
\[ P(A_1\mid S_3)=\frac{P(S_3\mid A_1)\,P(A_1)}{P(S_3)}=\frac{\tfrac12\cdot\tfrac13}{\tfrac12}=\tfrac13 \qquad P(A_2\mid S_3)=\frac{1\cdot\tfrac13}{\tfrac12}=\tfrac23 \]
Formül, sezginin atladığı noktayı açıkça gösteriyor: sunucunun 3. kapıyı
açması, araba 2'deyken 1'deyken olduğundan iki kat daha olasıdır.
Kapının açılması tarafsız bir olay değil, bir bilgidir.
2. Her şey sunucunun kurallarına bağlı
modelleme
\(2/3\) cevabı, üç varsayıma dayanır: sunucu (1) arabanın yerini bilir,
(2) her zaman boş bir kapı açar ve değiştirme teklif eder, (3) iki boş kapı
arasında seçim yapabiliyorsa rastgele seçer. vos Savant'a itiraz edenlerin
bir kısmı aslında bu varsayımların soruda yeterince açık olmadığını
söylüyordu. Matematikçi Jeffrey Rosenthal, 2008'de bu varsayımları değiştiren
sürümleri karşılaştırdı:
- Sunucu rastgele açar ("Monty Fall"): sunucu düşüp yanlışlıkla bir kapıyı açıyor ve kapı boş çıkıyor. Bu durumda kalmak ile değiştirmek eşittir, ikisi de \(1/2\). Laboratuvardaki simülatörde deneyebilirsiniz.
- Sunucunun bir tercihi var ("Monty Crawl"): seçim şansı olduğunda hep 3. kapıyı açıyor. 2. kapıyı açtıysa araba kesinlikle 3'tedir; 3. kapıyı açtıysa olasılıklar \(1/2\)'ye \(1/2\)'dir. Değiştirmek yine hiç zarar vermez.
- Kötü niyetli sunucu ("Monty Hell"): sunucu yalnızca arabayı seçtiğinizde değiştirme teklif ediyor. O zaman değiştiren her zaman kaybeder. Gerçek Monty Hall da 1991'de New York Times'a, programda değiştirme teklifini her zaman yapmadığını, ne zaman yapacağına kendisinin karar verdiğini söylemişti. Böyle bir sunucuya karşı hiçbir strateji garanti değildir.
Matematik modellemenin dersi
Bir gerçek dünya durumunu matematiksel bir probleme çevirmek, kuralları
açıkça yazmayı gerektirir. "Sunucu bir kapı açar" cümlesi, sunucunun
nasıl karar verdiğini söylemedikçe eksiktir. Yarışma sorularını
çözerken de ilk adım, sorunun hangi varsayımları kabul ettiğini
bulmaktır.
3. Aynı problemin üç kılığı
kanıtlanmış
Bertrand'ın kutuları (1889), Gardner'ın üç mahkûmu (1959) ve Monty Hall
(1975) aynı matematiksel yapıyı paylaşır. Bertrand'ın kutusunda, çekilen
paranın altın çıkması, iki altınlı kutuda (iki altından biri) tek altınlı
kutudakinden iki kat daha olasıdır:
\[ P(\text{AA kutusu}\mid \text{altın çekildi})=\frac{1\cdot\tfrac13}{\tfrac13\cdot1+\tfrac13\cdot\tfrac12+\tfrac13\cdot0}=\frac{1/3}{1/2}=\frac23 \]
Üç mahkûm probleminde gardiyanın "senden başka biri idam edilecek" diye bir isim
söylemesi, sunucunun kapı açmasıyla aynı rolü oynar. Üç örnekte de hata aynıdır:
geriye kalan iki seçeneğin, nasıl geride kaldıklarına bakmadan, eşit olasılıklı
sanılması.
4. İki çocuk ve "salı doğmuş erkek"
soru biçimine bağlı
Bir ailenin iki çocuğu var. "En az biri erkek" bilgisiyle ikisinin de erkek
olma olasılığı \(1/3\)'tür; çünkü EE, EK, KE, KK durumlarından KK elenir, kalan
üçünden yalnızca biri EE'dir. "Büyük olan erkek" bilgisiyle ise cevap \(1/2\)'dir.
2010'da bulmaca tasarımcısı Gary Foshee bir adım ileri gitti: "en az biri
salı günü doğmuş bir erkek" bilgisiyle cevap \(13/27\)'dir, yani
\(1/2\)'ye çok yakın. Gün bilgisinin neden önemli olduğu, ancak bilginin
nasıl elde edildiği belirtildiğinde netleşir. Aşağıda üç
biçimi de simüle edebilirsiniz.
5. Doğum günü için hızlı bir kural: karekök
kanıtlanmış (yaklaşık formül)
\(1-x \approx e^{-x}\) yaklaşıklığı kullanılırsa, \(n\) kişi ve \(N\) olası gün
için çakışma olasılığı şöyle olur:
\[ P(\text{çakışma}) \approx 1 - e^{-n(n-1)/(2N)} \qquad\Rightarrow\qquad n_{\%50} \approx \sqrt{2N\ln 2} \approx 1{,}18\sqrt{N} \]
\(N=365\) için \(1{,}18\sqrt{365}\approx 22{,}5\), yani 23 kişi. Kural yalnızca
günlere değil, her türlü "çekmece"ye uygulanır: \(N\) olasılıklı bir sistemde,
yaklaşık \(\sqrt N\) denemede bir çakışma beklenir. Bir de gerçek dünya düzeltmesi
var: doğumlar yıl içine eşit dağılmaz (bayramlarda ve hafta sonlarında daha az
doğum olur). 1970'lerde kanıtlandığı gibi, eşit olmayan her dağılım çakışma
olasılığını artırır; yani 365 günlük eşit model, gerçeğe göre
temkinli bir tahmindir.
6. Doğum günü saldırısı: şifrelemede karekök kuralı
araç-veri
Dijital imzalar ve parola sistemleri, bir dosyayı sabit uzunlukta bir "parmak
izine" dönüştüren özet fonksiyonlarını (hash function) kullanır.
Güvenlik, iki farklı dosyanın aynı parmak izini vermesinin (çakışma, collision)
pratikte imkânsız olmasına dayanır. Parmak izi \(b\) bit uzunluğundaysa
\(N=2^b\) olası değer vardır; ama doğum günü kuralı gereği bir çakışma bulmak için
\(2^b\) değil, yalnızca yaklaşık \(2^{b/2}\) deneme yeter.
| Özet fonksiyonu | Çıktı | Doğum günü sınırı | Durum |
| MD5 | 128 bit | \(\approx 2^{64}\) | 2004'te çakışma bulundu, terk edildi |
| SHA-1 | 160 bit | \(\approx 2^{80}\) | 2017'de ilk pratik çakışma (yaklaşık \(2^{63}\) işlem), terk edildi |
| SHA-256 | 256 bit | \(\approx 2^{128}\) | bugün güvenli kabul ediliyor |
Tasarımcılar bu yüzden çıktı uzunluğunu, hedefledikleri güvenlik düzeyinin iki
katı seçer. Şifrelemenin diğer yüzü için
Sezar'dan RSA'ya yazısına bakabilirsiniz.
7. Neden ısrarla yanılıyoruz?
araştırma bulguları
Psikoloji araştırmaları, Monty Hall'da yanılgının birkaç ayrı nedeni olduğunu
gösteriyor:
- Eşit olasılık yanılgısı (equiprobability bias): "İki kapı kaldı, demek ki yarı yarıya." Seçeneklerin sayısı, olasılıkları belirlemez.
- Bilginin nereden geldiğini görmemek: sunucunun kapı açması tarafsız bir rastlantı gibi algılanır; oysa sunucu bilerek davranır.
- Pişmanlık korkusu ve sahiplenme: değiştirip kaybetmek, kalıp kaybetmekten daha acı verici bulunur. Donald Granberg ve Thad Brown'ın 1995'teki deneylerinde katılımcıların büyük çoğunluğu ilk seçiminde kaldı.
- Sorunun biçimi: Gigerenzer ve Hoffrage'ın gösterdiği gibi, olasılıklar "1000 kişiden 10'u" biçiminde, yani doğal sıklıklarla anlatıldığında doğru cevap oranı belirgin biçimde artar.
Güvercin deneyi ve dil modelleriyle yapılan denemeler aynı noktaya işaret ediyor:
deneyimden öğrenmek ile bir kalıbı tanıyıp ezber cevabı vermek farklı şeylerdir.
8. Simülasyon bir kanıt mıdır?
büyük sayılar yasası kanıtlanmış
Erdős'ü ikna eden şey simülasyondu, ama simülasyon bir kanıt değildir. Büyük
sayılar yasası, deneme sayısı arttıkça gözlenen oranın gerçek olasılığa
yaklaşacağını garanti eder; ancak sonlu sayıda denemeden yalnızca bir
tahmin ve bir hata payı çıkar. 10.000 turda değiştirenin oranı
yirmi denemenin on dokuzunda %65,7 ile %67,6 arasında çıkar; tam \(2/3\) olduğunu söyleyen ise
yukarıdaki Bayes hesabıdır. İki yöntem birbirini tamamlar: simülasyon sezgiyi
düzeltir ve hataları yakalar, kanıt kesinlik verir.
Kollatz Konjektürü
yazısında aynı ayrımın çok daha keskin bir örneği var: \(2^{71}\)'e kadar denenen
bir iddia hâlâ kanıtlanmış sayılmıyor.