Matematikte bir çözümün doğru olması zorunludur; fakat matematikçiler için çoğu zaman yeterli değildir. Aynı sonuca ulaşan iki kanıttan biri sayfalarca hesap, istisna ve teknik manevra gerektirirken diğeri birkaç satırda meselenin kalbini açığa çıkarıyorsa, ikinci çözüm yalnızca kısa değil, “zarif” sayılır. Buradaki güzellik süsleme anlamına gelmez. Tersine, gereksiz olan her şeyin atılması ve problemin çıplak yapısının görünür hâle gelmesidir.
Zarafet ne işe yarar?
İlk bakışta matematiksel zarafet bir beğeni meselesi gibi görünebilir. Sonuç doğruysa çözümün güzel olup olmaması neden önemlidir? Çünkü iyi bir çözüm yalnızca sonucu doğrulamaz; sonucun neden doğru olmak zorunda olduğunu da gösterir. Uzun bir hesap bizi hedefe taşıyabilir, ancak zarif bir kanıt çoğu zaman hedef ile başlangıç arasındaki gizli köprüyü görünür kılar. Böylece tek bir problem çözülmekle kalmaz, benzer problemlerde kullanılabilecek genel bir fikir kazanılır.
Klasik örneklerden biri, ilk yüz doğal sayının toplamıdır. Rivayete göre küçük Gauss, sayıları tek tek toplamak yerine dizinin başını ve sonunu eşleştirdi: 1 ile 100, 2 ile 99, 3 ile 98… Her çift 101 ediyordu ve toplam 50 çift vardı. Sonuç hemen 5050 oldu. Gauss’un yaptığı yalnızca daha hızlı hesaplamak değildi. O, sayı listesinin içindeki simetriyi gördü. Zarafet tam burada doğar: İş yükünü artırmak yerine bakış açısını değiştirmekte.
Kısa olan her zaman güzel midir?
Hayır. Bir çözüm kısa olduğu hâlde anlaşılmaz, kırılgan veya yanıltıcı olabilir. Bazı kanıtlar temel adımları gizleyerek kısalır; bu, matematiksel zarafet değil, entelektüel bavula eşyaları zorla tıkıştırmaktır. Gerçek zarafet üç niteliği dengeler: doğruluk, açıklık ve ekonomi. Hiçbir mantıksal halka eksik olmamalı, kullanılan fikir görünür olmalı ve gereksiz adımlar bulunmamalıdır. Dolayısıyla amaç en az sembolü kullanmak değil, en az zihinsel sürtünmeyle en fazla kavrayışı üretmektir.
Öklid’in asal sayıların sonsuzluğuna ilişkin kanıtı bu dengeyi olağanüstü biçimde kurar. Asal sayıların sonlu olduğunu varsayalım. Hepsini çarpıp sonuca 1 ekleyelim. Elde edilen yeni sayı, listedeki asalların hiçbirine tam bölünemez; çünkü her bölmede 1 kalanını verir. O hâlde ya kendisi asaldır ya da listede bulunmayan asal çarpanlara sahiptir. Varsayım çöker. Binlerce sayıyı incelemek yerine tek bir düşünce hamlesi, sonsuzluğu masaya getirir.
Güzellik gerçeğin pusulası olabilir mi?
Bilim tarihinde birçok düşünür güzel teorilerin doğru olmaya daha yatkın olduğunu savunmuştur. Simetri, sadelik ve birleş tirici güç gerçekten de verimli ipuçlarıdır. Fakat güzellik bir kanıt değildir. Evren bizim estetik tercihlerimize uymak zorunda değildir; matematikte de hoş görünen bir örüntü istisnalar karşısında dağılabilir. Zarafet, gerçeği seçen bir yargıçtan çok araştırmayı yönlendiren bir pusuladır. Yolu gösterebilir, fakat varış noktasına ulaşıldığını mantıksal denetim belirler.
Üstelik güzel çözüm çoğu zaman ilk çözüm değildir. Matematikçi önce kaba kuvvetle ilerler, örnekleri dener, yanlış yollara sapar ve sayfaları karalar. Ardından çözümün iskeletini fark ederek fazlalıkları temizler. Okuduğumuz pürüzsüz kanıt, düşüncenin savaş alanını saklayan son metindir. Bu nedenle zarafet, zahmetsizlik değil; emeğin görünmez hâle gelmesidir. Bir dansçının kolay görünmesi, yerçekiminin iptal edildiği anlamına gelmez.
Matematiksel güzelliğin en güçlü yanı, zihne şu disiplini öğretmesidir: Bir problemi çözmekle yetinme; onu hangi yapının çözülebilir kıldığını sor. Hesabı tamamlamak sonuç verir, fakat örüntüyü görmek yöntem kazandırır. Zarif çözüm, doğru cevabın üzerine atılmış estetik bir kurdele değildir. O, doğruluğun iç mimarisidir. İyi matematik “İşte cevap” der; güzel matematik ise biraz daha ileri gider ve “Başka türlü olması zaten mümkün değildi” hissini uyandırır.
Kuantum fiziğinin gelişimi, bilimde dev bir ileri adımı, “klasik” fiziğin aptallaştırıcı mekanik determinizmden kesin bir kopuşu temsil etti. Bunun yerine çok daha esnek ve dinamik –yani tek kelimeyle diyalektik– bir doğa görüşüne sahibiz. İlkin küçücük bir ayrıntı, neredeyse bir anekdotmuş gibi görünen kuantumun varlığını Planck’ın keşfetmesiyle birlikte, fiziğin tüm çehresi dönüşüme uğradı. Radyoaktif dönüşüm olgusunu açıklayabilen ve spektroskopinin karmaşık verilerini ayrıntılarıyla analiz edebilen yeni bir bilim söz konusuydu. Bu da doğrudan doğruya yepyeni bir bilimin kurulmasına yol açtı; eskiden çözümsüz kalan sorunları çözme yeteneğindeki teorik kimya. Yeni kalkış noktası benimsenir benimsenmez, genelde bütün bir teorik zorluklar yığını bertaraf ediliyordu. Yeni fizik, atom çekirdeğine hapsolmuş şaşırtıcı kuvvetleri ortaya çıkardı. Bu ise doğrudan doğruya nükleer enerjinin –dünyadaki yaşamın potansiyel imhasına giden yolun– istismarını ya da nükleer füzyonun barışçıl kullanımı sayesinde akla hayale sığmaz, sınırsız bir bolluk ve toplumsal ilerleme manzarasını beraberinde getirdi. Einstein’ın görelilik teorisi, kütle ve enerjinin eşdeğer olduğunu açıklar. Eğer bir cismin kütlesi biliniyorsa, bunu ışık hızının karesiyle çarptığımızda enerji haline gelir.