Matematikte bazen uzun bir hesap, sayfalarca sembol ve birbirine dolanmış varsayımlar tek bir hamleyle açılır. Bir ifade çarpanlarına ayrılır, gereksiz terimler birbirini götürür ya da karmaşık görünen bir problem doğru değişken seçildiğinde birkaç satırlık bir yapıya dönüşür. O anda duyulan şey yalnızca “çözmüş olmanın” rahatlığı değildir. Daha garip, daha yoğun bir histir: Sanki dünyanın dağınık yüzeyinin altında saklanan düzen bir anlığına görünür olmuştur.
Bu yüzden matematiksel sadeleştirme yalnızca teknik bir işlem değildir; estetik bir yargıdır. Bir çözümün “güzel” olduğunu söylediğimizde çoğu zaman onu kısa olduğu için değil, zorunlu göründüğü için överiz. Güzel çözüm, sonradan eklenmiş hileler taşımaz. Parçaları birbirine sıkıca bağlanır. İlk bakışta şaşırtır, ikinci bakışta ise “Başka türlüsü zaten olamazdı” dedirtir. Matematiğin estetiği tam da bu iki duygu arasındaki gerilimde yaşar: sürpriz ve kaçınılmazlık.
Karmaşıklık çoğu zaman bakış açısının sonucudur
Bir problemin zor oluşu, her zaman onun özünde karmaşık olduğu anlamına gelmez. Bazen sorun, onu yanlış koordinat sisteminden görmemizdir. Bir dairenin denklemi uygun eksene taşındığında sadeleşir; bir fizik problemi enerji korunumu üzerinden kurulduğunda gereksiz kuvvet hesaplarından kurtulur; bir algoritma doğru veri yapısını seçtiğinde saatler süren işi saniyelere indirir. Nesne değişmemiştir, fakat temsil değişmiştir. Estetik haz da buradan doğar: Zihnin, görünüş ile yapı arasındaki mesafeyi kapattığını hissederiz.
Bu durum sanatta perspektifin keşfine benzer. Ressam, karmaşık bir mekânı birkaç kaçış çizgisiyle derinlik hissine dönüştürür. Matematikçi ise görünüşte bağımsız duran olguları tek bir ilke altında toplar. Newton’un gökteki Ay ile yere düşen elmayı aynı çekim yasasında birleştirmesi, sadece bilimsel olarak güçlü değildi; estetik olarak da sarsıcıydı. Evrenin iki ayrı sahnesi birdenbire aynı cümlenin içine girmişti.
En kısa çözüm her zaman en iyi çözüm değildir
Yine de sadeleştirmeyi kör bir kısalık tapıncına dönüştürmemek gerekir. Bir satırlık ispat, eğer temel fikri gizliyorsa zarif değil, kapalı olabilir. Gerçek sadelik, bilgi kaybı değildir; gereksiz yükün atılmasıdır. İyi bir matematiksel açıklama, okuyucuyu sonuca ışınlamaz. Ona hangi simetrinin fark edildiğini, hangi varsayımın belirleyici olduğunu ve hangi adımın problemi dönüştürdüğünü gösterir. Sadelik, açıklamanın düşmanı değil; onun yoğunlaşmış biçimidir.
Bu nedenle matematiksel güzellikte ölçüt yalnızca minimal sembol sayısı değildir. Genellik, simetri, açıklayıcılık ve yeniden kullanılabilirlik de önemlidir. On farklı örneği ayrı ayrı çözen yöntem etkileyici olabilir; fakat hepsini tek bir ilkeye bağlayan yöntem daha derin bir tat bırakır. Çünkü zihin, tekil başarıdan çok düzeni sever. Dağınık veriler arasında örüntü yakalamak, bilişsel olarak tasarruf sağlar; felsefi olarak ise dünyaya daha anlaşılır bir biçim verir.
Tarifsiz güzellik hissinin kaynağı belki de budur: Sade çözüm, zihne evrenin tamamen rastgele olmadığını fısıldar. Elbette bu, evrenin mutlaka insan zihnine göre tasarlandığı anlamına gelmez. Ama insan aklının, karmaşıklık içinde sıkıştırılabilir yapılar bulabilmesi başlı başına hayranlık vericidir. Bir denklemi sadeleştirirken yalnızca sembolleri azaltmayız; gürültüyü susturur, ilişkileri görünür kılar ve düşüncenin kendi içindeki mimariyi keşfederiz. Bazen en güzel şey, yeni bir şey eklemek değil, zaten orada olanı nihayet net biçimde görebilmektir.