Leibniz ve Hesaplamalı Düşünce Vizyonu
Leibniz'in evrensel bir hesaplama dili ve mekanik hesap makinesi vizyonu.
1. Giriş
"Calculemus!" — "Haydi hesaplayalım!" Gottfried Wilhelm Leibniz'in bu ünlü çağrısı, felsefe tarihinin en iddialı önerilerinden birini özetlemektedir: İnsanlar arasındaki tüm anlaşmazlıklar, doğru bir sembolik dil ve uygun bir hesaplama mekanizması kullanılarak çözülebilir [1]. Bu ifade, 17. yüzyılın sonlarında formüle edilmiş olmasına rağmen, yapay zeka tarihinin en erken ve en radikal vizyonlarından birini yansıtmaktadır. Leibniz, düşüncenin hesaplanabileceği fikrini soyut bir felsefe olarak bırakmamış; onu hem evrensel bir sembolik dil projesi (Characteristica Universalis) hem de dört işlem yapabilen mekanik bir hesaplama makinesi (Stepped Reckoner) ile somutlaştırmaya çalışmıştır [2].
1673 yılı, Leibniz'in entelektüel kariyerinde kritik bir dönüm noktasıdır. Bu tarihte Leibniz, Stepped Reckoner adını verdiği mekanik hesaplama makinesini Londra'da Royal Society'ye sunmuştur [3]. Aynı dönemde, yıllardır üzerinde çalıştığı Characteristica Universalis ve onun hesaplama motorunu oluşturacak Calculus Ratiocinator projeleri olgunlaşma aşamasındadır [4]. Leibniz, bu iki projeyi birbirinden ayrılmaz parçalar olarak görmüştür: Biri düşüncenin dilini, diğeri düşüncenin mekanizmasını sağlayacaktır [5].
17. yüzyılın ikinci yarısı, Avrupa'da Bilimsel Devrim'in tam anlamıyla kurumsallaştığı bir dönemdir. Newton'ın Principia Mathematica'sı (1687) henüz yayımlanmamış olsa da, mekanik doğa felsefesi hakimiyetini ilan etmiştir [6]. Royal Society (1660) ve Académie des Sciences (1666) gibi bilimsel akademiler kurulmuş, bilimsel bilgi üretimi bireysel deha çalışmasından kurumsal bir girişime dönüşmeye başlamıştır [7]. Leibniz, bu ortamda hem diplomat, hem filozof, hem matematikçi, hem de mucit olarak faaliyet gösteren, döneminin belki de en çok yönlü entelektüelidir [8].
Bu bölümde, Leibniz'in Characteristica Universalis ve Calculus Ratiocinator projeleri ile Stepped Reckoner makinesi derinlemesine ele alınacak; bu projelerin birbirleriyle ve Leibniz'in genel felsefi sistemiyle olan bağlantıları açıklanacak; yapay zeka tarihindeki kurucu rolleri analiz edilecek; ve Leibniz'in vizyonunun günümüzdeki mirası değerlendirilecektir. Bölüm 1'de incelediğimiz Hobbes'un "düşünce hesaplamadır" tezi, Leibniz ile birlikte felsefi bir sezgiden somut mühendislik projelerine dönüşmektedir — ve bu geçiş, yapay zeka tarihinin kritik bir adımıdır.
2. Literatür Taraması
Leibniz'in hesaplamalı düşünce vizyonu üzerine akademik literatür, felsefe, mantık, matematik tarihi, bilgisayar bilimi ve yapay zeka gibi birbirini kesen birçok disiplinde zengin bir birikim oluşturmuştur.
Leibniz araştırmalarının temel kaynaklarından biri, Leibniz'in kendi yazıları ve mektuplarının sistematik yayınıdır. Sämtliche Schriften und Briefe adlı kritik edisyon, Berlin-Brandenburgische Akademie der Wissenschaften tarafından 1923'ten bu yana devam eden bir proje olarak yayımlanmaktadır ve Leibniz'in düşüncesinin birincil kaynaklarına erişim sağlamaktadır [9]. Bu kapsamlı edisyon, Leibniz'in Characteristica Universalis ve hesaplama makinesi üzerine düşüncelerinin tam kapsamını anlamak için vazgeçilmezdir.
Martin Davis'in The Universal Computer: The Road from Leibniz to Turing (2000) adlı eseri, Leibniz'i modern hesaplama teorisinin entelektüel soy ağacının başlangıç noktası olarak konumlandırmaktadır [2]. Davis, Leibniz'den Boole'a, Frege'den Gödel'e ve Turing'e uzanan mantıksal düşüncenin evrimini izlerken, Leibniz'in Characteristica Universalis projesini bu zincirlemenin kurucu halkası olarak ele almaktadır. Davis'in çalışması, Leibniz'in yalnızca bir matematikçi olarak değil, aynı zamanda modern bilgisayar biliminin kavramsal mimarı olarak yeniden okunmasına katkı sağlamıştır.
Maria Rosa Antognazza'nın Leibniz: An Intellectual Biography (2009) adlı kapsamlı biyografisi, Leibniz'in entelektüel gelişimini dönemin siyasal, dinsel ve kurumsal bağlamı içinde derinlemesine incelemektedir [8]. Antognazza, Leibniz'in projelerinin birbirinden kopuk girişimler olmadığını, aksine tutarlı bir felsefi sistemin farklı yüzleri olduğunu göstermiştir. Bu biyografi, Characteristica Universalis'in Leibniz'in metafizik, teoloji ve diplomasi çalışmalarıyla olan organik bağlantılarını aydınlatmaktadır.
Benson Mates'in The Philosophy of Leibniz: Metaphysics and Language (1986) adlı çalışması, Leibniz'in dil felsefesini ve evrensel karakteristik projesini analitik felsefe perspektifinden ele almıştır [10]. Mates, Leibniz'in sembolik dil projesinin modern formel mantığın doğrudan bir öncüsü olduğunu savunmuş ve Frege ile Leibniz arasındaki entelektüel sürekliliği vurgulamıştır.
Yapay zeka tarihi perspektifinden, Pamela McCorduck'ın Machines Who Think (2004) adlı eseri, Leibniz'i "düşünen makine" kavramının tarihsel öncülerinden biri olarak ele almıştır [11]. McCorduck, Leibniz'in Stepped Reckoner'ını yalnızca bir hesaplama makinesi olarak değil, aynı zamanda "mekanikleştirilmiş düşünce" idealinin somut bir ifadesi olarak yorumlamıştır.
Nils Nilsson'ın The Quest for Artificial Intelligence (2009) adlı eseri, Leibniz'in Calculus Ratiocinator kavramını modern yapay zeka araştırmaları ile ilişkilendirmiştir [12]. Nilsson, Leibniz'in "akıl yürütmeyi hesaplamaya indirgeme" vizyonunun, 20. yüzyılın sembolik yapay zeka programlarının kavramsal atasını temsil ettiğini vurgulamıştır.
Margaret Boden'ın Mind as Machine: A History of Cognitive Science (2006) adlı iki ciltlik eserinde, Leibniz hem hesaplamalı zihin geleneğinin hem de bilişsel bilimin erken figürlerinden biri olarak konumlandırılmıştır [13]. Boden, Leibniz'in Characteristica Universalis'ini bir "bilgi temsili" (knowledge representation) projesi olarak okuyarak, modern yapay zeka araştırmalarının bilgi mühendisliği alanıyla bağlantısını kurmuştur.
Stuart Russell ve Peter Norvig'in Artificial Intelligence: A Modern Approach (2020) adlı standart ders kitabında, Leibniz'in Characteristica Universalis ve Calculus Ratiocinator kavramları, yapay zekanın felsefi kökleri arasında açıkça anılmaktadır [14]. Bu kaynak, Leibniz'in fikirlerinin çağdaş yapay zeka eğitiminde hâlâ merkezi bir referans noktası olduğunu göstermektedir.
Matthew L. Jones'un The Good Life in the Scientific Revolution (2006) adlı çalışması, Leibniz'in hesaplama makinesi projelerini 17. yüzyılın bilimsel kültürü ve entelektüel ekonomisi bağlamında incelemiştir [15]. Jones, Leibniz'in makinelerinin yalnızca teknik icatlar değil, aynı zamanda bilimsel meşruiyet kazanma stratejilerinin araçları olduğunu savunmuştur.
George Henry Radcliffe Parkinson'ın Leibniz: Logical Papers (1966) adlı derlemesi, Leibniz'in mantık üzerine yazdığı metinleri bir araya getirerek, onun formel mantık ve sembolik hesaplama üzerine düşüncelerinin sistematik bir okumasını mümkün kılmıştır [16]. Parkinson'ın çalışması, Leibniz'in mantığının Aristoteles mantığından nasıl ayrıştığını ve modern matematiksel mantığa nasıl yaklaştığını açıkça göstermiştir.
Florin-Stefan Morar'ın "Leibniz's Concept of a Universal Language" (2014) adlı makalesi, Characteristica Universalis projesini yapay diller ve bilgi temsili sistemleri bağlamında yeniden ele almıştır [17]. Morar, Leibniz'in evrensel dil projesinin modern ontoloji mühendisliği ve semantik web teknolojileriyle olan bağlantılarını ortaya koymuştur.
Türkçe literatürde, Ahmet Arslan'ın Felsefeye Giriş (2012) ve Macit Gökberk'in Felsefe Tarihi (1961) adlı eserleri, Leibniz'in felsefi sistemini Türk okuyucusu için erişilebilir biçimde sunmaktadır [18][19]. Gökberk, Leibniz'in rasyonalizmi ve monadolojisini Batı felsefe tarihi içindeki yerine oturtarak önemli bir Türkçe referans sağlamıştır.
Bu literatür genel olarak değerlendirildiğinde, Leibniz'in hesaplamalı düşünce vizyonunun üç farklı perspektiften ele alındığı görülmektedir: Birincisi, felsefe tarihi perspektifi, Leibniz'i rasyonalist geleneğin doruk noktası olarak okur. İkincisi, bilgisayar bilimi ve yapay zeka tarihi perspektifi, Leibniz'i modern hesaplama kavramının ve yapay zeka vizyonunun öncüsü olarak konumlandırır. Üçüncüsü, eleştirel perspektif, Leibniz'in projelerinin pratik uygulanabilirliğini ve felsefi varsayımlarının geçerliliğini sorgular. Bu üç perspektifin kesişiminde, Leibniz'in yapay zeka tarihi açısından benzersiz bir figür olduğu ortaya çıkmaktadır.
3. Tarihsel ve Teorik Arka Plan
Leibniz'in hesaplamalı düşünce vizyonunu kavramak için, 17. yüzyılın ikinci yarısının entelektüel, siyasal ve teknolojik atmosferini anlamak zorunludur. Bu dönem, Avrupa'da bilimsel bilgi üretiminin hızla kurumsallaştığı, mekanik felsefenin doğa anlayışında hakim paradigma haline geldiği ve matematik dilinin doğayı tanımlamak için en güçlü araç olarak kabul edilmeye başladığı bir çağdır [6].
Leibniz'in entelektüel kökleri, birden fazla felsefi geleneğe uzanmaktadır. Birincisi ve belki de en doğrudan olanı, Ramon Llull'un (1232–1316) Ars Magna adlı eseridir [20]. Llull, kavramları birleştirici bir mekanik cihaz tasarlayarak tüm bilgiyi sistematize etmeyi ve yeni doğruları üretmeyi amaçlamıştır. Leibniz, gençlik yıllarında Llull'un çalışmasından derinden etkilenmiş ve kendi evrensel karakteristik projesinin ilk tohumlarını bu etkileşimden almıştır [8]. Ancak Leibniz, Llull'un kaba mekanik kombinasyonlarını çok yetersiz bulmuş ve bunun yerine matematiksel kesinliğe sahip bir sembolik sistem tasarlamayı hedeflemiştir [2].
İkinci önemli entelektüel kaynak, Bölüm 1'de detaylı biçimde incelediğimiz Thomas Hobbes'tur. Hobbes'un "akıl yürütme hesaplamadır" tezi, Leibniz'in projesinin felsefi meşruiyet zeminini hazırlamıştır [14]. Hobbes, düşüncenin hesaplama olduğunu savunmuş, ancak bu fikri somut bir mekanizmaya veya formel bir dile dönüştürmemiştir. Leibniz, tam da Hobbes'un bıraktığı yerden başlamıştır: Düşünce gerçekten hesaplamaysa, o zaman düşüncenin dilini (Characteristica Universalis) ve hesaplama mekanizmasını (Calculus Ratiocinator ve Stepped Reckoner) inşa etmek mümkün olmalıdır [2].
Üçüncü kritik kaynak, René Descartes'ın Methodus (Yöntem Üzerine Konuşma, 1637) adlı eserinde ana hatlarıyla çizdiği evrensel matematik (mathesis universalis) fikridir [21]. Descartes, tüm bilimlerin temelinde birleşik bir matematiksel yöntemin bulunduğunu savunmuş, ancak bu fikri sistematik bir projeye dönüştürmemiştir. Leibniz, Descartes'ın mathesis universalis kavramını alarak onu çok daha kapsamlı bir biçimde geliştirmiştir; Leibniz'in projesi yalnızca matematiksel bilimleri değil, tüm bilgi alanlarını kapsayan evrensel bir sembolik sistem olarak tasarlanmıştır [10].
Dördüncü kaynak, Blaise Pascal'ın (1623–1662) Pascaline adlı mekanik hesaplama makinesidir [22]. Pascal, 1642'de toplama ve çıkarma işlemlerini otomatik olarak yapabilen bir makine tasarlamıştır. Leibniz, Pascal'ın makinesini görmüş ve ondan derinden etkilenmiş, ancak Pascaline'in sınırlılıklarını — yalnızca toplama ve çıkarma yapabilmesi — aşmayı hedeflemiştir [3]. Leibniz'in Stepped Reckoner'ı, Pascal'ın makinesinin doğrudan bir miras ve genişletmesidir.
Kurumsal ve siyasal bağlam da Leibniz'in projelerini anlamak için önemlidir. Leibniz, Hannover dükü Johann Friedrich ve ardılı Ernst August'un hizmetinde çalışan bir diplomat ve danışmandır [8]. Bu pozisyon, Leibniz'e hem entelektüel özgürlük hem de pratik zorunluluklar getirmiştir. Leibniz, Characteristica Universalis projesini kısmen farklı dilleri konuşan Avrupalı bilim insanları arasında ortak bir iletişim aracı olarak da düşünmüştür — bu boyut, projenin salt felsefi değil, aynı zamanda siyasal ve pratik bir motivasyona da sahip olduğunu göstermektedir [17].
Teknolojik altyapı açısından, 17. yüzyılın ikinci yarısı, hassas mekanik işçiliğin önemli ilerlemeler kaydettiği bir dönemdir [15]. Saat yapımcılığı (horology), mekanik cihazların hassasiyetini artırmış ve Leibniz gibi mucitlere karmaşık mekanik hesaplama makineleri tasarlama olanağı sağlamıştır. Ancak dönemin üretim teknolojisi, Leibniz'in tasarımlarının tam anlamıyla gerçekleştirilmesi için hâlâ yetersizdir — bu durum, Leibniz'in vizyonunun çağının ötesinde olduğunun somut bir kanıtıdır [3].
Leibniz'in felsefi sisteminin merkezinde, birbirine bağlı birkaç temel kavram yer almaktadır. Bunların en önemlileri arasında "yeter sebep ilkesi" (principle of sufficient reason) — her şeyin bir nedeni olduğu ilkesi — ve "çelişmezlik ilkesi" (principle of non-contradiction) sayılabilir [23]. Leibniz, bu iki ilkeyi tüm akıl yürütmenin temeli olarak görmüş ve Characteristica Universalis'i bu ilkelerin mekanik olarak uygulanabilmesini sağlayacak bir araç olarak tasarlamıştır.
4. Ana Konu Analizi
4a. Temel Mekanizmalar: Characteristica Universalis, Calculus Ratiocinator ve Stepped Reckoner
Leibniz'in hesaplamalı düşünce vizyonu, birbiriyle organik olarak bağlı üç projeden oluşmaktadır: Düşüncenin evrensel dili (Characteristica Universalis), bu dil üzerindeki hesaplama kuralları (Calculus Ratiocinator) ve hesaplamanın mekanik gerçekleştirilmesi (Stepped Reckoner) [2].
Characteristica Universalis (Evrensel Karakteristik): Leibniz'in en büyük ve en iddialı teorik projesidir. Temel fikir şudur: Tüm kavramlar, basit ve bölünemez "ilk kavramlar"a (primitive concepts) ayrıştırılabilir; bu ilk kavramların her birine benzersiz bir sembol atanabilir; ve karmaşık kavramlar, bu basit sembollerin kombinasyonlarıyla ifade edilebilir [4]. Leibniz, bu sistemi bir "düşünce alfabesi" (alphabet of human thoughts) olarak adlandırmıştır [1].
Leibniz'in evrensel karakteristik projesi, birkaç temel ilkeye dayanmaktadır. Birincisi, kavramsal atomizm ilkesidir: Tüm karmaşık kavramlar, daha basit kavramların kombinasyonlarına indirgenebilir [10]. İkincisi, sembolik temsil ilkesidir: Her kavram, benzersiz bir sembolle temsil edilebilir ve bu semboller üzerindeki işlemler, kavramlar arasındaki mantıksal ilişkileri yansıtır [16]. Üçüncüsü, evrensellik ilkesidir: Bu sembolik sistem, doğal dillerin muğlaklığından arınmış olarak, tüm bilgi alanlarını — matematik, fizik, hukuk, teoloji, felsefe — kapsayabilir [4].
Bu proje, modern yapay zeka terminolojisiyle "bilgi temsili" (knowledge representation) ve "ontoloji" (ontology) alanlarının doğrudan kavramsal öncüsüdür [13]. Leibniz'in kavramsal atomizmi, 20. yüzyılda Wittgenstein'ın Tractatus'undaki mantıksal atomizm ile, Carnap'ın Aufbau'sundaki kavramsal yapılandırma projesiyle ve modern bilgi temsili sistemlerindeki kavramsal hiyerarşilerle yapısal benzerlikler taşımaktadır [10].
Calculus Ratiocinator (Akıl Yürütme Hesabı): Characteristica Universalis düşüncenin dilini sağlarken, Calculus Ratiocinator bu dil üzerindeki hesaplama kurallarını belirlemektedir [5]. Leibniz'e göre, doğru bir şekilde sembolize edilmiş kavramlar üzerinde mekanik kurallar uygulanarak yeni doğrulara ulaşmak mümkündür. Bu, akıl yürütmenin bir "hesap" (calculus) olarak yeniden tanımlanmasıdır [1].
Leibniz'in Calculus Ratiocinator kavramı, modern formel mantığın ve otomatik teorem ispatlama (automated theorem proving) alanının doğrudan kavramsal atasıdır [2]. Leibniz, mantıksal çıkarımların mekanik ve algoritmik olarak gerçekleştirilebileceğini savunarak, 19. yüzyılda George Boole'un cebirsel mantığına, Gottlob Frege'nin kavram yazısına (Begriffsschrift) ve 20. yüzyılda Alan Turing'in hesaplanabilirlik kuramına giden yolu kavramsal olarak açmıştır [2][14].
Stepped Reckoner (Kademeli Hesaplayıcı): Leibniz'in teorik vizyonunun mekanik gerçekleştirilmesi olan Stepped Reckoner, dört temel aritmetik işlemi — toplama, çıkarma, çarpma ve bölme — otomatik olarak yapabilen bir mekanik hesaplama makinesidir [3]. Leibniz, bu makineyi 1673'te Londra'daki Royal Society'ye sunmuştur [3].
Stepped Reckoner'ın teknik yeniliği, Leibniz'in "kademeli tambur" (stepped drum) veya "Leibniz çarkı" (Leibniz wheel) olarak bilinen mekanizmadır [22]. Bu mekanizma, farklı uzunluklarda dişlere sahip silindirik bir tamburdur ve çarktaki dişlerin sayısı, hangi rakamla çarpma yapılacağını belirler. Bu tasarım, Pascal'ın Pascaline'inde yalnızca toplama ve çıkarma yapmak için kullanılan taşıma mekanizmasının ötesine geçerek, çarpma ve bölme işlemlerini de mekanikleştirmiştir [3]. Kademeli tambur mekanizması, sonraki üç yüzyıl boyunca mekanik hesaplama makinelerinin standart bileşenlerinden biri olmuştur [22].
Ancak Stepped Reckoner'ın pratik performansı, Leibniz'in tasarım vizyonunun çok gerisinde kalmıştır. Makine, taşıma mekanizmasındaki hatalar nedeniyle sık sık yanlış sonuçlar vermiştir [15]. Dönemin metal işleme teknolojisi, Leibniz'in tasarımının gerektirdiği hassasiyeti sağlamaya yetmemiştir [3]. Bu durum, Leibniz'in vizyonunun çağının üretim kapasitesini aştığının somut bir göstergesidir. Bugün hayatta kalan Stepped Reckoner örnekleri — Hannover'deki Leibniz Üniversitesi'nde korunanlar — bu mekanik zorlukların izlerini hâlâ taşımaktadır [8].
4b. Kilit Aktörler ve Katkıları
Leibniz'in hesaplamalı düşünce vizyonu, birden fazla entelektüel ilişki ve kurumsal bağlam içinde şekillenmiştir.
Gottfried Wilhelm Leibniz (1646–1716): Leipzig doğumlu Alman filozof, matematikçi, diplomat ve mucit [8]. Leibniz, Jena ve Altdorf üniversitelerinde hukuk ve felsefe eğitimi almış, 1676'dan itibaren Hannover sarayında kütüphaneci ve danışman olarak çalışmıştır. Leibniz'in çok yönlülüğü olağanüstüdür: Diferansiyel ve integral hesaplamayı (Newton'dan bağımsız olarak) geliştirmiş, ikili sayı sistemini (binary system) tanıtmış, monadoloji metafiziğini kurmuş, mekanik hesaplama makineleri icat etmiş ve siyasal diplomatik görevler yürütmüştür [8]. Bu çok yönlülük, Characteristica Universalis projesinin disiplinler arası kapsamını doğrudan yansıtmaktadır.
Blaise Pascal (1623–1662): Leibniz'in mekanik hesaplama konusundaki en önemli öncüsüdür [22]. Pascal'ın Pascaline'i, Leibniz'e mekanik hesaplamanın mümkün olduğunu göstermiştir. Leibniz, Pascal'ın çalışmasını bir başlangıç noktası olarak almış ve onu çarpma/bölme yetenekleriyle genişletmiştir. İki düşünür arasındaki ilişki, rekabetten çok bir miras ilişkisidir.
Henry Oldenburg (1619–1677): Royal Society'nin ilk sekreteri olan Oldenburg, Leibniz'in İngiltere'deki bilimsel bağlantılarını kurmasında kilit bir rol oynamıştır [8]. Leibniz, Stepped Reckoner'ı Royal Society'ye Oldenburg aracılığıyla sunmuştur. Oldenburg aynı zamanda Leibniz ile Newton arasındaki kalkülüs öncelik tartışmasının ilk kıvılcımlarını ateşleyen mektup trafiğinin de aracısıdır [24].
Isaac Newton (1643–1727): Leibniz ile Newton arasındaki kalkülüs öncelik tartışması, bilim tarihinin en ünlü anlaşmazlıklarından biridir [24]. Her iki düşünür, diferansiyel ve integral hesaplamayı bağımsız olarak geliştirmiştir, ancak Newton Leibniz'i intihal ile suçlamıştır. Bu tartışma, Leibniz'in son yıllarını gölgelemiş ve ölümünden sonra bile devam etmiştir [8]. Ancak ironik biçimde, Leibniz'in geliştirdiği notasyon sistemi (dx, dy, ∫ gibi semboller), Newton'ın nokta notasyonuna göre çok daha kullanışlı bulunmuş ve matematik dünyasında standart haline gelmiştir [24]. Bu durum, Leibniz'in sembolik temsile verdiği önemin pratik bir doğrulamasıdır.
4c. Dönem İçindeki Yeri
Leibniz'in projeleri, kendi döneminde karışık tepkilerle karşılanmıştır. Stepped Reckoner, Royal Society'de ilgiyle karşılanmış, ancak makinenin sürekli arızalanması Leibniz'in itibarını bir ölçüde sarsmıştır [15]. Characteristica Universalis projesi ise, çoğu çağdaşı tarafından fazlasıyla iddialı ve gerçekleştirilemez bulunmuştur [8].
Bununla birlikte, Leibniz'in fikirleri döneminde tamamen yalnız kalmamıştır. John Wilkins'in An Essay Towards a Real Character and a Philosophical Language (1668) adlı eseri, Leibniz'in evrensel dil projesine paralel bir girişimdir [7]. Wilkins, kavramları sınıflandıran ve her kavrama benzersiz bir sembol atayan bir sistem geliştirmiştir; ancak Wilkins'in projesi daha çok pratik bir iletişim aracı olarak tasarlanmışken, Leibniz'in vizyonu çok daha radikal bir biçimde düşüncenin kendisini mekanikleştirmeyi hedeflemiştir [17].
Leibniz'in projeleri, döneminde çözdüğü sorunlar kadar yeni sorunlar da yaratmıştır. Characteristica Universalis'in en temel zorluğu, "ilk kavramlar"ın (primitive concepts) nasıl belirleneceği sorusudur [10]. Leibniz, bu ilk kavramların tam bir listesini hiçbir zaman verememiştir — ve bu sorun, modern ontoloji mühendisliğinde hâlâ çözülmemiş bir problem olmaya devam etmektedir [13].
4d. Genel Yapay Zeka Tarihindeki Yeri
Leibniz'in hesaplamalı düşünce vizyonu, yapay zeka tarihinin "uzun arka planı" içinde birkaç bakımdan benzersiz ve belirleyici bir konuma sahiptir.
Teori ile pratiğin birleştirilmesi: Hobbes, düşüncenin hesaplama olduğunu savunmuştu; ancak bu felsefi bir tez olarak kalmıştı. Leibniz, bu tezi hem bir formel dil (Characteristica Universalis) hem de bir mekanik cihaz (Stepped Reckoner) ile somutlaştırmaya çalışan ilk düşünürdür [2]. Bu geçiş — soyut fikirden somut mekanizmaya — yapay zeka tarihinin temel dinamiklerinden birini önceden gerçekleştirmektedir.
Sembolik yapay zekanın kavramsal şablonu: Leibniz'in Characteristica Universalis + Calculus Ratiocinator sistemi, yapısal olarak 1950'ler ve 60'lardaki sembolik yapay zeka programlarının kavramsal şablonudur [14]. Bu programlarda bilgi, sembolik bir dilde temsil edilir ve bu semboller üzerinde kurallar uygulanarak çıkarımlar yapılır — tıpkı Leibniz'in öngördüğü gibi. McCarthy'nin LISP programlama dili, Newell ve Simon'ın GPS (General Problem Solver) programı ve sonraki uzman sistemler (expert systems), hepsi Leibniz'in vizyonunun farklı boyutlarını gerçekleştirme girişimleri olarak okunabilir [12].
İkili sayı sistemi ve dijital hesaplama: Leibniz'in 1703'te Explication de l'Arithmétique Binaire adlı makalesinde sistematize ettiği ikili sayı sistemi (binary system), modern dijital bilgisayarların matematiksel temelidir [25]. Leibniz, her sayının yalnızca 0 ve 1 kullanılarak ifade edilebileceğini göstermiş ve bu sistemi hem matematiksel hem de felsefi-teolojik açıdan anlamlı bulmuştur (0 = hiçlik, 1 = Tanrı/yaratılış) [25]. Bu keşif, 20. yüzyılda Claude Shannon'ın dijital devre teorisi ve John von Neumann'ın bilgisayar mimarisi ile birleştiğinde, modern bilgi çağının teknik altyapısını oluşturmuştur [2].
Hesaplanabilirliğin sınırlarına örtük işaret: Leibniz, Characteristica Universalis'in tüm soruları çözebileceğine inanmıştır. Ancak 20. yüzyılda Kurt Gödel'in eksiklik teoremleri (1931) ve Alan Turing'in durma problemi (1936), formel sistemlerin temel sınırlılıklarını göstermiştir [2]. İlginç biçimde, Gödel, kendi çalışmasını Leibniz'in geleneğinin bir devamı ve aynı zamanda bir düzeltmesi olarak görmüştür [2]. Bu durum, Leibniz'in projesinin hem ne kadar ileri görüşlü hem de ne kadar iyimser olduğunu göstermektedir.
5. Eleştirel Değerlendirme
Leibniz'in hesaplamalı düşünce vizyonu, hem döneminde hem de sonraki yüzyıllarda çeşitli açılardan eleştirilmiştir.
Pratik gerçekleştirilmezlik: Leibniz, Characteristica Universalis ve Calculus Ratiocinator'u yaşamı boyunca tamamlayamamıştır [8]. Projenin ilk kavramlar listesi hiçbir zaman hazırlanamamış, sembolik notasyon sistemi tutarlı bir bütünlüğe kavuşturulamamış ve Calculus Ratiocinator'un hesaplama kuralları tam olarak formüle edilememiştir [10]. Bu, projenin salt bir ütopya mı yoksa gerçekleştirilebilir bir hedef mi olduğu sorusunu gündeme getirmektedir. Louis Couturat, La Logique de Leibniz (1901) adlı eserinde Leibniz'in mantık çalışmalarını detaylı biçimde incelemiş ve projenin teknik sınırlılıklarını ortaya koymuştur [26].
Kavramsal atomizmin sorunları: Leibniz'in tüm bilgiyi basit kavramların kombinasyonlarına indirgenebileceği varsayımı, 20. yüzyıl felsefesi tarafından ciddi biçimde sorgulanmıştır [10]. Wittgenstein, erken dönem eserinde benzer bir atomist pozisyon benimsemiş, ancak sonraki çalışmalarında bu yaklaşımı terk ederek kavramların anlamının kullanım bağlamından ayrılamayacağını savunmuştur [27]. W.V.O. Quine'ın analiticite eleştirisi de, kavramların birbirinden kesin biçimde ayrılabileceği varsayımını zayıflatmıştır [28]. Bu eleştiriler, Leibniz'in projesinin felsefi varsayımlarının ne kadar sorunlu olabileceğini göstermektedir.
Gödel'in sınırlılık teoremleri: Leibniz, Characteristica Universalis'in prensipte tüm doğruları hesaplanabilir kılacağına inanmıştır. Ancak Gödel'in 1931'deki eksiklik teoremleri, yeterince güçlü herhangi bir formel sistemin kendi tutarlılığını kanıtlayamayan ve ispatlanamayan doğru önermeleri içeren bir yapıda olduğunu göstermiştir [29]. Bu sonuç, Leibniz'in projesinin en temel varsayımını — tüm doğruların hesaplanabileceği iddiasını — mantıksal olarak çürütmüştür.
Mekanik hesaplama makinelerinin sınırlılıkları: Stepped Reckoner, dönemin üretim teknolojisinin yetersizliği nedeniyle güvenilir biçimde çalışamamıştır [15]. Bu durum, vizyoner fikirlerin teknolojik altyapıya bağımlılığını gösteren erken bir örnektir. Yapay zeka tarihinde de benzer dinamik defalarca tekrarlanacaktır — teorik fikirler, donanım ve yazılım kapasitesinin onları destekleyebilecek düzeye ulaşmasını beklemek zorunda kalacaktır.
Anakronizm riski: Leibniz'i doğrudan bir "yapay zeka öncüsü" olarak okumak, belirli bir anakronizm tehlikesi taşımaktadır [8]. Leibniz, "yapay zeka" kavramını kullanmamıştır; onun amacı, insan düşüncesini disipline etmek ve bilimsel iletişimi kolaylaştırmak olmuştur — düşünen makineler yaratmak değil. Ancak bu uyarı kabul edilmekle birlikte, Leibniz'in fikirlerinin yapay zeka geleneğinin oluşumunda oynadığı kavramsal rol inkâr edilemez [14].
Bununla birlikte, Leibniz'in "doğru çıkan" boyutları da kayda değerdir. Sembolik hesaplamanın gücü, 20. yüzyılda matematiksel mantığın ve bilgisayar biliminin gelişimiyle doğrulanmıştır [2]. Formel dillerin bilgi temsili için kullanılması, modern veritabanları, programlama dilleri ve bilgi grafikleri aracılığıyla gündelik gerçeklik haline gelmiştir [13]. İkili sayı sistemi, dijital çağın evrensel dili olmuştur [25]. Leibniz'in vizyonunun bu boyutları, tarihin onu büyük ölçüde haklı çıkardığını göstermektedir.
6. Etik ve Toplumsal Boyutlar
Leibniz'in hesaplamalı düşünce vizyonunun etik ve toplumsal boyutları, doğrudan ve dolaylı olmak üzere iki düzeyde ele alınabilir.
Düşüncenin mekanikleştirilmesinin etik çıkarımları: Leibniz'in "Calculemus!" çağrısı, felsefi ve ahlaki anlaşmazlıkların hesaplama yoluyla çözülebileceği iddiasını taşımaktadır [1]. Bu fikir, ilk bakışta demokratik ve rasyonel görünmektedir: Tartışmalar, retorik güç veya otorite yerine mantıksal hesaplama ile çözülecektir. Ancak bu vizyonun karanlık yüzü de vardır. Eğer tüm anlaşmazlıklar hesaplanabilirse, "doğru" cevap her zaman belirlenebilir demektir — ve bu durumda muhalefet, tartışma ve farklı perspektifler anlamsızlaşır [30]. Bu endişe, günümüzde algoritmik karar verme sistemlerinin "tarafsız" ve "nesnel" olduğu iddialarıyla doğrudan ilişkilidir.
Evrensel dil ve güç ilişkileri: Leibniz'in evrensel dil projesi, tüm insanlığı kapsayan ortak bir iletişim aracı yaratmayı hedeflemiştir [17]. Ancak tarih, "evrensel" dillerin genellikle belirli bir kültürün veya iktidar yapısının çıkarlarını yansıttığını göstermiştir. Modern yapay zeka sistemlerinde de benzer bir sorun mevcuttur: Bu sistemlerin "evrensel" olduğu iddia edilmekte, ancak çoğunlukla İngilizce merkezli, Batılı kültürel varsayımlarla yüklü oldukları eleştirmenlerce vurgulanmaktadır [13].
Entelektüel emeğin otomasyonu: Leibniz, Stepped Reckoner'ı ile hesaplama işçiliğini makinelere devretmeyi amaçlamıştır. Bu niyet, Leibniz'in kendi sözleriyle açıkça ifade edilmiştir: "Mükemmel insanların, hesap yapan kölelerin işiyle saatlerini boşa harcaması, onların onuruna yakışmaz" [3]. Bu ifade, otomasyonun toplumsal boyutlarını — kimin işi otomatize ediliyor, kimin yararına, hangi güç ilişkileri içinde — erken bir dönemde gündeme getirmektedir. Günümüzde yapay zekanın beyaz yakalı işleri otomatize etmesi tartışmaları, Leibniz'in başlattığı bu uzun sürecin en güncel aşamasıdır.
Döneminde öngörülemeyen sonuçlar: Leibniz, projelerinin bir gün dijital bilgisayarlara, yapay zeka sistemlerine ve algoritmik yönetişime yol açacağını muhtemelen öngörmemiştir. Ancak onun "düşünceyi hesaplamaya indirgeme" ve "hesaplamayı makinelere devretme" vizyonu, bu gelişmelerin kavramsal önkoşullarını oluşturmuştur. Bu durum, fikirlerin uzun vadeli toplumsal etkilerinin öngörülemezliği hakkında önemli bir ders sunmaktadır.
7. Güncel Uygulamalar ve Miras
Leibniz'in hesaplamalı düşünce vizyonunun mirası, günümüzde birçok alanda somut biçimde hissedilmektedir.
Formel mantık ve programlama dilleri: Leibniz'in Characteristica Universalis'i, Frege'nin kavram yazısı, Russell ve Whitehead'in Principia Mathematica'sı ve nihayetinde modern programlama dillerinin doğrudan entelektüel soyağacının başlangıcıdır [2]. Bugünün Python, Java veya Haskell gibi programlama dilleri, Leibniz'in "kesin ve muğlaklıktan arınmış bir sembolik dil" idealinin teknik gerçekleşmeleri olarak okunabilir.
Bilgi temsili ve ontoloji mühendisliği: Leibniz'in kavramları hiyerarşik ve birleştirici biçimde organize etme projesi, modern bilgi temsili sistemlerinin, semantik web teknolojilerinin (OWL, RDF gibi) ve yapay zeka ontolojilerinin doğrudan kavramsal öncüsüdür [13][17]. Bu alanlar, Leibniz'in "tüm bilgiyi sistematik biçimde sembolize etme" hedefinin çağdaş versiyonlarıdır.
Otomatik teorem ispatlama: Leibniz'in Calculus Ratiocinator kavramı, 20. yüzyılda geliştirilen otomatik teorem ispatlama programlarının doğrudan kavramsal atasıdır [12]. Bu programlar — özellikle 1950'ler ve 60'lardaki Logic Theorist ve Resolution gibi sistemler — mantıksal çıkarımları mekanik olarak gerçekleştirerek Leibniz'in vizyonunu kısmen gerçekleştirmiştir.
İkili sayı sistemi ve dijital devrim: Leibniz'in ikili sayı sistemi, Claude Shannon'ın 1937'de Boole cebri ile elektrik devrelerini birleştirmesiyle birlikte, dijital hesaplama çağının matematiksel temeli haline gelmiştir [25]. Her modern bilgisayar, akıllı telefon ve yapay zeka sistemi, Leibniz'in 0 ve 1'lerinden oluşan bir evren üzerinde çalışmaktadır.
Mekanik hesaplama geleneği: Leibniz'in Stepped Reckoner'ı ve kademeli tambur mekanizması, 18. ve 19. yüzyıllardaki mekanik hesaplama makinelerini doğrudan etkilemiştir [22]. Thomas de Colmar'ın Arithmometer'ı (1820) ve Charles Babbage'ın Fark Makinesi (Difference Engine), Leibniz'in başlattığı mekanik hesaplama geleneğinin devamıdır.
Akademik miras: Leibniz, disiplinler arası düşüncenin erken ve güçlü bir örneğini temsil etmektedir. Onun çalışmaları, felsefe, matematik, mantık, mühendislik ve dil bilimi arasındaki sınırları aşan bir bütünlük sergilemiştir [8]. Bu disiplinler arası yaklaşım, günümüzde yapay zeka araştırmalarının — bilgisayar bilimi, dilbilim, felsefe, nörobilim ve psikolojinin kesişiminde yer alan — doğasını önceden yansıtmaktadır.
8. Bölüm Özeti
Bu bölümde, Gottfried Wilhelm Leibniz'in 1673 yılında somutlaşmaya başlayan hesaplamalı düşünce vizyonu — Characteristica Universalis (evrensel sembolik dil), Calculus Ratiocinator (akıl yürütme hesabı) ve Stepped Reckoner (mekanik hesaplama makinesi) — kapsamlı biçimde incelenmiştir. Leibniz, Bölüm 1'de ele aldığımız Hobbes'un "düşünce hesaplamadır" tezini bir adım ileri taşıyarak, bu fikri hem bir formel dil hem de bir mekanik cihaz ile somutlaştırmaya çalışan ilk düşünür olmuştur.
Leibniz'in projesi, yapay zeka tarihinin birden fazla temel temını — bilgi temsili, formel akıl yürütme, mekanik hesaplama, ikili sayı sistemi — tek bir vizyonda birleştiren olağanüstü bir entelektüel girişimdir. Bu projenin tamamlanamamış olması, onun tarihsel önemini azaltmamaktadır; aksine, Leibniz'in başarısızlıkları, yapay zeka araştırmalarının karşılaşacağı temel zorlukları — hesaplanabilirliğin sınırları, bilgi temsilinin güçlüğü, teori ile pratik arasındaki uçurum — önceden haber vermiştir.
Leibniz'in vizyonu, onu yapay zeka tarihinin en önemli "kurucu figürlerinden" biri yapmaktadır. Hobbes düşüncenin hesaplama olduğunu söylemiştir; Leibniz ise bu hesaplamanın dilini, kurallarını ve makinesini inşa etmeye girişmiştir. Bu geçiş — felsefeden mühendisliğe — yapay zeka tarihinin tekrarlayan bir motifidir.
Bir sonraki bölümde, Leibniz'in matematiksel mirasının başka bir boyutuna — türev zinciri kuralına ve bu kuralın modern derin öğrenme algoritmalarındaki kritik rolüne — odaklanacağız. Leibniz'in kalkülüs notasyonu, yüzyıllar sonra geri yayılım (backpropagation) algoritmasının matematiksel temelini oluşturacak ve yapay zeka tarihinin teknik altyapısına beklenmedik bir katkı sağlayacaktır.
9. Kaynakça
[1] Leibniz, G. W. (1666). Dissertatio de Arte Combinatoria. Johann Simon Fick & Johann Polycarp Seubold. ("Calculemus" ifadesi ve evrensel karakteristik kavramının erken formülasyonu)
[2] Davis, M. (2000). The Universal Computer: The Road from Leibniz to Turing. W. W. Norton & Company.
[3] Ifrah, G. (2001). The Universal History of Computing: From the Abacus to the Quantum Computer (E. F. Harding, Çev.). John Wiley & Sons. (Stepped Reckoner'ın teknik detayları ve Royal Society sunumu)
[4] Leibniz, G. W. (tarihsiz, ölümünden sonra yayımlanmış yazılar). Characteristica Universalis üzerine fragmanlar. In C. I. Gerhardt (Ed.), Die philosophischen Schriften von Gottfried Wilhelm Leibniz (Cilt 7). Weidmannsche Buchhandlung. (1875–1890)
[5] Rutherford, D. (1995). Philosophy and language in Leibniz. In N. Jolley (Ed.), The Cambridge Companion to Leibniz (ss. 224–269). Cambridge University Press.
[6] Shapin, S. (1996). The Scientific Revolution. University of Chicago Press.
[7] Hunter, M. (1989). Establishing the New Science: The Experience of the Early Royal Society. Boydell Press.
[8] Antognazza, M. R. (2009). Leibniz: An Intellectual Biography. Cambridge University Press.
[9] Leibniz, G. W. (1923–devam ediyor). Sämtliche Schriften und Briefe. Berlin-Brandenburgische Akademie der Wissenschaften (Ed.). Akademie Verlag.
[10] Mates, B. (1986). The Philosophy of Leibniz: Metaphysics and Language. Oxford University Press.
[11] McCorduck, P. (2004). Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence (2. baskı). A K Peters.
[12] Nilsson, N. J. (2009). The Quest for Artificial Intelligence: A History of Ideas and Achievements. Cambridge University Press.
[13] Boden, M. A. (2006). Mind as Machine: A History of Cognitive Science (Cilt 1–2). Oxford University Press.
[14] Russell, S., & Norvig, P. (2020). Artificial Intelligence: A Modern Approach (4. baskı). Pearson.
[15] Jones, M. L. (2006). The Good Life in the Scientific Revolution: Descartes, Pascal, Leibniz, and the Cultivation of Virtue. University of Chicago Press.
[16] Parkinson, G. H. R. (Ed. ve Çev.). (1966). Leibniz: Logical Papers. Oxford University Press.
[17] Morar, F.-S. (2014). Leibniz's concept of a universal language. Journal of the History of Ideas, 75(4), 561–581.
[18] Arslan, A. (2012). Felsefeye Giriş. Adres Yayınları.
[19] Gökberk, M. (1961). Felsefe Tarihi. Remzi Kitabevi.
[20] Llull, R. (1305). Ars Magna (Ars Generalis Ultima). (Modern baskı: A. Bonner (Ed.), Selected Works of Ramon Llull, Princeton University Press, 1985)
[21] Descartes, R. (1637). Discours de la Méthode. Ian Maire.
[22] Williams, M. R. (1997). A History of Computing Technology (2. baskı). IEEE Computer Society Press.
[23] Leibniz, G. W. (1714). Monadologie. (Ölümünden sonra yayımlanmış; modern baskı: R. Latta (Çev.), The Monadology and Other Philosophical Writings, Oxford University Press, 1898)
[24] Hall, A. R. (1980). Philosophers at War: The Quarrel Between Newton and Leibniz. Cambridge University Press.
[25] Leibniz, G. W. (1703). Explication de l'Arithmétique Binaire. Mémoires de l'Académie Royale des Sciences, 85–89.
[26] Couturat, L. (1901). La Logique de Leibniz d'après des documents inédits. Félix Alcan.
[27] Wittgenstein, L. (1953). Philosophische Untersuchungen (Philosophical Investigations). Blackwell.
[28] Quine, W. V. O. (1951). Two dogmas of empiricism. The Philosophical Review, 60(1), 20–43.
[29] Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38(1), 173–198.
[30] Bostrom, N. (2014). Superintelligence: Paths, Dangers, Strategies. Oxford University Press.
10. Tartışma Soruları
1. Analitik: Leibniz'in Characteristica Universalis projesi neden tamamlanamamıştır? Bu başarısızlığın nedenleri felsefi mi, teknik mi, yoksa her ikisi midir? Modern bilgi temsili sistemleri bu sorunları ne ölçüde çözmüştür?
2. Karşılaştırmalı: Hobbes'un "düşünce hesaplamadır" tezi ile Leibniz'in Characteristica Universalis + Calculus Ratiocinator projesi arasındaki temel fark nedir? Bu fark, yapay zeka tarihinde "felsefi vizyon" ile "mühendislik girişimi" arasındaki geçişi nasıl yansıtmaktadır?
3. Spekülatif: Leibniz, dönemin metal işleme teknolojisi Stepped Reckoner'ın tasarımını tam olarak gerçekleştirebilecek düzeyde olsaydı, bilgisayar biliminin ve yapay zekanın tarihi nasıl farklı gelişebilirdi?
4. Etik: Leibniz'in "Calculemus!" — "Haydi hesaplayalım!" — çağrısının etik boyutları nelerdir? Tüm anlaşmazlıkların hesaplama yoluyla çözülebileceği iddiası, günümüzün algoritmik karar verme sistemlerini felsefi olarak meşrulaştırmakta mıdır, yoksa bu sistemlerin tehlikelerine karşı bizi uyarmakta mıdır?
5. Güncel: Leibniz'in Characteristica Universalis projesinin günümüzdeki en yakın karşılıkları hangi teknolojilerdir? Semantik web, bilgi grafikleri (knowledge graphs) ve büyük dil modelleri, Leibniz'in vizyonunu ne ölçüde gerçekleştirmektedir?
6. Analitik: Gödel'in eksiklik teoremleri, Leibniz'in Characteristica Universalis projesinin temel varsayımını — tüm doğruların hesaplanabilir olduğu iddiasını — nasıl çürütmüştür? Bu sınırlılık, modern yapay zeka araştırmaları için ne gibi dersler sunmaktadır?
7. Karşılaştırmalı: Pascal'ın Pascaline'i ile Leibniz'in Stepped Reckoner'ı arasındaki teknik ve kavramsal farklar nelerdir? Bu farklar, mekanik hesaplama tarihindeki ilerlemenin doğasını nasıl yansıtmaktadır?
8. Spekülatif: Leibniz'in ikili sayı sistemi, modern dijital bilgisayarların temelini oluşturmaktadır. Leibniz, bu keşfin bir gün tüm dünya bilgi altyapısını şekillendireceğini öngörmüş müdür? Fikirlerimizin uzun vadeli sonuçlarını öngörememe durumu, yapay zeka araştırmacıları için ne gibi dersler sunmaktadır?
9. Etik: Leibniz, hesaplama işçiliğini makinelere devretmenin insanın "onuruna yakışmayan" bir işten kurtulması olduğunu savunmuştur. Günümüzde yapay zekanın beyaz yakalı işleri otomatize etmesi tartışmalarında Leibniz'in bu argümanı nasıl bir rol oynamaktadır? Otomasyonun "onur" ile ilişkisi nasıl değerlendirilmelidir?
10. Güncel: Leibniz'in "tüm anlaşmazlıkları hesaplama ile çözme" vizyonu, günümüzde algoritmik yargılama, otomatik sözleşme (smart contracts) ve yapay zeka destekli arabuluculuk gibi uygulamalarla kısmen gerçekleşmektedir. Bu uygulamalar, Leibniz'in iyimserliğini haklı mı çıkarmaktadır, yoksa yeni sorunlar mı yaratmaktadır?