Goldbach Sanısı: Söylemesi En Kolay, Kanıtlaması En Zor Problemlerden Biri

Bir Mektupta Doğan Soru

1742 yılında, Prusyalı matematikçi Christian Goldbach, dönemin en büyük matematikçisi Leonhard Euler'e (evet, yine Euler!) bir mektup yazdı. Mektubunda basit bir gözlemini paylaştı. Bu gözlem, bugün modern biçimiyle şöyle ifade edilir:

2'den büyük her çift sayı, iki asal sayının toplamı olarak yazılabilir.

Bu kadar. Bir cümle. Hadi deneyelim:

• 4 = 2 + 2
• 6 = 3 + 3
• 8 = 3 + 5
• 10 = 3 + 7 (ya da 5 + 5)
• 12 = 5 + 7
• 20 = 3 + 17 (ya da 7 + 13)
• 100 = 3 + 97 (ya da 11 + 89, 17 + 83...)

Ne denerseniz deneyin, işe yarıyor gibi görünüyor. Büyük çift sayılar için genellikle birden çok asal çifti bulunuyor. İddia o kadar basit ve o kadar doğru görünüyor ki, kanıtlamanın kolay olması beklenir. Ama işte matematiğin en sinsi tuzaklarından biri burada.

Görünürdeki Basitlik, Gerçek Zorluk

Goldbach Sanısı, 280 yıldan fazla zamandır kanıtlanamadı. Tarihin en büyük matematikçileri uğraştı, ama kimse genel bir ispat bulamadı. Bir ilkokul öğrencisinin anlayabileceği bir iddia, en derin matematik araçlarına bile direniyor.

Peki neden bu kadar zor? Sorun şu: Asal sayıların dağılımı, daha önce Riemann Hipotezi'nde gördüğümüz gibi, son derece düzensiz ve gizemlidir. "Her çift sayı için mutlaka uygun bir asal çifti vardır" demek, asalların sonsuz büyüklükteki sayılar arasında her zaman doğru yerde belireceğini garanti etmektir. Sonlu sayıda örnekle test etmek kolaydır; ama sonsuz tüm çift sayılar için kesin bir kanıt vermek bambaşka bir iştir.

Bilgisayarlar Ne Diyor?

Modern bilgisayarlar, Goldbach Sanısı'nı akıl almaz büyüklükteki sayılara kadar test etti. 2020'lerde yapılan kontroller, sanının 4 × 10¹⁸'e (4 kentilyon) kadar olan tüm çift sayılar için doğru olduğunu gösterdi. Tek bir istisna bile çıkmadı.

Ama daha önce de vurguladığımız gibi: Matematikte bu bir kanıt değildir. "Dört kentilyona kadar doğru" demek, "sonsuza kadar doğru" demek değildir. Bir gün, hayal edemeyeceğimiz kadar büyük bir çift sayının iki asalın toplamı olarak yazılamadığı ortaya çıkabilir (çok olası görünmese de). Matematik, "şimdiye kadar hep işe yaradı" ile yetinmez; istisnasız her durum için bir ispat ister.

"Zayıf" Goldbach: Kısmi Bir Zafer

Sanının yakın bir akrabası daha vardır: Zayıf Goldbach Sanısı. Bu, "5'ten büyük her tek sayı, üç asal sayının toplamı olarak yazılabilir" der (örneğin 7 = 3 + 2 + 2).

İşte güzel haber: Zayıf versiyon 2013'te Peruvlu matematikçi Harald Helfgott tarafından kanıtlandı! Bu büyük bir başarıydı. Ama dikkat: Zayıf versiyonun kanıtlanması, asıl ("güçlü") Goldbach Sanısı'nı kanıtlamaz. Güçlü sanı (iki asal) hâlâ açık duruyor. İsimlerinden de anlaşılacağı gibi, güçlü olanı kanıtlamak çok daha zordur.

Niçin Uğraşıyoruz?

"Her çift sayı iki asalın toplamıdır" demenin pratik bir faydası var mı? Doğrudan, pek yok. Ama Goldbach Sanısı gibi problemlerin asıl değeri başka yerdedir:

• Yeni matematik doğurur: Tıpkı Fermat'nın Son Teoremi'nde olduğu gibi, böyle bir problemi çözmeye çalışmak, yol boyunca yepyeni teoriler ve teknikler geliştirmemizi sağlar.
• Asal sayıları anlamak: Goldbach, asalların dağılımına dair derin sorularla iç içedir. Asalları daha iyi anlamak ise doğrudan kriptografiyle (internet güvenliği) bağlantılıdır.
• Matematiğin doğasını gösterir: Basit görünen bir ifadenin nasıl bu kadar zor olabileceği, sezgi ile kanıt arasındaki uçurumu çarpıcı biçimde ortaya koyar.

Sonuç

Goldbach Sanısı, matematiğin en sevimli ve en sinir bozucu problemlerinden biri. Söylemesi bir çocuğun anlayacağı kadar kolay, kanıtlaması ise üç asra meydan okuyacak kadar zor. Asalların gizemli dünyasında, en sade soruların bile derin sırlar saklayabileceğinin canlı bir kanıtı.

Belki bir gün birisi o ispatı bulacak. O ana kadar, bir sonraki çift sayıyı gördüğünüzde içinizden onu iki asala bölmeyi deneyin — büyük ihtimalle başaracaksınız. Ama "her zaman başarılır mı?" sorusu, hâlâ matematiğin cevapsız hazinelerinden biri.