Matematikte tuhaf bir aristokrasi vardır: Bazı kanıtlar yalnızca doğru oldukları için değil, zarif oldukları için de tahta çıkarılır. Bir denklemin çözümü kısa, berrak ve neredeyse kaçınılmaz görünüyorsa, ona karşı içimizde özel bir saygı uyanır. Sanki hakikat, iyi giyinmişse daha hakikattir. İşte burada felsefenin kapısı açılır: Bir kanıtın güzel olması, onun doğruluğuna dair ne söyler? Yoksa güzellik, zihnimizin hakikate taktığı parfüm müdür?
Matematikçinin güzel kanıt arayışı boş bir süs merakı değildir. Kısa ve güçlü bir kanıt, çoğu zaman problemin kalbine ulaşır. Gereksiz hesapların, dolambaçlı dönüşümlerin, teknik sislerin arasından geçip yapının iskeletini gösterir. Öklid’in bazı geometrik kanıtları ya da Euler’in ünlü özdeşliği gibi örnekler, sanki evrenin küçük bir an için ceketini çıkarıp omuz çizgisini gösterdiği anlardır. Güzellik burada yalnızca estetik bir haz değil, kavrayış ekonomisidir.
Fakat tehlike tam da burada başlar. Zihin, güzel olanı doğru sanmaya eğilimlidir. Simetriye, sadeliğe, düzenli kalıplara neredeyse içgüdüsel bir güven duyarız. Bu güven bizi büyük keşiflere götürebilir; ama aynı zamanda kandırabilir. Bir kanıt kısa diye güvenilir değildir. Bir çözüm çirkin diye değersiz değildir. Matematikte doğruluk mahkeme gibidir: Delil ister. Estetik ise jüriyi etkileyen güçlü ama tek başına hüküm veremeyen bir avukattır.
Bu inanç, yani doğru çözümün aynı zamanda kısa ve güzel olması gerektiği düşüncesi, Platoncu bir yankı taşır. Sanki matematiksel nesneler insan zihninden bağımsız bir idealar ülkesinde durur ve biz onlara yaklaştıkça sadelikle ödüllendiriliriz. Hakikate ne kadar yakınsak, ifade o kadar yalınlaşır. Bu düşünce büyüleyicidir; çünkü insanın kaotik dünyada düzen bulma arzusunu besler. Ama Jungiyen bir gözle bakarsak, burada aklın gölgesi de görünür: Zihin, düzen arzusunu evrene yansıtır ve sonra kendi yansımasına hakikat adını verebilir.
Bilim tarihinde bunun karşılığı çoktur. Fizikte de zarif denklemler kutsanır; matematikte de kısa ispatlar efsaneleşir. Ancak doğa ve mantık, estetik zevkimize hizmet etmek zorunda değildir. Bazı teoremlerin kanıtları sayfalarca sürebilir, bilgisayar destekli olabilir, hatta insan sezgisine ilk bakışta hiç hoş görünmeyebilir. Dört renk teoreminin bilgisayar destekli kanıtı, birçok matematikçide estetik huzursuzluk yaratmıştı. Çünkü kanıt vardı, ama klasik anlamda görülmüş, hissedilmiş, elde tutulmuş bir güzellik yoktu. Burada soru şudur: Hakikat, gözümüzün içine bakarak mı konuşmalı, yoksa makinenin soğuk raporundan da hakikat duyabilir miyiz?
Güzel kanıt, zihinsel savaşçının iyi dövülmüş kılıcıdır: Hafif, dengeli, keskin. Ama savaşçı kılıcına âşık olursa savaş alanını unutur. Matematikte asıl amaç, hakikatin savunulabilir biçimde ortaya konmasıdır. Güzellik bu süreçte pusula olabilir; fakat haritanın kendisi değildir. Bazen bir problemin derinliği, onun kısa çözülememesindedir. Bazen çirkin görünen bir ispat, yeni bir güzelliğin ham maddesidir. Bugünün teknik yığını, yarının tek satırlık içgörüsüne dönüşebilir.
Yine de güzelliği bütünüyle dışlamak da akla ihanettir. Çünkü matematik yalnızca sonuç üretme makinesi değildir; aynı zamanda anlam arama disiplinidir. Güzel bir kanıt, bize sadece neyin doğru olduğunu değil, neden doğru olduğunu hissettirir. Bu his, öğretimde, keşifte ve yaratıcı düşüncede vazgeçilmezdir. Bir teoremi kanıtlamak bir kapıyı açmaktır; güzel kanıt ise o kapının aslında başından beri duvarın en doğal yerinde durduğunu göstermektir.
Sonuçta en sağlıklı tavır şudur: Güzelliği aramalı, ama ona tapmamalıyız. Kısa çözümü sevmeli, ama uzun kanıtı küçümsememeliyiz. Estetik, matematikte hakikatin hizmetkârı olduğunda olağanüstü verimlidir; efendisi olduğunda ise tehlikeli bir yanılsamaya dönüşür. Doğru olan her zaman güzel olmayabilir; fakat derinden anlaşılan doğru, çoğu zaman bir tür güzellik üretir. Belki de matematiğin sırrı burada saklıdır: Hakikat güzelliğe muhtaç değildir, ama insan zihni hakikati çoğu zaman güzelliğin ışığında görür.