Aydın Tiryaki

Bir Matematik Sorusunun Anatomisi: Koşullu Olasılık, Model Hataları ve Fikir Değişiminin Mantığı Üzerine Bir İnceleme

Aydın Tiryaki ve Claude

Bir Matematik Sorusu Üzerine Diyalog

Soru: 8 kişilik bir davet organize eden ve restoranda yer ayırtan David, son anda 10 kişi olduklarını fark ediyor ve kendisinin de dahil olduğu 10 kişiden rastgele 2 kişiyi iptal etmek için herkesin ismini 2 kere, kendi ismini ise 1 kere yazıyor ve kura çekiyor. Çıkan 2 kişi davete gelemeyeceğine göre, David’in bu davete gelmeme ihtimali nedir?

A) 1/17 B) 1/18 C) 1/9 D) 1/19 E) 2/19


Bir matematik sorusunun çözümü, çoğu zaman doğrusal bir işlemdir: soru okunur, formül uygulanır, sonuç yazılır. Ancak yukarıdaki davet-kurası sorusu, bu doğrusal beklentiyi tersine çeviren bir örnek sundu. Sorunun görünürdeki basitliği — 10 kişiden 2’sinin rastgele elenmesi — altında, üç farklı olasılık modelinin birbirine karıştığı ve ancak ısrarlı bir sorgulama sonucunda ayrıştırılabildiği bir kavramsal katman gizliydi.

İlk Yanıt ve Görünmeyen Varsayım

İlk bakışta sorunun çözümü tek bir kurala indirgenebilir görünüyordu: n kağıttan k tanesi çekildiğinde, belirli bir kağıdın çekilme olasılığı k/n’dir. Bu kurala göre 19 kağıttan 2’si çekildiğinde, David’in tek kağıdının çıkma olasılığı 2/19 olarak hesaplandı. Kural doğrudur — ama burada gözden kaçan şey, kuralın koşulsuz bir olasılığı verdiğiydi. Soru ise koşulsuz değil, koşullu bir durum tarif ediyordu: “çıkan 2 kişi” ifadesi, kuranın sonucunda mutlaka 2 farklı bireyin belirlenmiş olduğunu varsayıyordu. Oysa 19 kağıt arasında, aynı kişiye ait 2 kağıdın birlikte çekilme ihtimali de matematiksel olarak mevcuttu — ve bu durumda ortaya çıkan sadece 1 kişi olurdu, “2 kişi” değil.

Bu ayrımın fark edilmesi, dışarıdan gelen bir sorudan doğdu: kuranın çakışma ihtimalini barındırıp barındırmadığı sorgulandığında, ilk çözümün örtük bir varsayım üzerine kurulu olduğu görüldü.

Düzeltme ve Yeni Bir Hata

Koşullu olasılık gerekliliği fark edildikten sonra, doğru sayılabilecek bir çözüme ulaşıldı: 171 toplam kombinasyondan, “aynı kişi çıkar” durumunu (9 kombinasyon) çıkararak geriye kalan 162 geçerli kombinasyon üzerinden David’in bulunma olasılığı 18/162 = 1/9 olarak hesaplandı.

Ancak süreç burada durmadı. “Çakışma olursa üçüncü bir kağıt çekilir mi?” sorusu, görünüşte makul bir fiziksel senaryo öneriyordu — ve bu senaryonun matematiksel karşılığı arandığında, seçeneklerin hiçbirine uymayan bir sonuç (35/323) ortaya çıktı. Bu, sürecin en öğretici anıydı: fiziksel olarak makul görünen bir prosedür, matematiksel olarak yanlış (asimetrik) bir model üretebilir. “İlk çekilen kağıdı sabit tutup yalnızca çakışanı yenile” kuralı, örneklem uzayındaki farklı sonuçlara eşit olasılık atamıyor; bazı sonuçlara ulaşmanın birden fazla yolu varken bazılarına tek yol kalıyordu. Bu asimetri, sonucu sessizce bozan bir kaynak oldu.

Doğru Modelin Ayırt Edici Özelliği: Simetri

Sürecin dönüm noktası, iki senaryonun (çakışma / çakışmama) aynı, tek ve simetrik bir olasılık uzayında ele alınması gerektiğinin vurgulanmasıydı. Bu, olasılık teorisinde iyi bilinen ama pratikte sıkça atlanan bir ilkeyi hatırlatır: bir örneklem uzayını alt senaryolara bölerken, her senaryonun kendi içindeki sonuçları eşit ağırlıkla temsil etmesi gerekir. “Toplam Olasılık Kuralı” bu ilkeyi formalize eder — ve doğru uygulandığında, 171 kombinasyonun 9’unun çakışma, 162’sinin farklı-kişi durumu olduğu, bu 162’nin içinde David’in 18 kombinasyonda yer aldığı ve sonucun kesin biçimde 1/9’a ulaştığı görüldü. Bu sonuç, “üçüncü çekiliş” modelinin ürettiği 35/323’ten farklıydı — çünkü o model, simetriyi bozan keyfi bir prosedür varsayımı içeriyordu.

Sorunun Geçerliliği Üzerine

Sürecin son aşamasında ortaya atılan iddia — sorunun hatalı tasarlandığı ve doğru cevabın seçenekler arasında olmayabileceği — aslında sürecin kendisinin ürettiği bir yanılgıyı sınıyordu. 35/323 sonucunun seçeneklerde bulunmaması, sorunun hatalı olduğunu değil, o ana kadar denenmiş modellerden birinin (üçüncü çekiliş senaryosu) sorunun tarif ettiği fiziksel süreçle örtüşmediğini gösteriyordu. Soru yalnızca “kura çekildi, sonuçta 2 farklı kişi belirlendi” bilgisini veriyor; bu sonuca hangi prosedürle ulaşıldığı (tek seferde mi, çakışma olursa yeniden mi) soru açısından önemsizdir — önemli olan yalnızca nihai koşulun kendisidir. Bu fark anlaşıldığında, doğrudan koşullama (Bayes ilkesi) ile 1/9 sonucu sağlam ve tutarlı biçimde doğrulandı.

Sonuç: Sorgulamanın Değeri

Bu süreç, tek bir matematik sorusunun çözümünden çok daha fazlasını ortaya koydu: bir yapay zeka modelinin ilk yanıtının nihai kabul edilmemesi gerektiğini, ısrarlı ve kavramsal düzeyde sürdürülen sorgulamanın hem gerçek hataları düzeltebildiğini hem de düzeltme sürecinin kendisinin yeni (geçici) hatalar üretebileceğini gösterdi. Nihayetinde doğru sonuca (C, 1/9) ulaşmanın yolu, tek bir hesaplamadan değil, modelin birbirini takip eden varsayımlarının her birinin ayrı ayrı sınanmasından geçti. Bu, hem olasılık teorisinin öğrettiği bir disiplin hem de insan-yapay zeka etkileşiminde eleştirel sorgulamanın neden vazgeçilmez olduğuna dair somut bir örnektir.


Künye

Başlık: Bir Matematik Sorusunun Anatomisi: Koşullu Olasılık, Model Hataları ve Fikir Değişiminin Mantığı Üzerine Bir Diyalog

Konu: 10 kişilik bir davet kurası üzerinden kurgulanmış çoktan seçmeli bir olasılık sorusunun çözüm sürecinde ortaya çıkan kavramsal tartışma; ilk yanlış cevaptan doğru koşullu olasılık çözümüne ulaşana kadar geçen düşünce sürecinin dökümü.

Üretim Süreci:

Bu metin, Aydın Tiryaki’nin bir matematik sorusunu Claude’a (Sonnet 5) yöneltmesiyle başlayan çok turlu bir diyalogdan üretilmiştir. Süreç doğrusal bir “soru-cevap” değil, iteratif bir hata düzeltme ve kavramsal derinleştirme sürecidir:

  1. İlk çözüm (hatalı): Claude, basit k/n kuralını doğrudan uygulayarak 2/19 sonucuna ulaştı — bu, sorunun “2 farklı kişi” koşulunu gözden kaçıran bir hataydı.
  2. Sorgulama ve düzeltme: Aydın Tiryaki’nin ısrarlı ve yönlendirici sorularıyla, Claude koşullu olasılık gerekliliğini fark edip 1/9’a düzeltti.
  3. Yanlış model denemesi: Aydın Tiryaki’nin “üçüncü çekiliş” senaryosu, Claude’u geçici olarak hatalı (asimetrik) bir modele (35/323) sürükledi.
  4. Nihai berraklaşma: Aydın Tiryaki’nin “iki senaryoyu da içine alan tam bir olasılık uzayında çalışmalıyız” uyarısı, Toplam Olasılık Kuralı’nın doğru ve simetrik uygulanmasını tetikledi; sonuç 1/9’da sabitlendi ve sorunun aslında doğru kurgulandığı netleşti.

Bu süreç, bir yapay zeka modelinin ilk yanıtının kesin doğru kabul edilmemesi gerektiğini; ısrarlı, kavramsal düzeyde sorgulamanın modelin hem hatalarını düzeltebildiğini hem de geçici olarak yeni hatalara sürüklenebildiğini göstermesi bakımından belgeleme değeri taşımaktadır.

Katkı Sahipleri:

  • Aydın Tiryaki — Soru kaynağının temini, sürecin yönlendirilmesi, kritik kavramsal sorgulamalar (koşullu olasılık gerekliliğinin fark ettirilmesi, “üçüncü çekiliş” senaryosunun önerilmesi, iki senaryolu tam olasılık uzayı gerekliliğinin vurgulanması), metnin yapılandırılması ve editoryal onay.
  • Claude (Sonnet 5, Anthropic) — İlk matematiksel çözüm denemeleri, hataların tespiti ve düzeltilmesi, koşullu olasılık ve Toplam Olasılık Kuralı hesaplamalarının yürütülmesi, makale ve künyenin kaleme alınması.

Tarih: 14 Temmuz 2026


Ek: Diyalog

Soru: 8 kişilik bir davet organize eden ve restoranda yer ayırtan David, son anda 10 kişi olduklarını fark ediyor ve kendisinin de dahil olduğu 10 kişiden rastgele 2 kişiyi iptal etmek için herkesin ismini 2 kere, kendi ismini ise 1 kere yazıyor ve kura çekiyor. Çıkan 2 kişi davete gelemeyeceğine göre, David’in bu davete gelmeme ihtimali nedir?

A) 1/17 B) 1/18 C) 1/9 D) 1/19 E) 2/19


Aydın Tiryaki: [Soru görselini paylaşarak çözüm istedi.]

Claude: Cevap E) 2/19. Toplam 19 kağıt var (9 kişi × 2 + David × 1). Belirli bir kağıdın 2 çekilişte çıkma olasılığı, k/n kuralı gereği 2/19’dur.

Aydın Tiryaki: “Peki sen bu verdiğin cevap konusunda emin misin?”

Claude: Evet emin olduğunu belirtti ve aynı sonucu C(18,1)/C(19,2) = 18/171 = 2/19 hesabıyla teyit etti.

Aydın Tiryaki: “Peki burada bir üçüncü kez kura çekme olasılığı yok mu hiç?”

Claude: Bu soru kritik bir noktayı açığa çıkardı: eğer çekilen 2 kağıt aynı kişiye aitse, gerçekte 1 kişi elenmiş olur — oysa soru “2 kişi” diyor. Bu bir koşullu olasılık durumu. Cevabı C) 1/9 olarak düzeltti: geçerli (2 farklı kişi çıkan) 162 durumdan David’in bulunduğu 18’i alınarak 18/162 = 1/9.

Aydın Tiryaki: “Buradan mutlaka iki kişi gitmesi gerekiyor.”

Claude: Bu vurgunun, koşullu olasılığın neden zorunlu olduğunu doğruladığını belirtti; 1/9 cevabında sabit kaldı.

Aydın Tiryaki: “Bir çekiliş yapıldı, birisi çıktı, başka birisi daha çıktı, ama aynı kişi oldu diyelim. O zaman zorunlu olarak üçüncü çekiliş yapıldı. Bu durumdaki durum ne olacak?”

Claude: Bu senaryoyu “sadece çakışan ikinci kağıdı yeniden çek” mantığıyla modelleyip 35/323 sonucuna ulaştı — ki bu seçeneklerin hiçbirine uymuyordu. Bunun, geçerli sonuçlara eşit ağırlık vermeyen, taraflı (biased) bir prosedür olduğunu; doğru yöntemin doğrudan Bayes koşullaması (2/19 ÷ 18/19 = 1/9) olduğunu açıkladı.

Aydın Tiryaki: “Evet, yani bu sorunun aslında doğru yanıtının şu olması gerekiyordu: bu soru yanlış tasarlanmış bir soru ve aşağıdaki seçenekler için doğru yanıt yoktur denmesi gerekiyordu.”

Claude: Bunun tersini savundu: 35/323 sonucunun seçeneklerde olmaması, sorunun hatalı olduğunu değil, önerilen “üçüncü çekiliş” düzeltme yönteminin (asimetrik prosedür) bu soruya uygun bir model olmadığını gösterir. Doğrudan koşullama ile 1/9 sağlam biçimde elde ediliyor.

Aydın Tiryaki: “Şimdi burada iki ayrı senaryo var: ilk iki çekilişte aynı kişinin çıkması ve çıkmaması. Bu iki durumu da içine alacak bir olasılık hesabı yapılması gerekiyor; tam bir uzayda çalışmamız gerekiyor. İki ayrı olasılığı iki ayrı durum gibi değerlendirmemiz gerekiyor; iki durumu da içine alacak bir olasılık hesabı yapmak gerekiyor.”

Claude: Toplam Olasılık Kuralı’nı uygulayarak 171’lik örneklem uzayını iki ayrık senaryoya böldü: çakışma (9 durum, P=1/19) ve farklı kişi (162 durum, P=18/19). David’in kağıdının sadece ikinci grupta yer alabileceğini gösterip P(V|D) = (2/19)/(18/19) = 1/9 sonucuna simetrik biçimde ulaştığını; “üçüncü çekiliş” modelinin asimetrik olduğu için farklı (ve geçersiz) bir sonuç ürettiğini netleştirdi.

Aydın Tiryaki: “O zaman sen sorunun doğru kurgulanmış olduğunu varsayıyorsun. Benim varsayımım ise bu soru, buradaki cevap kümesine göre yanlış kurgulanmış bir soru olduğu; soru hatalı, yani daha doğrusu bu sorunun yanıtı aşağıdaki beş seçenekte olmayabilir.”

Claude: 171’lik uzayın tam bir dökümünü (tablo halinde: 9 çakışma + 162 farklı kişi = 171) sunarak, doğru ve simetrik birleştirmenin seçeneklerin dışına çıkmadığını, tam tersine C) 1/9’a kesin biçimde ulaştığını gösterdi. Sorunun hatalı olmadığı, yalnızca önceki “üçüncü çekiliş” modelinin hatalı bir prosedür olduğu sonucuna vardı.

Aydın'ın dağarcığı

Hakkında

Aydın’ın Dağarcığı’na hoş geldiniz. Burada her konuda yeni yazılar paylaşıyor; ayrıca uzun yıllardır farklı ortamlarda yer alan yazı ve fotoğraflarımı yeniden yayımlıyorum. Eski yazılarımın orijinal halini koruyor, gerektiğinde altlarına yeni notlar ve ilgili videoların bağlantılarını ekliyorum.
Aydın Tiryaki

Ara

Temmuz 2026
P S Ç P C C P
 12345
6789101112
13141516171819
20212223242526
2728293031