Bir Bulmaca Çözdüğünde Beyninde Gerçekten Ne Değişir?

Bir sudoku karesine bakarken, bir satranç hamlesini zihninde çevirirken ya da üç kibrit çöpüyle imkânsız görünen şekli düzeltmeye çalışırken yalnızca vakit geçirmiyorsun. Beynin, sessiz bir marangoz gibi kendi iç mimarisini yeniden düzenliyor. Zeka oyunları bu yüzden basit eğlenceler değildir; onlar, sinir hücrelerinin birbirine fısıldadığı küçük ama etkili meydan okumalardır.

Nöroplastisite, beynin deneyimlere göre değişebilme yeteneğidir. Eskiden yetişkin beyninin büyük ölçüde sabit olduğu düşünülürdü. Bugün biliyoruz ki beyin, yaş ilerlese bile öğrenmeye, uyum sağlamaya ve yeniden yapılanmaya devam eder. Yeni bir strateji öğrendiğinde, dikkatini uzun süre bir problemde tuttuğunda veya hatanı fark edip farklı bir yol denediğinde nöronlar arasındaki bağlantılar güçlenir, zayıflar ya da yeniden örgütlenir. Kısacası beyin, kullandığın yollara asfalt döker; kullanmadıklarını ise yavaşça otlara bırakır.

Bulmaca beynin spor salonu mudur?

Bu benzetme çok kullanılır ama tamamen yanlış değildir. Bir kası çalıştırdığında kas liflerinde mikro düzeyde değişimler olur; tekrar ve dinlenmeyle kas güçlenir. Beyinde de benzer bir ilke işler. Mantık bulmacaları çalışma belleğini, dikkat kontrolünü, örüntü tanımayı, bilişsel esnekliği ve problem çözme becerisini aynı anda çağırır. Bir labirentte çıkışı ararken yalnızca yolu değil, yanlış yolları da öğrenirsin. Bu hata hafızası, zekânın cilalı yüzünden daha değerlidir; çünkü beyin çoğu zaman doğruyu, yanlışların haritasını çıkararak bulur.

Fiziksel değişim dediğimiz şey şiirsel bir metafor değildir. Sinaptik bağlantıların güçlenmesi, dendritik dallanmaların artması, belirli ağların daha verimli çalışması ve bazı durumlarda gri madde yoğunluğunda ölçülebilen farklılaşmalar nöroplastisitenin parçalarıdır. Özellikle yeni ve zorlayıcı görevler, beynin konfor alanını sarsar. Kolayca çözdüğün bulmacalar hoş bir dopamin kıvılcımı verebilir; fakat gerçek dönüşüm, biraz terleten, seni duraksatan, hatta kısa süreliğine küçük düşüren problemlerle başlar.

Zorlanma: Beynin gizli öğretmeni

Bir mantık sorusunda takılıp kalmak çoğu kişiye başarısızlık gibi gelir. Oysa nöroplastisite açısından bu an altın değerindedir. Beyin, beklentisi bozulduğunda uyanır. Tahmin ettiği sonuç çıkmadığında hata sinyalleri üretir ve yeni bağlantı ihtimallerini yoklar. Bu yüzden iyi bir zeka oyunu, sana hemen cevap vermeyen oyundur. Bir bilmece ne kadar nazikçe direnirse, zihnin o kadar çok form değiştirir.

Ancak burada önemli bir ayrım var: Her oyun aynı etkiyi yaratmaz. Sürekli aynı tür bulmacayı çözmek, belirli bir beceriyi keskinleştirir ama geniş çaplı bilişsel dönüşüm için çeşitlilik gerekir. Sayısal bulmacalar, görsel-uzamsal oyunlar, kelime oyunları, strateji oyunları ve hafıza egzersizleri farklı ağları çalıştırır. Beyin tek bir enstrüman değil, karmaşık bir orkestra gibidir; yalnızca davulu güçlendirmek senfoniyi otomatik olarak güzelleştirmez.

Zeka oyunlarının etkisi, uyku, beslenme, hareket ve duygusal durumla da yakından ilişkilidir. Uykusuz bir beyne bulmaca dayatmak, sisli havada dürbünle yıldız aramaya benzer. Öğrenmenin pekişmesi için beynin dinlenmeye ihtiyacı vardır. Fiziksel egzersiz de beyin kaynaklı nörotrofik faktör gibi öğrenmeyi destekleyen biyolojik süreçleri canlandırabilir. Yani en iyi bulmaca rutini, sandalyeye zincirlenmiş bir deha pozu değil; hareket eden, dinlenen, merak eden bir yaşam biçimidir.

Zeka değil, ilişki biçimi

Bu oyunların asıl büyüsü, insanın kendi zihniyle kurduğu ilişkiyi değiştirmesidir. Bulmaca çözen kişi, belirsizliğe katlanmayı öğrenir. Aceleci cevabın cazibesine direnerek düşüncenin derin nefesini duyar. Jungiyen bir dille söylersek, her çözülmemiş problem küçük bir gölgedir; zihnin görmezden geldiği taraflarını görünür kılar. Sabırsızlığın, kontrol arzun, yenilgi korkun ve sezgisel kıvılcımların aynı masaya oturur.

Elbette zeka oyunları mucize değildir. Tek başına kişiyi dâhi yapmaz, her hastalığı önlemez, tüm bilişsel yetenekleri otomatik olarak artırmaz. Ama düzenli ve bilinçli kullanıldığında beynin değişebilir olduğunu bedensel düzeyde hatırlatır. Bu hatırlatma güçlüdür: Zihin taş değil, kil gibidir. Ona her gün küçük bir şekil verirsin.

Bir sonraki bulmacaya baktığında, onu yalnızca çözülmesi gereken bir oyun olarak görme. O, beyninin kendi üzerine eğildiği küçük bir laboratuvardır. Her deneme, her yanlış çıkarım, her ani aydınlanma nöral dokuda iz bırakır. Eğlenceli olan da budur: Cevabı bulduğunda yalnızca bulmacayı değiştirmezsin; biraz da kendini değiştirirsin.

Aklın Kendi Gölgesine Basamaması: Gödel, Bilinç ve Büyük Eksiklik

İnsan aklı kendini anlamaya kalktığında tuhaf bir sahne kurulur: Sahnenin ortasında hem oyuncu, hem yönetmen, hem seyirci, hem de bilet kontrolcüsü olmaya çalışan biri vardır. Her şeyi denetlemek ister; fakat denetleyen gözün kendisi de sahnenin parçasıdır. İşte Gödel’in Eksiklik Teoremi, matematiğin soğuk mermer salonlarından çıkıp insan bilincinin loş koridorlarına girdiğinde bize bunu fısıldar: Yeterince güçlü bir sistem, kendi doğruluğunu kendi içinden tümüyle kanıtlayamaz.

Gödel’in teoremi teknik olarak aritmetiği kapsayacak kadar güçlü, tutarlı biçimsel sistemler hakkında konuşur. Böyle bir sistemde doğru olan ama sistemin kurallarıyla kanıtlanamayan önermeler bulunur. Daha sarsıcı olanı şudur: Sistem kendi tutarlılığını da, eğer gerçekten tutarlıysa, kendi içinden kanıtlayamaz. Bu, matematiğin iflası değil; tam tersine, matematiğin kibirden arınmış zaferidir. Çünkü mantık, kendi sınırını işaret ederek bir tür bilgelik gösterir.

Peki insan aklı bundan muaf mıdır? Beynimiz, kendisi hakkında eksiksiz bir rapor yazabilecek bir bürokrasi midir? Sabah uyanıp neden o kişiyi özlediğimizi, neden aynı hatayı üçüncü kez yaptığımızı, neden haklı çıkmayı hakikati bulmaya tercih ettiğimizi gerçekten bilir miyiz? Jung’un gölge dediği şey burada kapıyı tıklatır. Bilinç, kendini krallık sanır; bilinçdışı ise bodrumda kendi imparatorluğunu kurmuştur. Aklın trajedisi, bilmediğini bilmemesinden değil; bazen bildiğini sandığı şeyin yalnızca ruhsal bir dekor olmasından doğar.

Gödelci bakış, insanı küçültmez; onu daha ilginç hale getirir. Eğer zihnimiz kendini tamamen açıklayabilen kapalı bir makine olsaydı, özgürlük hissimiz muhtemelen bir kullanıcı arayüzü animasyonundan ibaret kalırdı. Oysa kendimizi anlamaya çalıştıkça yeni katmanlar açılır. Bir düşünceyi gözlemleriz, sonra o gözlemi gözlemleriz, sonra gözlemleyeni sorgularız. Aynalarla dolu bir odada yürür gibi: Her adımda daha fazla görüntü elde ederiz, ama çıkış kapısının kendisi görüntülerden biri olmayabilir.

Burada dikkatli olmak gerekir. Gödel’in teoremini basitçe ruh, Tanrı ya da mistik sezgi için hazır bir kanıt gibi kullanmak entelektüel korsanlıktır. Teorem, biçimsel sistemler hakkında kesin bir matematiksel sonuçtur; insan zihnine uygulanması ise bir benzetme, güçlü ama disiplin isteyen bir metafordur. Yine de metaforun keskinliği az değildir. Çünkü akıl da kurallar, dil, varsayımlar ve sembollerle çalışır. Kendimizi açıklarken kullandığımız her cümle, açıklanmaya çalışılan varlığın içinden çıkar. Balık, okyanus hakkında tez yazabilir; ama ıslaklığın dışına çıkmadan.

Modern teknoloji bu trajediyi daha görünür kılıyor. Yapay zekâ sistemleri, devasa veri kümeleri üzerinde çalışıyor; fakat kendi kararlarının tüm anlamını her zaman şeffaf biçimde açıklayamıyor. İnsan da farklı değil: Gerekçeler üretiriz, sonra bu gerekçelere inanırız. Çoğu zaman kararlarımızın avukatı oluruz, hakimi değil. Bilinç, mahkeme salonunda sonradan konuşan parlak bir savunmacıdır; karar ise çoktan verilmiştir.

Bu durum umutsuzluk mu doğurmalı? Hayır. Eksiklik, felaket değil, çağrıdır. Bir sistem kendi kendine yetmediğinde dışarıya, ötekine, diyaloğa, deneyime, sanata ve suskunluğa ihtiyaç duyar. İnsan aklı kendi içinden kapanarak tamamlanamaz; başka zihinlerle çarpışarak, acıyla yoğrularak, hatasını görerek genişler. Bilgelik belki de tam burada başlar: Tam açıklama iddiasından vazgeçip daha derin bir dürüstlüğe geçmekte.

Gödel bize şunu öğretir: Her güçlü düşünce sistemi, kendi içinde bir çatlak taşır. Ama çatlak, yalnızca yıkımın işareti değildir; ışığın içeri girdiği yerdir. İnsan aklının kendini tamamen anlayamaması trajiktir, evet. Fakat bu trajedi aynı zamanda şiirin, felsefenin, aşkın ve arayışın kaynağıdır. Eğer kendimizi bitmiş bir denklem gibi çözebilseydik, yaşam bir cevap anahtarına dönüşürdü. Oysa biz, kanıtlanamayan ama inkâr da edilemeyen bir önermeyiz: Eksik, tutkulu, tutarsızlıktan korkan ama hakikate açılan canlı bir paradoks.

Kod Yazıyor muyuz, Yoksa Evrenin Gizli Kütüphanesinden mi Kopyalıyoruz?

Bir programcı gece yarısı ekrana bakarken şunu düşünür: Bu fonksiyonu ben mi icat ettim, yoksa zaten bir yerlerde bekleyen doğru biçimi nihayet bulabildim mi? Matematiksel Platonizm tam bu noktada kapıyı aralar. Bu görüşe göre sayılar, geometrik nesneler, teoremler ve belki de algoritmalar, insan zihninden bağımsız bir varlık alanında zaten mevcuttur. Biz onları üretmeyiz; keşfederiz. Tıpkı bir dağcının zirveyi yaratmaması, yalnızca oraya ulaşması gibi.

Kodlama genellikle pratik bir zanaat gibi görünür: klavye, hata mesajı, kahve, teslim tarihi ve bir yerlerde ağlayan bir sunucu. Fakat yüzeyi kazıdığımızda kodun tuhaf bir metafizik parıltısı vardır. Bir sıralama algoritması düşünelim. Bubble sort, quicksort ya da merge sort yalnızca insanların yazdığı metinler midir? Yoksa belirli bir problemi çözmenin mantıksal yolları olarak, bizden önce de mümkün olan yapılar mıdır? Eğer tüm insanlar yok olsaydı, iki listenin birleşerek sıralanması fikri de yok olur muydu?

Algoritma: İcat mı, keşif mi?

Bir algoritma, sonlu adımlarla tanımlanmış bir dönüşüm yoludur. Girdi alır, işlem yapar, çıktı üretir. Bu haliyle algoritmalar, fiziksel bilgisayarlardan daha soyut görünür. Bilgisayarlar bozulur, diller eskir, frameworkler moda olur ve unutulur. Ama asal sayı testi fikri, bir Python dosyasına muhtaç değildir. Python yalnızca onun giysisidir. Aynı mantık C ile de, Haskell ile de, kağıt kalemle de ifade edilebilir. Bu yüzden Platoncu bakış şunu söyler: Kod dediğimiz şey, aslında soyut bir formun belirli bir dildeki gölgesidir.

Ancak burada dikkatli olmak gerekir. Yazdığımız her kod parçasını ilahi bir matematik tapınağından inmiş gibi görmek fazla romantik olabilir. Bir ödeme sisteminin kötü yazılmış kullanıcı doğrulama modülü, sonsuzlukta parlayan saf bir ideadan çok, aceleyle kapatılmış bir sprint maddesine benzer. Kodun bir kısmı zorunlu mantıktan, bir kısmı tarihsel tesadüften doğar. Neden noktalı virgül var? Neden bazı dillerde girinti kaderdir? Bunlar evrensel hakikatlerden çok kültürel evrim, mühendislik tercihi ve insan alışkanlıklarıdır.

Yine de en derin katmanda, programlama matematiksel bir iskelete yaslanır. Veri yapıları kümelere, fonksiyonlar dönüşümlere, tip sistemleri mantıksal önermelere, hesaplama kuramı ise neyin hesaplanabilir olduğuna dair kadim bir sınıra uzanır. Turing makinesi yalnızca bir akademik oyuncak değildir; düşüncenin mekanikleşebilen kısmına tutulmuş bir aynadır. Bu aynada gördüğümüz şey bazen rahatsız edicidir: Belki de yazılımcı, sıfırdan yaratan bir tanrı değil, soyut zorunlulukları dünyaya indiren bir aracı figürdür.

GitHub, idealar aleminin bodrum katı mı?

Şaka gibi gelebilir ama açık kaynak depoları, Platoncu bir rüyayı andırır. Aynı problem için binlerce çözüm, aynı soyut yapının farklı bedenlere bürünmüş halleri gibidir. Bir kütüphane, daha önce keşfedilmiş bir yolu paketler. Bir API, soyut bir ilişkiyi kullanılabilir bir yüzeye dönüştürür. Refactoring ise sanki çamura bulanmış bir heykeli yıkayıp altındaki formu ortaya çıkarma çabasıdır. İyi kodun bize güzel gelmesi de tesadüf değildir. Sadelik, tutarlılık ve zarafet, yalnızca estetik değil, ontolojik bir sezgi uyandırır: Bu böyle olmalıydı.

Karşı tarafta ise nominalist itiraz durur. Ona göre algoritmalar ve matematiksel nesneler bağımsız bir evrende yaşamaz; onlar insan zihninin ve dilinin kurduğu kullanışlı araçlardır. Kodun varlığı, onu yazan topluluğun pratikleriyle anlam kazanır. Bir değişken adı, bir tasarım deseni, hatta temiz kod ilkeleri bile toplumsal anlaşmalarla ayakta durur. Bu bakış bize alçakgönüllülük öğretir: Evren belki de bizim sınıflarımızı, metodlarımızı ve mimari karar kayıtlarımızı umursamıyordur.

Benim tavrım iki uç arasında savaşçı bir denge arar. Kodun derin mantıksal çekirdeği keşfedilir; fakat onun somut biçimi icat edilir. Quicksort fikri, insan zihninden bağımsız bir olasılık alanında bekliyor olabilir; ama onu okunabilir, güvenli, ölçeklenebilir ve bakım yapılabilir hale getirmek insani bir sanattır. Yani programcı hem arkeolog hem mimardır. Bir eliyle gömülü yapıları bulur, diğer eliyle onlara yaşanabilir evler kurar.

Bu tartışmanın pratik sonucu da vardır. Eğer kodu yalnızca metin sanırsak, derin yapıyı kaçırırız. Eğer onu yalnızca kutsal form sanırsak, kullanıcıyı, bağlamı ve hatayı unuturuz. İyi yazılımcı, Platoncu bir sezgiyle zorunlu yapıyı arar; mühendis aklıyla onu dünyaya uyarlar. Belki de en doğru cümle şudur: Kodlarımız bizden bağımsız bir evrende tamamen yazılmış halde beklemiyor; ama onları mümkün kılan mantıksal yollar, biz gelmeden önce de sessizce oradaydı. Bizim işimiz, o sessizliği çalıştırılabilir hale getirmek.

Evli çiftler

Beş arkadaş var; Ali, Berkay, Cevdet, Deniz ve Erkan. Bu beylerin her birinin bir kızı bir de oğlu var. Her biri kızını diğer dördünden birinin oğluyla evlendirmiş.

Ali’nin damadının babasının gelini, Berkay’ın oğlunun baldızıdır ve Cevdet’in gelinin babasının damadı Deniz’in kızının görümcesidir.

Berkay’ın gelininin babasının gelini ile Deniz’in damadının babasının damadının kayınvalideleri aynıdır. Fakat durum aslında çok basittir; çünkü gelinlerden hiçbiri, kayınpederinin kızının baldızı değildir.

Erkan’ın kızı kiminle evlidir?