Sayılar Bizi Terk Etmez: Kaosun Ortasında Platoncu Bir Sığınak

Dünya bazen kötü tasarlanmış bir simülasyon gibi davranır: hava durumu fikrini değiştirir, ekonomi tansiyon hastası gibi iner çıkar, insanlar dün savunduğunu bugün utangaç bir sessizlikle inkâr eder. Bedende yaşlanma, toplumda kriz, zihinde gürültü vardır. Böyle bir evrende insanın içinden şu çocuksu ama çok ciddi soru yükselir: Hiç değişmeyen bir şey yok mu? Matematiksel Platonizm tam bu noktada sahneye, pelerinini savurarak değil, sessiz bir kesinlikle çıkar. Der ki: Evet, var. Sayılar.

Matematiksel Platonizm, matematiksel nesnelerin insan zihninden bağımsız olarak var olduğunu savunur. Yani iki sayısı, biz onu yazmadan önce de vardı; Pisagor teoremi, Pisagor doğmadan önce de doğruydu; asal sayılar, evrende onları sayacak hiçbir canlı olmasa bile tuhaf ve inatçı bir düzen içinde duruyordu. Bu görüşe göre matematik icat edilmez, keşfedilir. Matematikçi, sıfırdan ülke kuran bir kral değil; çok eski, sisli ve görkemli bir kıtaya ayak basan kâşiftir.

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?