Kategori: Bilim

Satranç Motorunun Kör Noktası: Ufkun Arkasında Bekleyen Felaket

18 Eylül 2026

14:43

Bir yorum yaz on Satranç Motorunun Kör Noktası: Ufkun Arkasında Bekleyen Felaket

Bilişim

, , , , , ,

Satranç motorları bize çoğu zaman soğukkanlı birer kâhin gibi görünür. Tahtaya bakarlar, milyonlarca olasılığı birkaç saniyede öğütürler ve insanın ancak uzun bir kahve molasından sonra fark edeceği hamleyi bulurlar. Fakat bu mekanik bilgelikte ilginç bir çatlak vardır: ufuk etkisi. Motor, aradığı varyant ağacının sonuna geldiğinde sanki dünyanın da orada bittiğini sanabilir. Felaket birkaç hamle ileride bekliyorsa, motor bazen onu görmemek için tahtada küçük hileler yapar: gereksiz şah çekler, anlamsız taş fedaları, yalnızca kaçınılmaz yenilgiyi birkaç ply erteleyen hamleler.

Ufuk dediğimiz şey aslında bir kesme çizgisidir

Bir satranç motoru genellikle tüm oyunu sonuna kadar hesaplayamaz. Satranç uzayı devasa olduğu için motor belirli bir derinliğe kadar arama yapar. Örneğin 12 yarım hamle, yani 6 hamle çifti ileriyi inceler; sonra durur ve oluşan konumu bir değerlendirme fonksiyonuna teslim eder. Taş değerleri, şah güvenliği, piyon yapısı, merkez kontrolü, hareketlilik gibi ölçütler toplanır ve konuma sayısal bir puan verilir. Sorun şudur: Eğer gerçek tehlike 13. yarım hamlede patlıyorsa, motorun dünyasında o tehlike henüz yoktur.

Bu, karanlık bir ormanda el feneriyle yürümeye benzer. Işık 20 metreyi aydınlatıyorsa, 21. metredeki uçurum yok sayılmaz; sadece görülmez. Ufuk etkisi, makinenin kötü hamleyi iyi sanmasından çok, kötü haberin rapora girmemesidir. Rapor temizdir, çünkü felaket rapor sınırının dışında kalmıştır.

Motor neden saçma hamleler yapar?

Klasik minimax araması ve alfa-beta budama ile çalışan bir motor, rakibin en iyi cevabını varsayarak kendi en iyi seçeneğini arar. Diyelim ki motor bir taş kaybedeceğini fark ediyor. Ama arama derinliğinin içinde bir dizi şah çek yaparak bu taş kaybını ufkun ötesine itebiliyor. O zaman değerlendirme fonksiyonu şunu görebilir: Şimdilik taş hâlâ duruyor, şah çekler de fena değil, durum idare eder. Oysa insan oyuncu pozisyona bakıp şöyle der: Bu motor panik içinde zaman kazanıyor, ama cenaze ertelendi diye ölüm iptal olmadı.

İşte ufuk etkisinin komik tarafı burada ortaya çıkar. Makine bir stratejist gibi değil, bazen kötü haberleri müdürden saklayan stajyer gibi davranır. Dosyayı masanın altına iter, alarmı susturur, raporun son sayfasını keser. Sonra da gayet ciddi bir yüzle en iyi hamle budur der.

Çözüm: Gürültülü konumda susmamak

Modern motorlar bu etkiyi azaltmak için çeşitli teknikler kullanır. En bilinenlerden biri durağanlık araması, yani quiescence search yaklaşımıdır. Fikir basittir: Arama derinliği bitti diye hemen değerlendirme yapma; eğer konum hâlâ taktik olarak gürültülüyse, yani alışlar, şah çekler, tehditler havada uçuşuyorsa biraz daha bak. Çünkü bir konumu değerlendirmek için önce onun patlamayı bırakmasını beklemek gerekir. Bir odada yangın alarmı çalarken mobilya düzeni hakkında estetik puan vermek pek akıllıca değildir.

Bir diğer yöntem uzatma aramalarıdır. Şah çekler, terfiye yaklaşan piyonlar, zorunlu hamleler veya mat tehditleri gibi kritik durumlarda motor normal derinliğin ötesine geçer. Yani ufku esnetir. Ayrıca daha gelişmiş değerlendirme fonksiyonları ve sinir ağları, bazı tehlikeleri doğrudan hesaplamasa bile konumsal kokusunu alabilir. Yine de hiçbir yöntem mutlak değildir; sadece kör noktanın alanını daraltır.

Ders: Hesaplamak görmek değildir

Ufuk etkisi yalnızca satranç motorlarının teknik bir kusuru değildir; algoritmik düşüncenin sınırlarını gösteren zarif bir derstir. Bir sistem ne kadar hızlı hesap yaparsa yapsın, hangi noktada duracağına dair bir karar vermek zorundadır. O durma noktası, onun gerçeklik anlayışının kenarı olur. İnsan da benzerini yapar: kısa vadeli rahatlama için uzun vadeli yıkımı görmezden gelir, borcu erteler, ilişki krizini bastırır, iklim sorununu gelecek neslin dosyasına koyar. Bizim de ufuk etkimiz vardır; sadece adını çoğu zaman iyimserlik koyarız.

Satranç motorlarındaki ufuk etkisi bu yüzden büyüleyicidir. Bize zekânın yalnızca hızlı arama değil, doğru yerde şüphe duyma sanatı olduğunu hatırlatır. Gerçek akıl, görünen en iyi hamleyi seçmekle yetinmez; görünmeyen felaketin kokusunu da arar. Çünkü bazen en tehlikeli kare, tahtada görünen kare değil, hesap ufkunun hemen arkasında sessizce bekleyen karedir.

Gerçeklik Seçime mi Uğruyor? Kuantum Darwinizmi’nin Tuhaf Yarışması

18 Eylül 2026

12:43

Bir yorum yaz on Gerçeklik Seçime mi Uğruyor? Kuantum Darwinizmi’nin Tuhaf Yarışması

Bilim

, , , , , ,

Bir elektronun aynı anda birçok olasılıkta gezindiğini duymuşsunuzdur: biraz burada, biraz orada; sanki evrenin karar vermeden önce yaptığı bir beyin fırtınası. Fakat biz masaya baktığımızda masa kararsız görünmez. Kahve fincanı hem dolu hem boş değildir; ne yazık ki genellikle sadece boştur. İşte Kuantum Darwinizmi, bu büyük dönüşümün peşine düşer: Kuantum olasılıkları nasıl olur da bizim paylaştığımız, sağlam, inatçı ve gündelik gerçekliğe dönüşür?

Klasik kuantum anlatısında ölçüm önemli bir kırılma noktasıdır. Bir sistem, ölçülmeden önce süperpozisyon denen çoklu olasılık hâlindedir; ölçümle birlikte belli bir sonuç ortaya çıkar. Ama burada rahatsız edici bir soru vardır: Ölçen kimdir? İnsan mı? Dedektör mü? Kedi mi? Laboratuvarın kapısı mı? Eğer gerçeklik için bilinçli bir gözlemci gerekiyorsa, evren biz gelmeden önce ne yapıyordu? Kuantum Darwinizmi bu soruya daha soğukkanlı bir cevap verir: Gözlemciyi tahtından indirir, çevreyi sahneye çıkarır.

Çevre: Evrenin Dedikodu Ağı

Wojciech Zurek tarafından geliştirilen Kuantum Darwinizmi’ne göre bir kuantum sisteminin hangi hâlinin gerçeklikte görünür olacağını belirleyen şey, çevreyle kurduğu ilişkidir. Çevre dediğimiz şey hava molekülleri, fotonlar, toz parçacıkları, elektromanyetik alanlar ve sayısız küçük etkileşimdir. Yani evrenin her yere burnunu sokan dedikodu ağı. Bir nesnenin durumu çevreye izler bırakır. Fotonlar masaya çarpar, geri saçılır, gözümüze ulaşır; hava molekülleri nesnenin konumundan etkilenir. Böylece çevre, sistem hakkında bilgi taşımaya başlar.

Fakat her kuantum durum çevrede kalıcı iz bırakamaz. Bazıları kırılgandır, gürültüde kaybolur, etkileşimlerle dağılır. Bazıları ise dirençlidir: Çevreyle etkileşirken kimliğini korur ve kendisi hakkında çok sayıda kopya bilgi üretir. İşte burada Darwinci benzetme devreye girer. Biyolojide çevreye uyum sağlayan organizmalar hayatta kalır; Kuantum Darwinizmi’nde çevreye dayanabilen ve bilgisini çoğaltabilen durumlar klasik gerçekliğin adayları olur.

Bu seçilmiş durumlara çoğu zaman işaretçi durumlar denir. Bir parçacığın konumu, belirli koşullarda, çevreye çok iyi basılabilen bir damga gibidir. Süperpozisyonun zarif şiiri ise çevreyle temas ettiğinde hızla bozulur. Buna dekoherens denir. Dekoherens, kuantum olasılıklarının sihirli biçimde yok olması değildir; daha çok, kuantum faz ilişkilerinin çevreye yayılıp bizim için erişilemez hâle gelmesidir. Bir orkestranın notaları hâlâ evrende çalıyor olabilir, ama salon o kadar kalabalıktır ki melodiyi artık seçemezsiniz.

Neden Hepimiz Aynı Masayı Görüyoruz?

Kuantum Darwinizmi’nin en güçlü fikri fazlalık, yani redundans kavramıdır. Bir nesne hakkındaki bilgi çevrede tek bir kopya olarak bulunmaz; sayısız kopya hâlinde dağılır. Masanın konumu, odadaki milyonlarca fotona yazılmış gibidir. Siz masaya bakarsınız, ben başka bir açıdan bakarım; aynı fotonları görmeyiz ama aynı bilgiye ulaşırız. Bu yüzden aramızda anlaşırız: Evet, orada bir masa var. Nesnellik, bu bakışta, bilginin çevrede çoğaltılmasıdır.

Bu oldukça sarsıcıdır. Gerçeklik, yalnızca bir şeyin var olması değil; o şey hakkında bilginin çevrede yeterince yaygın, kararlı ve erişilebilir olmasıdır. Başka bir deyişle, gerçek dediğimiz şey evrenin ortak veri tabanında yüksek yedeklilikle saklanan kayıttır. Az kopyalanan, çabuk bozulan, çevreye iz bırakamayan kuantum durumları ise özel deney düzeneklerinde yakalanabilen hayaletler gibi kalır.

Elbette bu teori tüm kuantum ölçüm problemini sihirli bir değnekle çözmüş değildir. Dalga fonksiyonunun gerçekten çöküp çökmediği, olasılıktan tekil sonuca geçişin tam olarak ne anlama geldiği hâlâ tartışmalıdır. Kuantum Darwinizmi daha çok şunu açıklar: Neden bazı durumlar klasik dünyada görünür olur? Neden gerçeklik ortaklaşa doğrulanabilir? Neden evren, mikroskobik düzeyde caz müziği yaparken makroskobik düzeyde düzenli bir marş gibi duyulur?

Sonuçta Kuantum Darwinizmi bize şunu fısıldar: Gerçeklik pasif bir sahne değildir; bilgi, çevre ve dayanıklılık arasında süren acımasız bir seçilim sürecidir. Evren, her olasılığı vitrine koymaz. Bazı durumlar çevrenin sınavından geçer, iz bırakır, kopyalanır ve herkesin görebileceği kadar gürültülü biçimde var olur. Belki de gerçek dediğimiz şey, kuantum âleminin en iyi reklam yapan hayatta kalanıdr: çevreye kendini kabul ettiren olasılık.

Bilgisayarların Kehanet Duvarı: Turing’in ‘Biter mi Bitmez mi?’ Laneti

17 Eylül 2026

12:43

Bir yorum yaz on Bilgisayarların Kehanet Duvarı: Turing’in ‘Biter mi Bitmez mi?’ Laneti

Bilişim

, , , , , ,

Bir program yazdığınızı düşünün. Düğmeye basıyorsunuz ve makine çalışmaya başlıyor. Ekranda imleç yanıp sönüyor. Kahveniz bitiyor, gün kararıyor, sabrınız çatlıyor. Soru basit gibi görünür: Bu program bir gün duracak mı, yoksa sonsuza kadar dönüp duran dijital bir hamster tekerleğine mi mahkûm? İşte Alan Turing’in meşhur Durma Problemi, yani Halting Problem, tam bu sorunun kalbine hançer gibi saplanır: Her programın, her girdide durup durmayacağını önceden söyleyen genel bir algoritma yazılamaz.

Bu cümle ilk bakışta karamsar bir yazılımcı atasözü gibi gelebilir. “Tabii canım, bazı kodlar karmaşıktır.” Hayır, mesele karmaşıklık değil; mesele ilkesel imkânsızlıktır. Turing bize sadece bazı işleri zor yaptığımızı değil, bazı işlerin doğası gereği yapılamayacağını gösterdi. Bilgisayar biliminin en sarsıcı dersi budur: Her şey hesaplanabilir değildir.

Kâhin Programın Trajedisi

Hayal edelim: Elimizde HALT adında mucizevi bir program var. Bu program, başka bir programı ve girdisini alıyor; “durur” ya da “sonsuza kadar çalışır” diye kesin yanıt veriyor. Harika! Yazılım dünyası bayram ederdi. Sonsuz döngüler tarihe karışır, test ekipleri çiçek dağıtır, proje yöneticileri ilk kez huzurla uyurdu.

Fakat Turing’in zekâsı burada devreye girer. Der ki: Bu HALT programını kullanarak tuhaf bir program yazalım. Adı da TERS olsun. TERS, kendisine verilen programın kendi üzerinde durup durmayacağını HALT’a sorar. Eğer HALT “durur” derse, TERS sonsuz döngüye girer. Eğer HALT “durmaz” derse, TERS hemen durur. Yani TERS, kâhinin söylediğinin tersini yapar.

Şimdi büyük sahneye geldik: TERS programını kendi kendisine verelim. TERS(TERS) ne yapar? Eğer duracaksa, tanımı gereği durmamalıdır. Eğer durmayacaksa, tanımı gereği durmalıdır. Mantık kendi kuyruğunu ısıran bir yılan gibi kıvrılır. Çelişki kaçınılmazdır. Demek ki başta varsaydığımız kusursuz HALT programı var olamaz.

Bu Sadece Kod Meselesi Değil

Durma Problemi, programlama derslerinde anlatılan teknik bir numara olmaktan çok daha fazlasıdır. Modern dünyanın “her şeyi ölçer, tahmin eder, optimize ederiz” inancına atılmış matematiksel bir tokattır. Bazı süreçlerin sonucunu, sürecin dışına çıkıp tepeden bakarak bile kesin biçimde bilemezsiniz. Onları çalıştırmanız gerekir. Ya biterler ya da beklemeye devam edersiniz.

Bu, yazılım geliştiricinin günlük hayatında çok somut görünür. Bir derleyici tüm hataları yakalayamaz. Bir güvenlik aracı her zararlı davranışı kesin olarak belirleyemez. Bir analiz programı, her olası kodun davranışını eksiksiz çözemez. Bu yüzden pratikte yaklaşık yöntemler, zaman sınırları, testler, tip sistemleri, biçimsel doğrulama araçları ve insan sezgisi kullanılır. Mutlak kehanetin yerini mühendislik disiplini alır.

Burada önemli ayrım şudur: “Genel çözüm yok” demek, “hiçbir şey bilemeyiz” demek değildir. Pek çok özel program için durup durmayacağını anlayabiliriz. Örneğin belirli sayıda dönen bir döngü, açıkça sona eren bir hesaplama, iyi tasarlanmış bir algoritma analiz edilebilir. Turing’in yasakladığı şey, tüm programlar ve tüm girdiler için çalışan evrensel bir karar makinesidir.

Sonsuzlukla Pazarlık Yapılmaz

Durma Problemi bize sonsuzluk hakkında da mütevazı olmayı öğretir. Bilgisayarlar hızlıdır, acımasızca mantıklıdır, yorulmazlar. Ama sonsuzluk karşısında onların da bileği bükülür. Çünkü mesele hız değildir. Bir programın trilyon yıl sonra duracağını bilmek ile asla durmayacağını bilmek arasında uçurum vardır. Bekleyerek kanıt elde edemezsiniz; sadece henüz durmadığını görürsünüz.

Bu yüzden Halting Problem, dijital çağın bilgelik taşlarından biridir. Bize şunu fısıldar: Her sorunun bir butonu, her belirsizliğin bir raporu, her karanlığın bir algoritmik feneri yoktur. Bazı kapılar hesaplamanın duvarına açılır. Orada yapılacak şey paniklemek değil, sınırı tanımaktır.

Turing’in dehası, bilgisayarı icat etmeden önce bilgisayarın rüyalarını ve kâbuslarını görmesiydi. Durma Problemi o kâbuslardan biridir: Bir makineye geleceği tamamen sordurmak istersiniz; makine size mantığın aynasını tutar ve der ki, “Beni ne kadar hızlandırırsan hızlandır, bazı sorular kendi gölgelerine takılır.” İşte bu yüzden bilgisayar bilimi yalnızca makinelerle değil, bilinebilirliğin sınırlarıyla da ilgilidir. Ve bazen en güçlü cevap, dürüst bir imkânsızlıktır.

Mikroservis Cumhuriyeti: Her Servis Kendi Tahtında, Sistem Kimin Umurunda?

16 Eylül 2026

22:43

Bir yorum yaz on Mikroservis Cumhuriyeti: Her Servis Kendi Tahtında, Sistem Kimin Umurunda?

Bilişim

, , , , , ,

Mikroservis mimarisi, yazılım dünyasının özgürlük vaadi gibidir: Her parça bağımsız geliştirilsin, ayrı deploy edilsin, kendi verisine sahip olsun, ekipler hızlansın, kimse kimsenin ayağına basmasın. Kâğıt üzerinde şahane. Fakat her özgürlük projesi gibi burada da küçük bir dipnot vardır: Bağımsızlık, sorumluluğun buharlaşması için icat edilmiş lüks bir perdeye dönüşebilir. Bir sabah sistem çöker, kullanıcı ödeme yapamaz, loglar sisli bir ormana benzer ve herkes aynı kutsal cümleyi söyler: Bizim servis ayakta.

İşte mikroservis mimarisinin bireycilikle akrabalığı burada başlar. Modern birey de kendi servisini ayakta tutmaya çalışır: Kariyerim çalışıyor, hesabım dönüyor, takvimim dolu, profilim güncel. Ama mahalle yanıyorsa, kurum çürüyorsa, ürün kullanıcıyı perişan ediyorsa, sadece kendi endpointinin 200 dönmesi pek de kahramanca değildir. Mikroservisler teknik bir desen olmaktan çıkıp örgütsel bir psikoloji aynasına dönüşür: Herkes kendi sınırlarını korur, kendi SLA belgesini parlatır, fakat sistemin ruhu ortada kalır.

Dağıtık sistemlerde suç da dağıtılır

Monolitik yapılarda sorunlar büyük, görünür ve genellikle tek bir kalenin içindedir. Mikroservislerde ise sorunlar gezgin hayaletlere benzer. Bir istek API gatewayden girer, kimlik servisinde selam verir, sipariş servisine uğrar, stok servisinde tökezler, ödeme servisinde kuyrukta bekler, bildirim servisinde anlamını kaybeder. Hata nerede? Cevap çoğu zaman şudur: Arada. Bu arada kelimesi, hem teknik hem ahlaki bir kara deliktir. Çünkü arada olan şeyin sahibi yoktur.

İyi tasarlanmış mikroservis mimarisi, güçlü sınırlar kadar güçlü anlaşmalar ister. Sözleşmeler, gözlemlenebilirlik, izleme, merkezi olmayan ama ortak akla bağlı karar mekanizmaları olmadan mikroservis, sadece küçük monolitlerin kabile savaşına dönüşür. Her ekip kendi teknolojisini seçer, kendi veritabanını kurar, kendi deployment ritüelini icat eder. Başta renkli bir festival gibi görünen bu çeşitlilik, kısa sürede operasyonel bir pazara döner: Her tezgâhta başka kural, başka para birimi, başka felaket.

Bireycilik de benzer bir teknik borç üretir. Kişi kendini optimize ederken ortak altyapıyı ihmal eder. Evin içindeki herkes kendi odasını temizler ama mutfak çöp kokar. Şirkette herkes kendi hedefini tutturur ama ürün berbatlaşır. Toplumda herkes kendi çıkarını maksimize eder ama güven duygusu çöker. Mikroservislerin bize öğrettiği sert gerçek şudur: Yerel başarı, küresel başarının garantisi değildir. Hatta bazen yerel başarılar toplamı, küresel başarısızlığın en şık ambalajıdır.

Bu yüzden mikroservis mimarisinde asıl mesele servisleri bölmek değil, sorumluluğu yeniden birleştirmektir. Bir sistem, sadece bileşenlerden oluşmaz; bileşenler arasındaki ilişki biçimlerinden oluşur. Kim kiminle konuşuyor, hata olduğunda kim geri çekiliyor, veri tutarsızlığında kim hakem oluyor, kullanıcı deneyimi bozulduğunda kim ayağa kalkıyor? Bunlar teknik sorular gibi görünür, ama aslında yönetim, etik ve kültür sorularıdır.

Çözüm monolite dönüp duvarları kalınlaştırmak değildir. Çözüm, mikroservisleri küçük krallıklar olarak değil, disiplinli bir federasyon olarak düşünmektir. Her servisin sahibi olmalı, ama sistemin de sahipleri olmalı. Her ekip kendi alanında özgür olmalı, ama ortak sözleşmelere, ortak metriklere ve ortak kullanıcı gerçeğine bağlı kalmalı. Dağıtık izleme, uçtan uca testler, olay güdümlü mimaride net şemalar, hata bütçeleri ve mimari karar kayıtları bu yüzden sadece araç değil, kolektif hafıza organlarıdır.

En tehlikeli yazılım cümlesi, çalışıyor demektir. Çünkü neyin, kimin için, hangi koşulda çalıştığı sorulmadan söylenir. Bir mikroservis kendi başına çalışıyor olabilir; ama sistem kullanıcıya acı çektiriyorsa, o çalışma sadece teknik bir narsisizmdir. Aynı şekilde birey kendi hayatını kusursuz biçimde yönetiyor olabilir; ama bağlandığı ağları zehirliyorsa, bu başarı değil, izole bir performanstır.

Mikroservis mimarisi bize şunu fısıldar: Gerçek olgunluk, sınır çizebilmek kadar sınırların ötesini duyabilmektir. Kendi servisine bak, evet. Ama çağrının nereden geldiğini, cevabın kime gittiğini, gecikmenin kimde ağrıya dönüştüğünü de bil. Çünkü sistem dediğimiz şey, kimsenin tek başına sahiplenmediği ama herkesin içinde yaşadığı o büyük organizmadır. Ve organizma hastalandığında, hiçbir servis gerçekten sağlıklı değildir.

Bir Kenar Boşluğundan 358 Yıla: Fermat’nın İnadı Bize Ne Öğretti?

16 Eylül 2026

18:43

Bir yorum yaz on Bir Kenar Boşluğundan 358 Yıla: Fermat’nın İnadı Bize Ne Öğretti?

Bilim

, , , , ,

1637 yılında Pierre de Fermat, Diophantus’un Aritmetika adlı kitabının kenarına küçük bir not düştü: n ikiden büyükse, xn + yn = zn denkleminin pozitif tam sayılarda çözümü yoktur. Sonra da matematik tarihinin en kışkırtıcı cümlelerinden birini ekledi: Bunun harika bir ispatını buldum, fakat bu kenar boşluğu onu yazmak için çok dar. İşte insanlık bazen bir cümleyle 358 yıl oyalanabilir.

Fermat’nın Son Teoremi ilk bakışta masum görünür. Pisagor teoreminden tanıdığımız x2 + y2 = z2 denklemi için 3, 4, 5 gibi sayılar vardır. Ama üs 3, 4, 5 veya daha büyük olduğunda oyun bozulur. Matematik burada çocuksu bir soruyla başlar: Neden? Fakat bu neden, yüzyıllar boyunca Euler’den Sophie Germain’e, Kummer’den Frey’e, Ribet’e ve sonunda Andrew Wiles’a uzanan bir entelektüel seferberliğe dönüşür.

İnat mı, sadakat mi?

Bu hikâyeyi yalnızca bir matematik problemi olarak okumak eksik olur. Fermat’nın Son Teoremi, insan zihninin bir fikre nasıl bağlandığını gösteren parlak bir aynadır. İnat çoğu zaman kötü bir huy gibi anlatılır: Kafayı takmak, bırakmamak, aynı duvara tekrar tekrar çarpmak. Ama bilimde ve matematikte başka bir inat türü vardır. Bu, körlük değil; soruya sadakattir. Cevap gelmediğinde soruyu terk etmeyen, ama yöntemini değiştirmeyi bilen bir sabırdır.

358 yıl boyunca kimse aynı noktada durmadı. Problem aynı kaldı, fakat ona yaklaşan araçlar değişti. Sayılar teorisi derinleşti, cebirsel yapılar gelişti, eliptik eğriler sahneye çıktı, modüler formlar devreye girdi. Yani çözüm, tek bir dahinin gökten indirdiği yıldırım değildi. Daha çok, insanlığın yavaş yavaş kurduğu devasa bir merdivendi. Andrew Wiles 1994’te ispatı tamamladığında yalnızca Fermat’nın iddiasını kanıtlamadı; üç buçuk yüzyıllık kolektif emeğin doğru yönde biriktiğini de gösterdi.

Bir problemin gerçek değeri

İlginç olan şu: Fermat’nın Son Teoremi’nin kendisi pratik hayatta doğrudan bir makineyi çalıştırmadı, bir köprüyü ayakta tutmadı, bir ilacı keşfetmedi. Ama onu çözmek için geliştirilen matematiksel düşünce, modern bilimin derin damarlarına karıştı. Büyük problemler bazen cevaptan çok yol üretir. Bir dağın zirvesine çıkmak için yapılan ekipman, başka dağların da haritasını değiştirir.

Burada bilimin en zarif derslerinden biri saklıdır: Zor bir soru, insanlığı eğitir. Kolay cevaplar bizi rahatlatır; zor sorular bizi büyütür. Fermat’nın problemi, matematikçilere yalnızca hesap yapmayı değil, yapı görmeyi öğretti. Denklemin yüzeyindeki sayılardan, sayıların arkasındaki gizli mimariye geçildi. Tıpkı bir şehrin sokaklarında kaybolurken sonunda kanalizasyonunu, elektrik ağını ve tarihini fark etmek gibi.

Wiles’ın hikâyesi de bu yüzden neredeyse mitolojiktir. Çocukken bu problemi öğrenir, yıllarca zihninin bir köşesinde taşır, sonra yetişkin bir matematikçi olarak gizlice çalışmaya başlar. Yedi yıl boyunca büyük ölçüde yalnızdır. İlk ispatında bir boşluk bulunur. Düşünün: Yılların emeği, dünyanın gözleri önünde çatlar. İşte burada inat ile kibir ayrılır. Kibir, hatayı inkâr eder. Bilimsel inat ise hatanın içine girer, onu söker, yeniden kurar. Wiles bunu yaptı.

Kenar boşluğunun felsefesi

Fermat gerçekten bir ispat bulmuş muydu? Büyük olasılıkla bugünkü anlamda tam bir ispatı yoktu. Ama belki de önemli olan bu değildir. O küçük kenar notu, insanlığın zihinsel iştahını kışkırttı. Bazen bir iddia, doğruluğundan önce doğurduğu arayışla önem kazanır. Bir kenar boşluğu, bir uygarlığın çalışma masasına dönüşebilir.

Fermat’nın Son Teoremi bize şunu öğretir: Bazı kapılar tek hamlede açılmaz. Anahtar henüz icat edilmemiş olabilir. Bu yüzden çözümsüzlük, imkânsızlık demek değildir; bazen yalnızca araçlarımızın çocuk olduğunu gösterir. İnsan zihni büyüdükçe, dünün duvarı bugünün merdiveni olabilir.

Ve belki de en güzel ders şudur: İnat, eğer merakla terbiye edilir, yöntemle disipline edilir ve hataya saygı duymayı öğrenirse, insanlığın en üretken erdemlerinden birine dönüşür. Fermat’nın kenar boşluğu dardı; fakat açtığı alan, hâlâ genişliyor.