Cetvel ve Pergelin Duvara Çarptığı An: İmkânsız İnşalar Ne Öğretti?

Bir cetvel, bir pergel ve görünürde masum üç soru: Verilen bir açıyı üç eş parçaya bölmek mümkün mü? Herhangi bir küpün hacmini iki katına çıkaracak yeni bir küp çizilebilir mi? Bir daireyle aynı alanı taşıyan kare kurulabilir mi? Antik Yunan geometrisinin bu üç yıldız problemi, yüzyıllar boyunca matematikçileri peşinden sürükledi. Sorular o kadar yalındı ki, çözümün mutlaka çok zekice bir çizimde saklandığı düşünüldü. Fakat asıl sürpriz şuydu: Bazı problemler henüz çözülmemiş değildi; verilen kurallar altında gerçekten çözülemezdi.

İmkânsızlık, başarısızlık değildir

Klasik inşalarda yalnızca işaretsiz bir cetvel ve pergel kullanılabilir. Cetvel iki noktadan doğru geçirir, pergel bir merkezden belirli yarıçapta çember çizer. Bu araçlar basit görünür; ama güçleri son derece kesindir. Onlarla yapılabilen her yeni uzunluk, başlangıçtaki uzunluklardan belirli cebirsel işlemlerle, özellikle toplama, çıkarma, çarpma, bölme ve karekök alma yoluyla türetilir. Başka bir deyişle çizim masasında görünen şey, arka planda sayıların katı bir hiyerarşisidir.

Örneğin küpü iki katına çıkarma problemi, kenar uzunluğu 1 olan bir küp için kenarı küpkök 2 olan bir küp inşa etmeyi gerektirir. Oysa cetvel-pergel dünyası kareköklerle ilerler; küpkök 2 ise gerekli türden bir sayı değildir. Açıyı üçe bölme de genel durumda benzer bir engele takılır. Bazı özel açılar, örneğin 90 derece, üçe bölünebilir; ama her açı için çalışan evrensel bir yöntem yoktur. Buradaki incelik önemlidir: Matematik, tek tek başarılı örneklerle değil, tüm örnekleri kapsayan kanıtlarla konuşur.

Dairenin karesini alma ise daha dramatik bir son taşır. Böyle bir inşa, π sayısının kareköküyle bağlantılı bir uzunluğu üretmeyi gerektirirdi. Ferdinand von Lindemann, 1882’de π’nin aşkın olduğunu, yani hiçbir tam katsayılı polinom denkleminin kökü olamayacağını gösterdi. Böylece sorun, çizim becerisinden sayı kuramına sıçradı ve kesin olarak kapandı. Binlerce yıl süren arayışın sonucu bir şekil değil, bir sınır bilgisi oldu.

Düşünce tarihindeki kırılma

Bu sonuçlar, matematiğin sadece cevap üretme sanatı olmadığını gösterdi. Matematik aynı zamanda hangi soruların hangi araçlarla cevaplanamayacağını araştırır. Pierre Wantzel’in 1837’de küpü iki katına çıkarma ve genel açı üçleme üzerine geliştirdiği kanıtlar, geometrik sezginin cebirsel yapıyla denetlenebileceğini ortaya koydu. Ardından Galois kuramı, denklemlerin çözülebilirliğini bir formül bulma meselesi olmaktan çıkarıp simetri meselesine dönüştürdü. Bir problemin görünüşü geometrik olabilir; kaderini ise görünmeyen cebirsel ilişkiler belirleyebilir.

Bu dönüşüm felsefi açıdan da güçlüdür. İnsan zihni çoğu zaman “Yeterince uğraşırsam yaparım” varsayımıyla hareket eder. İmkânsızlık kanıtları buna daha olgun bir karşılık verir: Çaba değerlidir, fakat önce oyunun kurallarını anlamak gerekir. Bir kapının kapalı olması, anahtarın henüz bulunamadığı anlamına gelmez; bazen o duvarda kapı yoktur. Bu ayrım, bilimsel düşüncenin verimliliğini artırır. Enerjiyi çözümsüz bir yöntemde tüketmek yerine, araçları değiştirmek gerekir.

Nitekim işaretsiz cetvele iki işaret eklemek, origami kullanmak ya da mekanik eğrilerden yararlanmak bazı yasaklı inşaları mümkün kılar. Demek ki imkânsızlık mutlak değil, koşulludur. Bu ders günümüz teknolojisine kadar uzanır: Bir algoritmanın belirli sınırlar altında çözemediği bir görev, başka bir hesaplama modeliyle ele alınabilir. Klasik inşalar böylece bize zarif bir düşünme disiplini bırakır: Önce hedefi tanımla, sonra araçların gücünü ölç, en sonunda da sınırın ardında yeni bir dünya olup olmadığını sor. Bazen en yaratıcı çözüm, çizilemeyen şeklin neden çizilemediğini kanıtlamaktır.

Hiçliğin Bile Bir Adresi Var: Boş Kümenin Şaşırtıcı Gerçeği

Boş küme ilk bakışta matematiğin en mütevazı nesnesi gibi görünür: İçinde hiçbir eleman yoktur. Ne elma vardır, ne sayı, ne fikir, ne de kayıp çorap. Gösterimi de sade ve neredeyse sessizdir: ∅. Fakat bu küçücük simge, önemli bir zihinsel gerilimi taşır. Eğer boş küme hiçbir şey içermiyorsa, nasıl olur da kendisi matematikte bir “şey” olabilir? Hiçliğin bile bir nesne olarak ele alınması paradoksal görünür. Ancak bu paradoks, çoğu zaman “içermek” ile “olmak” arasındaki farkı karıştırmamızdan doğar.

İçinde hiçbir şey olmayan şey

Bir küme, elemanların bir koleksiyonudur. Örneğin A = {1, 2, 3} kümesinin üç elemanı vardır. B = {kedi, köpek} kümesi iki eleman taşır. Boş kümenin ise eleman sayısı sıfırdır: |∅| = 0. Buradaki kritik nokta şudur: “Elemanı yoktur” ifadesi, “kendisi yoktur” anlamına gelmez. Boş bir kutu düşünelim. Kutunun içinde nesne bulunmayabilir; fakat kutu hâlâ masanın üzerindedir, ölçülebilir, taşınabilir ve etiketlenebilir. Boş küme de benzer biçimde, eleman içermeyen ama tanımlı olan bir matematiksel yapıdır.

Bu ayrım, ∅ ile {∅} arasındaki farkta çarpıcı biçimde ortaya çıkar. ∅, hiçbir elemanı olmayan kümedir. Buna karşılık {∅}, tek bir elemanı olan bir kümedir; o tek eleman da boş kümenin kendisidir. Birincisinin eleman sayısı sıfır, ikincisinin eleman sayısı birdir. Semboller neredeyse aynı görünür; fakat aralarındaki fark, boş bir odayla içinde “boş oda” maketi bulunan bir oda arasındaki fark kadar büyüktür.

Neden yalnızca bir boş küme vardır?

Küme kuramında iki kümenin eşit olması için aynı elemanlara sahip olmaları gerekir. Boş kümenin elemanı yoktur. Başka bir “boş” kümenin de elemanı yoksa, aralarında ayırt edici hiçbir eleman bulunmaz. O hâlde bunlar iki ayrı nesne değil, aynı kümedir. Bu nedenle matematikte boş küme tektir. “Meyvelerden oluşan boş küme” ile “Mars’taki tekboynuzlardan oluşan boş küme”, günlük dilde farklı bağlamlar çağrıştırsa da saf küme kuramında aynı ∅ nesnesine işaret eder.

Boş küme ayrıca matematiksel inşanın başlangıç taşıdır. Doğal sayılar, küme kuramında boş kümeden başlayarak kurulabilir. Sıfır ∅ ile temsil edilir; bir, {∅}; iki, {∅, {∅}} olarak yazılabilir. Böylece sayma fikri, “hiçbir eleman yok” durumundan adım adım yükselir. Bu, yokluğun üretken olabileceğini romantik bir mecaz olarak değil, teknik bir gerçek olarak gösterir: Matematik, ilk tuğlasını boşluktan çıkarabilir.

Paradoks değil, seviye farkı

“Boş küme bir şeyse, içinde kendisi var mı?” sorusu da sıkça gelir. Hayır. ∅ ∈ ∅ ifadesi yanlıştır; çünkü boş kümenin hiçbir elemanı yoktur. Ancak ∅, başka kümelerin elemanı olabilir. Örneğin {∅} kümesinin içindedir. Burada iki ilişkiyi ayırmak gerekir: ∈ işareti “elemanıdır” der, ⊆ işareti ise “alt kümesidir” der. Boş küme, her kümenin alt kümesidir; çünkü sahip olmadığı elemanların o kümede bulunmaması imkânsızdır. Fakat her kümenin elemanı değildir. Matematikte küçük sembol farkları, büyük düşünme farkları yaratır.

Felsefi açıdan boş küme, hiçliğin kendisi değildir; hiçlik hakkında kurulmuş düzenli bir kavramdır. Bir sessizlik kaydı sessizlik değildir, sessizliği kaydeden bir nesnedir. Aynı şekilde ∅ de mutlak yokluk değil, eleman yokluğunu ifade eden matematiksel bir varlıktır. Paradoksun çözümü tam burada saklıdır: Matematik “hiçbir şey”i tutup cebine koymaz. Yalnızca hiçbir elemanı olmayan bir yapıyı tanımlar, onunla işlem yapar ve böylece düşüncenin sınırlarını biraz daha netleştirir.

Dolu Otelde Yeni Misafir Nasıl Yer Bulur? Sonsuzluğun Şaşırtıcı Mantığı

Bir otelin tüm odalarının dolu olduğunu düşünün. Resepsiyondaki görevli, üzgün bir ifadeyle “Yerimiz yok” demek üzeredir ki kapıdan yeni bir misafir girer. Sonra görevli gülümser ve şöyle der: “Elbette yerimiz var.” Bu, kötü işletilen bir otel değil; matematikçi David Hilbert’in tasarladığı ünlü sonsuz oteldir. Otelde 1, 2, 3, 4 diye sonsuza kadar numaralanmış odalar vardır ve her odada bir müşteri kalmaktadır. Yine de yeni gelen kişi için oda bulunabilir.

Bir adım kaymak, bir oda açmak

Çözüm şaşırtıcı derecede basittir. Görevli, her konuğa mevcut oda numarasından bir sonraki odaya geçmesini söyler. 1 numaradaki müşteri 2’ye, 2 numaradaki 3’e, 3 numaradaki 4’e taşınır. Bu işlem herkes için sürer. İlk bakışta “Peki en sondaki müşteri nereye gidecek?” diye sorabilirsiniz. Fakat otelin son odası yoktur. Sayılar sonsuza doğru gider, ama hiçbir sayı “son sayı” değildir. Böylece 1 numaralı oda boşalır ve yeni misafir içeri yerleşir.

Gündelik sezgimiz bu noktada itiraz eder. Sonlu bir otelde tüm odalar doluysa gerçekten boş oda yoktur. Örneğin yüz odalı bir otelde yüz kişi varsa, yüz birinci kişi için yer açmak isteyen görevli en sonunda 100 numaralı odadaki konuğa çarpacaktır. Sonsuz otelde ise bu duvar yoktur. Her odanın bir sonrası vardır. Sonsuzluk, devasa büyüklükte bir sonlu sayı değildir; kuralları sezgisel aritmetiğimizden farklı çalışan ayrı bir kavramdır.

Bir değil, sonsuz yeni misafir

Asıl oyun burada başlar. Otele tek bir kişi değil, sonsuz sayıda yeni misafir gelirse ne olur? Herkesi sadece bir oda kaydırmak yetmez. Ancak görevli daha güçlü bir plan uygular: Eski müşterileri çift numaralı odalara taşır. 1 numaradaki kişi 2’ye, 2 numaradaki kişi 4’e, 3 numaradaki kişi 6’ya gider. Genel kural basittir: n numaralı odadaki müşteri 2n numaralı odaya geçer. Böylece bütün tek numaralı odalar, yani 1, 3, 5, 7 ve devamı, yeni gelen sonsuz misafir grubu için boş kalır.

Bu örnek, sayılabilir sonsuzluk denen fikri görünür kılar. Doğal sayılar kümesi ile çift sayılar kümesi ilk anda farklı büyüklükte görünür: Çift sayılar, bütün sayıların yalnızca bir bölümü gibidir. Ama her doğal sayıyı tam bir çift sayıyla eşleştirebiliriz: 1 ile 2, 2 ile 4, 3 ile 6. Hiç kimse açıkta kalmaz, hiçbir çift sayı da eşsiz değildir. Matematiksel dilde bu iki kümenin eleman sayısı, yani kardinalitesi aynıdır.

Sonsuzluk neden her şeyi kabul etmez?

Hilbert’in oteli “sonsuz olan her şey aynı büyüklüktedir” demek değildir. Örneğin gerçek sayılar, doğal sayılardan daha büyük bir sonsuzluk oluşturur. Ondalık açılımlarıyla tanımlanan gerçek sayıları odalara tek tek yerleştirmeye çalışırsanız, Cantor’un köşegen yöntemi her listeden kaçan yeni bir sayı üretebileceğinizi gösterir. Demek ki otelin kapasitesi sonsuz olsa da, her tür sonsuz misafir akınını karşılayacak kadar büyük değildir.

Hilbert’in oteli bir fizik projesi değil, düşünce deneyidir. Gerçek dünyada sonsuz sayıda oda, enerji ve insan inşa edemeyiz. Yine de bu hayali bina bize önemli bir ders verir: Bir kavramın sınırlarında gündelik dilin kuralları işlemeyebilir. “Dolu”, “yarım”, “daha fazla” ve “yer yok” gibi kelimeler sonsuz kümelerde yeni anlamlar kazanır. Yeni misafire yer açan şey sihir değil; sonsuzluğun son oda tanımamasıdır. Resepsiyondaki görevli de aslında bize şunu fısıldar: Bazen en tuhaf görünen cevap, doğru soruyu sorunca en mantıklı cevap olur.

Doğru Yetmez: Matematiğin Güzellik Takıntısı Nereden Geliyor?

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.

Doğru Sandığımız Şeylerin Mantıkla Kurduğu Tehlikeli Oyun

Günlük hayatta çoğu tartışma, gizlice bir matematiksel mantık problemi gibi davranır: “Eğer beni seviyorsan mesaj atarsın; mesaj atmadın; demek ki sevmiyorsun.” Ne kadar temiz, ne kadar keskin, ne kadar da yanlış olabilecek kadar insanî! Matematiksel mantık bize önermelerle düşünmeyi öğretir: doğru ya da yanlış değeri alabilen cümleler, bağlaçlar, çıkarımlar, koşullu ifadeler… Fakat hayat, tahtaya yazılmış bir doğruluk tablosu değildir. İnsan ilişkileri, eksik verilerle çalışan, duygularla parazitlenen ve çoğu zaman kendi korkularını kanıt diye sunan bir bilinç laboratuvarıdır.

Önerme doğrudur, peki ya dünya?

Bir önerme mantık açısından kusursuz kurulabilir. “Bütün insanlar ölümlüdür. Sokrates insandır. Öyleyse Sokrates ölümlüdür.” Bu, klasik aklın tertemiz zaferidir. Ama gündelik hayatın önermeleri genellikle şöyle başlar: “Herkes zaten böyle yapar”, “Beni aramıyorsa kesin umursamıyordur”, “Başarılı insanlar asla dinlenmez.” Burada sorun mantığın biçiminde değil, öncüllerin karanlıkta seçilmesindedir. Akıl yürütme doğru olabilir; fakat başlangıç noktası zehirliyse sonuç da zarif bir zehir olur.

Felsefi argümantasyon bize yalnızca sonuçlara bakmayı değil, sonuca giden yolu sorgulamayı öğretir. Bir iddia hangi varsayımlara dayanıyor? Hangi kelimeler belirsiz? Hangi duygusal ihtiyaç, kendini “mantıklı sonuç” kılığına sokmuş? İnsan, çoğu zaman hakikati aramaz; kendi içindeki mahkemede beraat etmeye çalışır. Mantık ise o mahkemede ya hâkim olur ya da avukat. Tehlike, onun avukatlığa indirgenmesidir.

Doğruluk tabloları ve kalbin sisli coğrafyası

Matematiksel mantıkta “ve”, “veya”, “ise” gibi bağlaçlar belirli kurallara sahiptir. “P ise Q” ifadesi, P doğruyken Q yanlışsa yanlıştır. Ne güzel! Ama “Eğer beni takdir ediyorsan eleştirmezsin” cümlesindeki koşul, mantığın değil, kırılgan bir egonun ürünüdür. Burada P ve Q, laboratuvar şişelerinde durmaz; geçmiş travmalar, onay ihtiyacı, kıyaslanma korkusu ve güç oyunlarıyla karışır. Jungiyen bir gözle bakarsak, gölge tarafımız çoğu kez önermelerin arasına saklanır. “Ben sadece gerçekçiyim” diyen biri, belki de umutsuzluğunu nesnellik diye pazarlıyordur.

Gündelik yanılsamaların en yaygınlarından biri, geçerli çıkarımı doğru sonuçla karıştırmaktır. Bir argüman biçimsel olarak geçerli olabilir; yani öncüller doğruysa sonuç kaçınılmazdır. Fakat öncüller yanlışsa? “Beni eleştiren herkes düşmanımdır. Ayşe beni eleştirdi. O halde Ayşe düşmanımdır.” Yapı düzgün, ruh hasta. İşte modern insanın trajedisi burada başlar: Kendi korkularına mantık giydirir ve aynada filozof gördüğünü sanır.

Akıl, kılıçtır; ama nereye salladığın önemlidir

Mantık bir savaşçının kılıcı gibidir. Keskinliği, onu haklı yapmaz; yalnızca etkili yapar. Bir tartışmada “mantıksal” görünmek, gerçekten bilge olmak anlamına gelmez. Bilgelik, argümanın sağlamlığını olduğu kadar bağlamını da tartar. “Bu doğru mu?” sorusunun yanına “Neye göre?”, “Hangi düzeyde?”, “Kime ne yaptırıyor?” sorularını koyar. Çünkü bazı doğrular, eksik söylendiğinde yalana hizmet eder. “İnsanlar çıkarcıdır” cümlesi belirli durumlarda doğru olabilir; ama onu evrensel bir yasa gibi kullanırsanız, sevgiye açılan bütün kapıları kendiniz kilitlersiniz.

Teknoloji çağında bu yanılsama daha da büyür. Algoritmalar, veriler ve istatistikler bize sanki çıplak hakikati sunuyormuş gibi görünür. Oysa veri de bir önermeler ormanıdır: neyin ölçüldüğü, neyin dışarıda bırakıldığı, hangi kategorilerin seçildiği önemlidir. “Veriler böyle söylüyor” cümlesi, bazen modern dünyanın “Tanrı böyle buyurdu” cümlesidir. Sorgulanmazsa inanca dönüşür.

Sonuçta matematiksel mantık bize düşünmenin iskeletini verir; felsefi argümantasyon ise o iskelete vicdan, bağlam ve derinlik kazandırır. Günlük hayatta yapmamız gereken, mantığı terk etmek değil; onu putlaştırmamaktır. Her “öyleyse” kelimesinden önce durup sormalıyız: Bu sonuca gerçekten hakikatten mi geldim, yoksa korkum bana gizli bir yol mu çizdi?

Belki de en olgun akıl yürütme şudur: “Düşünüyorum, öyleyse haklıyım” değil; “Düşünüyorum, öyleyse yanılabileceğimi de hesaba katmalıyım.” İşte burada mantık, egonun zırhı olmaktan çıkar; bilincin kılıcı olur.