284 Yıldır Çözülemeyen Problem: Goldbach Sanısı

7 Haziran 1742'de Prusyalı matematikçi Christian Goldbach, Leonhard Euler'e bir mektup yazdı. Goldbach, sayıların doğasına dair ilginç bir gözlem yapmıştı. Euler, mektubu okuduktan sonra bu gözlemi bugün bildiğimiz biçimde ifade etti. Aslında çok basit bir ifade: 2'den büyük her çift tam sayı, iki asal sayının toplamıdır. Sadece toplama işlemi ve asal sayılardan ibaret bir ifade. Ama bu basitlik, tarihin en büyük entelektüel tuzaklarından birine dönüştü.

Asal sayıları matematiğin parçaları olarak düşünebiliriz. Diğer tüm sayılar bu parçaların çarpımından oluşur. Ancak asal sayılar, sayı doğrusu üzerinde rastgele saçılmışlardır. Goldbach Sanısı’nın zorluğu şuradadır: Toplama işlemi ile çarpma işleminin temeli olan asal sayılar arasında doğrudan bir bağ kurmak çok zordur. Düzenli çift sayılar ile kaotik asal sayılar arasındaki bu köprüyü kuracak matematiksel araçlara da henüz sahip değiliz.

Gelişmiş bilgisayarlar bu sanıyı 4 kentilyon sayısına kadar test etti. Tek bir istisna bile bulunamadı. Peki neden hâlâ buna sanı diyoruz ve teorem diyemiyoruz? Çünkü matematikte sonsuzluk, bilgisayarın hızından daha büyüktür. Eğer bir gün birisi 4 kentilyondan büyük bir sayının iki asalın toplamı olmadığını kanıtlayabilirse, Goldbach Sanısı çöker.

Yüzyıllar süren sessizlik, 20. ve 21. yüzyılda bazı matematikçiler tarafından bozuldu. Viggo Brun 1919 yılında her büyük çift sayının, en fazla 9 asal çarpanı olan iki sayının toplamı olduğunu ispat etti. Chen Jingrun 1966'da Chen Teoremi ile her büyük çift sayının, bir asal sayı ve bir yarı-asal sayının toplamı olduğunu kanıtladı. Zirveye çok yaklaşmıştı ama hala o son adım atılamadı. Harald Helfgott ise 2013'te 5'ten büyük her tek sayının üç asalın toplamı olduğunu tamamen kanıtlayarak matematik dünyasında bir devrim yarattı. Bu, Goldbach'ın zayıf sanısı olarak biliniyordu. Ancak Güçlü Goldbach Sanısı hâlâ çözüm bekliyor.

Peki bu problemi çözmek ne işimize yarayacak. Goldbach Sanısını çözmeye çalışırken geliştirilen yöntemler, bugün internet bankacılığını koruyan kriptografi sistemlerinin, karmaşık veri analizlerinin ve kuantum fiziği hesaplamalarının temelini oluşturuyor. Biz bir problemi çözmeye çalışırken, aslında evrenin sayısal dilini öğreniyoruz.

Goldbach Sanısı, matematiğin sadece bir hesaplama değil, aynı zamanda sanat olduğunun kanıtı gibi. 280 yıldır çözülememiş olması, çözümün imkânsız olduğunu değil, bizim henüz o seviyeye ulaşamadığımızı gösteriyor.