abc Sanısı ve Mochizuki: Kimsenin Anlayamadığı Bir İspatın Tuhaf Hikâyesi

Toplama ve Çarpmayı Birbirine Bağlayan Soru

Matematikteki sayılarla iki temel işlem yaparız: toplama ve çarpma. Tuhaf bir şekilde, bu iki işlem birbirinden oldukça bağımsız davranır. Bir sayının asal çarpanlarını bilmek (çarpma dünyası), onun toplama özellikleri hakkında pek bir şey söylemez. İşte abc sanısı, tam da bu iki dünya arasında beklenmedik, derin bir köprü kurmaya çalışır.

Sanıyı kabaca anlatalım. Toplamları birbirini tutan üç sayı alın: $a + b = c$ (ve ortak çarpanları olmasın). abc sanısı şunu söyler: bu üç sayının asal çarpanları küçük ve tekrarlı olamaz; yani $a$, $b$, $c$'nin çarpanları "çok sıkışık" olduğunda, bu durum son derece nadirdir. Daha somut olarak: $c$, genellikle $a$, $b$, $c$'nin farklı asal çarpanlarının çarpımından çok daha büyük olamaz.

Bu kulağa basit gelse de, sonuçları muazzamdır. Eğer abc sanısı doğruysa, sayı teorisinin pek çok zorlu sonucu — hatta Fermat'nın Son Teoremi'nin bazı biçimleri bile — neredeyse kendiliğinden takip eder. Bu yüzden abc, modern sayı teorisinin en merkezi açık problemlerinden biri sayılır.

500 Sayfalık Bomba

$2012$'de, Japon matematikçi Shinichi Mochizuki internete sessizce dört uzun makale yükledi — toplam 500 sayfadan fazla. İddiası sıradan değildi: abc sanısını kanıtladığını söylüyordu. Eğer doğruysa, bu matematik tarihinin en büyük başarılarından biri olurdu.

Ama bir sorun vardı. Mochizuki, ispatını kanıtlamak için sıradan matematik araçlarını kullanmamıştı. Onun yerine, yıllarca tek başına çalışarak inşa ettiği tamamen yeni bir kuram geliştirmişti: Evrenlerarası Teichmüller Kuramı (kısaca IUT). Bu kuram o kadar yeni, o kadar yabancı bir dil ve kavram seti kullanıyordu ki, dünyanın en iyi sayı teorisyenleri bile makaleleri okuduğunda ne dediğini anlayamadı.

Bir İspat, "Anlaşılana Kadar" İspat mıdır?

İşte bu, matematik dünyasında alışılmadık ve derin bir kriz yarattı. Normalde bir ispat yayımlanır, uzmanlar okur, kontrol eder ve "doğru" ya da "yanlış" derler. Ama Mochizuki'nin ispatı bu sürece direndi. Onu anlamak için önce yüzlerce sayfalık yeni kuramı baştan öğrenmek gerekiyordu ve çok az kişi bunu yapabildi (ya da yapmak istedi).

Yıllar süren tartışmalar oldu. Bazı matematikçiler, ispatın kritik bir adımında (ünlü "Eşitsizlik" bölümünde) gerçek bir boşluk olduğunu öne sürdü; en tanınmışları arasında Peter Scholze ve Jakob Stix, $2018$'de Mochizuki'yi ziyaret edip bu noktada anlaşamadan ayrıldı. Mochizuki ise bu eleştirileri, "kuramı yanlış anlamaktan" kaynaklandığını söyleyerek reddetti. İspat, Japonya'daki bir dergide $2021$'de yayımlandı — ama uluslararası matematik camiasının büyük kısmı hâlâ ikna olmuş değil.

Bu Hikâye Bize Ne Anlatır?

abc sanısının durumu, matematiğin sandığımızdan daha insani bir uğraş olduğunu gösterir. Bir ispatın "doğru" sayılması için, sadece kâğıt üzerinde tutarlı olması yetmez; bir topluluğun onu okuyup, anlayıp, üzerinde uzlaşması gerekir. Matematiksel hakikat soğuk ve mutlak görünür, ama ona ulaşmanın yolu insanlar arası bir anlama ve güven sürecinden geçer.

Mochizuki'nin kuramı bir gün doğrulanır mı, yoksa bir boşluk mu bulunur — bunu zaman gösterecek. Belki yeni bir matematikçi kuşağı IUT'yi öğrenip onu anlaşılır kılacak; belki de farklı bir yoldan abc'nin daha sade bir ispatı gelecek.

abc sanısı hikâyesi, matematiğin sınırında garip bir manzara sunar: belki de çağımızın en önemli ispatlarından biri elimizde duruyor, ama onu okuyabilecek bir avuç insan var. Bu, bilginin yalnızca üretilmesinin değil, paylaşılıp anlaşılmasının da ne kadar kritik olduğunu hatırlatır. Bir hakikat, kimse anlayamıyorsa, gerçekten "bilinmiş" sayılır mı?