Matematiksel kanıt çoğu kişiye soğuk bir mahkeme tutanağı gibi görünür: varsayımlar çağrılır, önermeler sorgulanır, sonuç hüküm giyer. Oysa iyi bir kanıt yalnızca doğruyu yakalayan bir ağ değildir; aynı zamanda zihnin karanlıkta yürürken birden ışığı bulduğu andır. Bir teoremi ispatlarken mesele sadece hedefe varmak değildir. Hangi patikadan gidildiği, hangi gereksiz yüklerin atıldığı, hangi beklenmedik kapının açıldığı da önemlidir. Çünkü matematikte güzellik, gerçeğin kendisi kadar gerçeğe varma biçiminde saklanır.
Bir kanıtı güzel yapan ilk şey ekonomidir. Kötü bir kanıt, ağır bir bavulla merdiven çıkan yolcu gibidir; her adımda nefes nefese kalır, doğruya ulaşsa bile arkasında yorgunluk bırakır. Güzel kanıt ise az araçla çok şey yapar. Sanki teorem başından beri kendini söylemek istiyormuş da biz yalnızca doğru sessizliği sağlamışız gibi. Öklid’in sonsuz asal sayı kanıtı bunun klasik örneğidir. Varsayalım asal sayılar sonlu olsun; hepsini çarpıp bir ekleyelim. Ortaya çıkan sayı ya asaldır ya da listede olmayan bir asala bölünür. Bitti. Bu birkaç satır, matematik tarihinin en zarif kılıç darbelerinden biridir.
İkinci güzellik kaynağı kaçınılmazlıktır. Bazı kanıtlarda sonuç, sanki başka türlü olamazmış gibi ortaya çıkar. Okur, başlangıçta şüpheyle oturur; sonra adım adım geri çekilir, en sonunda teoremin önünde teslim olur. Bu teslimiyet yenilgi değildir; zihnin düzenle yaptığı barıştır. İyi kanıt, bizi zorla ikna etmez. Bize kendi aklımızla köşeyi döndürür. Sonuç kapıda beklemiyordur; yol boyunca inşa edilir ve bir anda fark ederiz ki zaten içindeymişiz.
Kanıt Bir Harita Değil, Bir Koreografidir
Matematiksel ispatı yalnızca harita gibi düşünmek eksiktir. Harita hedefe götürür; kanıt ise hareket ettirir. Tanımlar sahneye girer, lemmalar kısa ama etkili roller oynar, çelişki yöntemi dramatik bir dönüş sağlar, tümevarım düzenli bir ritim tutar. Bu yüzden bazı kanıtlar okunmaz, izlenir. Bir dans gibi zamanlaması vardır. Erken söylenen bir fikir büyüyü bozar; geç gelen bir hamle sıkıcı olur. Usta matematikçi, yalnızca doğru argümanı değil, doğru sırayı da bulandır.
Burada sanatla bilim arasındaki eski duvar incelir. Bir tablo renklerle düşünür; bir sonat seslerle; bir kanıt ise zorunluluklarla. Sanat keyfi değildir, matematik de ruhsuz değildir. İkisinde de biçim ile içerik birbirine kenetlenir. Fermat’nın küçük teoremini grup teorisiyle ispatladığınızda yalnızca bir sonuç elde etmezsiniz; daha geniş bir yapının gölgesini görürsünüz. Güzel kanıt, tek bir problemi çözmez; problemi ait olduğu evrene yerleştirir.
Elbette her doğru kanıt güzel değildir. Bilgisayar destekli uzun doğrulamalar, binlerce durumu tek tek eleyen teknik ispatlar, bize kesinlik verebilir ama her zaman estetik haz vermez. Bu, onların değersiz olduğu anlamına gelmez. Bir tünel kazıcısı da değerlidir, bir köprü mimarı da. Fakat güzellik, çoğu zaman karmaşanın içinde gizli bir simetriyi yakaladığımızda doğar. Bir anda uzun hesapların arkasında tek bir fikir belirir. İşte o fikir, matematiğin yıldırım anıdır.
Kanıtın güzelliği aynı zamanda insan zihninin kendini aşma deneyimidir. İlk bakışta dağınık görünen şeylerin bir düzene bağlanabileceğini görmek, neredeyse ahlaki bir ferahlık verir. Kaosun tamamen rastgele olmadığını, doğru soruyla evrenin cevap vermeye başladığını hissederiz. Bu yüzden matematiksel güzellik yalnızca uzmanların lüksü değildir. O, düşünmenin en saf sevinçlerinden biridir: Bir şeyin neden doğru olduğunu yalnızca bilmek değil, onun doğru olmak zorunda olduğunu görmek.
Sonunda güzel kanıt bize şunu öğretir: Hakikat çıplak bir sonuç değildir; bazen yürüyüşün biçiminde parlar. Teorem varılacak limansa, ispat denizin kendisidir. Kimi denizler hırçın, kimi bulanık, kimi uzundur. Ama bazıları vardır ki, kıyıya vardığınızda geriye dönüp bakarsınız ve asıl hediyenin varış değil, dalgaların zekice düzenlenmiş ritmi olduğunu anlarsınız. Matematik orada sanata dönüşür: Kesinliğin içinde zarafet, zorunluluğun içinde özgürlük, mantığın içinde şaşırtıcı bir güzellik belirir.