Kümeler kuramı o tarihte henüz “yerleşmiş bir ders” değildi; daha çok yeni ve tartışmalı bir temeldi.

• Georg Cantor 1870–90’larda kümeler kuramını kurmuştu, ama bu teori baştan beri paradokslarla sarsıldı.
  
• En ünlüsü, Russell paradoksu (1901 civarı): “Kendisini içermeyen kümelerin kümesi kendini içerir mi?” gibi sorular sistemin tutarsız olabileceğini gösterdi.
  
• Bu kriz yüzünden matematikçiler “her tanımlanabilir şey bir kümedir” gibi naif (naive) anlayışı terk etmek zorunda kaldılar.
  

1910’lara gelindiğinde hâlâ şu soru açıktı:
Matematiğin temeli güvenli mi?

Henüz bugün bildiğimiz aksiyomatik sistemler (örneğin Zermelo–Fraenkel set theory) yeni yeni şekilleniyordu. Yani Russell kitabı yazdığında konu hâlâ “araştırma cephesi” idi.

Evet, doğru hatırlıyorsun: Bertrand Russell’ın büyük projesi şuydu:

> Tüm matematiği saf mantıktan türetmek.

Buna logicism denir.

Russell ve Alfred North Whitehead bunu dev eserleri Principia Mathematica (1910–1913)’da yapmaya çalıştılar.

Temel fikir:

• Sayılar = belli tür kümeler (ya da daha doğru ifadeyle “sınıflar”)
  
• Aritmetik = mantığın özel bir bölümü
  
• Matematik = genişletilmiş mantık
  

Ama Russell paradoksu ortaya çıkınca işler karıştı. Russell bunu çözmek için:

• Tipler teorisi (type theory) geliştirdi
  (kabaca: “her şey her şeyin üyesi olamaz, katmanlar var”)
  

Bu teori çalışır gibi görünse de:

• Aşırı karmaşıktı
  
• Doğal matematiksel pratikle uyumsuzdu
  

Bu çok yerinde bir gözlem.

Introduction to Mathematical Philosophy aslında:

• Principia Mathematica​’nın daha anlaşılır, sadeleştirilmiş bir versiyonu
  
• Teknik sembolik ispatlar yerine fikirlerin anlatımı
  

Ama içeriğe bakınca:

• kardinal sayılar
  
• ordinal sayılar
  
• ilişkiler
  
• sınıflar
  

→ Bunlar bugün doğrudan kümeler kuramı müfredatı gibi görünüyor.

Sebep şu:

> Russell’ın “mantık” dediği şeyin büyük kısmı bugün küme teorisi + matematiksel mantık olarak ayrışmış durumda.

Kısa cevap: Tam anlamıyla evet—ama tamamen değersiz olmadı.

Daha dikkatli söyleyelim:

(a) Büyük darbe: Kurt Gödel (1931)

Gödel’in eksiklik teoremleri:

• Yeterince güçlü bir sistem (örneğin aritmetik içeren bir sistem)
  
• ya eksik olur ya da tutarlılığı kendi içinde kanıtlanamaz
  

Bu şu anlama geliyor:

> Russell’ın “her şeyi mantıktan kesin olarak türetelim” hayali tam başarılamaz.

(b) Modern durum

Bugün matematik genelde şu temele dayanır:

• Zermelo–Fraenkel set theory (+ Seçim aksiyomu)
  
• yani ZFC
  

Bu sistem:

• Russell’ın projesi gibi “mantığa indirgeme” değil
  
• daha çok aksiyomatik bir yapı
  

Yani:

> Matematik artık “mantığın bir parçası” değil,
> aksiyomlara dayalı bağımsız bir yapı olarak görülüyor.

Hayır, burada ince bir nokta var:

• Matematiksel mantık (logic)
  
• Kümeler kuramı
  
• Tip teorisi (bugün bilgisayar biliminde çok önemli!)
  

→ Bunların hepsi Russell’ın programından doğdu.

Özellikle:

• Programlama dilleri
  
• Type systems
  
• Proof assistants
  

→ Russell’ın fikirlerinin modern torunları.

• 1919’da kümeler kuramı henüz krizden çıkmaya çalışan yeni bir alan​dı
  
• Russell, matematiği mantıktan türetmek istedi (logicism)
  
• Bu proje:
  
  • paradokslar
    
  • Gödel teoremleri
    nedeniyle tam başarıya ulaşmadı
    
• Ama:
  
  • modern mantık
    
  • kümeler kuramı
    
  • bilgisayar bilimi
    → büyük ölçüde bu çabanın ürünüdür
    

İstersen bir sonraki adımda şunu yapabiliriz:
Russell’ın “sayı = sınıf” tanımını (örneğin “2 nedir?” sorusuna verdiği cevap) adım adım inceleyelim. Orası gerçekten çok öğretici ve biraz şaşırtıcıdır.

Şöyle bir zincir düşün:

• Russell
  → onun doktora öğrencisi
  → onun doktora öğrencisi
  → onun doktora öğrencisi
  → Ahmet Çevik
  

Bu durumda Çevik, Russell’ın 4. akademik kuşaktan öğrencisi olur.

Bu tür ifadeler genelde üç şey ima eder:

1. Akademik gelenek
   Russell’ın temsil ettiği mantık ve matematik felsefesi geleneğine bağlılık
   
2. Etkilenme hattı
   Fikirlerin doğrudan olmasa bile bir “hoca zinciri” üzerinden aktarılması
   
3. Bir tür entelektüel soy bağı
   Özellikle matematik ve felsefede bu önemsenir
   

İki açıdan bakılabilir:

• Sembolik olarak evet:
  Özellikle Principia Mathematica gibi büyük bir projenin mirasına bağlılık göstergesi
  
• Bilimsel olarak şart değil:
  Modern akademide fikirler makalelerle yayılır; doğrudan “hoca zinciri” zorunlu değildir
  

Ama yine de matematikte bu tür soy ağaçları ciddiye alınır. Hatta bunun için özel projeler bile var (örneğin “Mathematics Genealogy Project”).

Kısacası:
Ahmet Çevik, Russell’ın doğrudan öğrencisi değil; ama akademik silsileyle Russell’a bağlandığını söylüyor. Bu da biraz “entelektüel soy kütüğü” gibi bir ifade.

Bu tür ifadeler genelde şu anlama gelir:

> Resmî doktora danışmanlığı zinciri

Yani her halka şu olmalı:

• A kişisi, B’nin resmî doktora danışmanı
  
• B, C’nin danışmanı
  
• C, D’nin danışmanı
  
• \(\ldots\)
  

Bu zincir belgelenebilir olmalı. Bu yüzden matematikte insanlar genelde Mathematics Genealogy Project gibi veri tabanlarına bakar.

Teorik olarak:

• Alanın ne olursa olsun (fizik, felsefe vs.)
  
• Eğer gerçekten böyle bir doktora zinciri varsa
  

→ evet, diyebilirsin.

Ama pratikte:

• Bu tür ifadeler daha çok matematikçiler ve mantıkçılar arasında ciddiye alınır
  
• Zincir zayıfsa (örneğin alanlar kopuksa), biraz “süs” gibi durur
  

Galileo Galilei için durum farklı:

• 17. yüzyılda modern anlamda doktora sistemi yoktu
  
• “Danışman–öğrenci” ilişkileri bugünkü gibi kayıtlı değil
  

Yani:

> Galileo’dan başlayan resmî ve kesintisiz bir doktora zinciri kurmak genelde mümkün değil

Bu yüzden biri çıkıp:

> “Galileo’nun 7. kuşak öğrencisiyim”

derse, akademik olarak sorulacak ilk soru:

> “Belge nerede?”

• “Dördüncü kuşak” gibi ifadeler:
  → gerçek doktora danışmanlık zincirine dayanmalı
  
• Galileo için:
  → modern anlamda böyle bir zincir kurmak zor
  
• Eğlence amaçlı hesap:
  → bugün olsan muhtemelen ~16. kuşak civarında olurdun
  

İstersen daha da eğlenceli bir şey yapabiliriz:
Russell’dan başlayıp gerçekten belgelenmiş bir akademik soy zinciri bulup “bugün kaçıncı kuşak eder” diye somut bir örnek çıkarabiliriz.

Evet, özellikle Russell için bu oldukça mümkün.

Çünkü:

• Russell 20. yüzyılda yaşadı (modern doktora sistemi var)
  
• Kendisi doğrudan çok fazla doktora öğrencisi yetiştirmedi ama
  etkilediği ve bağlantılı olduğu akademik çevreler güçlü
  
• Bu zincirler genelde:
  
  • Cambridge
    
  • İngiltere matematik/mantık geleneği
    üzerinden devam eder
    

Dolayısıyla:

> Russell → bir öğrenci → onun öğrencisi → \(\ldots\) → günümüz akademisyeni
> şeklinde zincirler kurulabiliyor.

Bu tür zincirlerde bazen şu olur:

• “Resmî danışman” yerine
  “fiilen yönlendiren hoca” kabul edilir
  
• Özellikle eski dönemlerde:
  
  • kayıtlar eksik olabilir
    
  • birden fazla etkili hoca olabilir
    

Yani zincir:

• %100 “resmî” olmayabilir
  
• ama yine de makul ve akademik olarak kabul edilebilir olabilir
  

Çevik şunu ima ediyor:

• Kendi doktora danışmanının soyu araştırılmış
  
• Bu soy bir şekilde Russell’a bağlanıyor
  
• Ve bu bağlantı 4 adımda gerçekleşiyor
  

Bu durumda:

> Bu, tamamen uydurma bir ifade değil;
> büyük ihtimalle gerçekten takip edilmiş bir akademik silsileye dayanıyor.

Bu tür ifadeler:

• matematikte daha sıkı ve net
  
• felsefede biraz daha esnek
  

Çünkü:

• matematikte danışmanlık ilişkileri daha net kayıtlı
  
• felsefede “entelektüel etki” daha fazla devreye girebiliyor
  

Evet, doğru anlıyorsun:

> Ahmet Çevik, doktora hocasından başlayarak
> akademik soyunu Russell’a kadar götürebildiğini söylüyor.

Ve bu, özellikle Russell gibi modern bir figür için
gayet mümkün ve makul bir iddia.

İstersen şimdi gerçekten somut bir zincir çıkaralım:
Russell’dan başlayıp isim isim ilerleyerek “bugün X kişisine kadar 4–5 kuşak” gibi gerçek bir örnek kurabiliriz. Bu, konuyu iyice netleştirir.

S. Barry Cooper (Leeds, computability theory) için akademik soy şu şekilde geriye gider:

• Cooper’ın doktora danışmanı:
  → Reuben Goodstein
  
• Goodstein’ın danışmanı:
  → Ludwig Wittgenstein
  
• Wittgenstein’ın danışmanı / güçlü akademik yönlendiricisi:
  → Bertrand Russell
  

Burada küçük ama önemli bir not

• Wittgenstein’ın durumu biraz “sınırda”:
  
  • Resmî doktora sistemiyle klasik bir “PhD öğrencisi” gibi değil
    
  • Ama Cambridge’de Russell tarafından doğrudan yetiştiriliyor
    

Akademik gelenekte bu genelde kabul edilir. Yani zincir şu olur:

> Russell → Wittgenstein → Goodstein → Cooper → Ahmet Çevik

Bu durumda Çevik’in “4. kuşak” demesi tam oturuyor.

Andrew E. M. Lewis için:

• Alanı yine matematik (özellikle mantık / computability civarı)
  
• Ama onun akademik soyunu Russell’a bağlayan zincir:
  
  • ya daha uzun
    
  • ya da doğrudan belirgin değil
    

Yani:

> Çevik’in “Russell hattı” büyük ihtimalle Cooper üzerinden geliyor.

Bu çok ilginç bir nokta:

• Russell → Wittgenstein → Goodstein
  → bu hat aslında:
  
  • mantık
    
  • matematik temelleri
    
  • hesaplanabilirlik teorisi
    

alanlarının tarihsel gelişim hattı

Yani bu sadece “isim zinciri” değil; aynı zamanda:

> fikirlerin aktarım zinciri

Başta dediğin şeye bağlayalım:

> “Russell matematiği yeniden inşa etmek istiyordu”

İronik şekilde:

• Bu proje tam başarıya ulaşmadı
  
• Ama onun başlattığı hat:
  
  • Wittgenstein
    
  • sonra mantıkçılar
    
  • sonra computability teorisi
    

→ bugün bilgisayar bilimine kadar uzandı

Ve Ahmet Çevik’in alanı olan:

> Π₁⁰ sınıfları (computability theory)
> tam bu hattın modern bir devamı.

Evet, oldukça net bir şekilde söyleyebiliriz:

• Ahmet Çevik’in danışmanı Cooper üzerinden
  
• Russell’a giden 4 halkalı bir akademik zincir var
  

> Russell → Wittgenstein → Goodstein → Cooper → Çevik

Bu yüzden “4. kuşak doktora öğrencisi” ifadesi
sadece retorik değil, teknik olarak da anlamlı.

İstersen bir adım daha ileri gidebiliriz:
Goodstein üzerinden gidip bu hattın Gödel, Turing gibi isimlerle nasıl kesiştiğini göstermek çok ilginç oluyor.

Matematikte bir bağıntı dediğimiz şey:

> İki şey arasında kurulan ilişki

Mesela:

• “x, y’den büyüktür”
  
• “x, y’nin babasıdır”
  
• “x, y’den önce gelir”
  

Bunu modern notasyonla şöyle yazarız:

• \(x R y\)
  

Burada:

• x = sol taraf
  
• y = sağ taraf
  
• okuma: “x, y ile R bağıntısı içindedir”
  

Bugün genelde şöyle düşünürüz:

• \(x < y )\) → “x, y’den küçüktür”
  
• \(x \in A\) → “x, A’nın elemanıdır”
  
• \(xRy\) → “x → y yönünde bir ilişki”
  

Yani:

> soldan sağa bir yön hissi vardır

Bertrand Russell bazen bu yönü ters kuruyor.

Yani onun yazımı şu mantıkta olabiliyor:

> “y, x ile R bağıntısı içindedir”

ama bunu ifade ederken bizim beklediğimiz sıranın tersini kullanabiliyor.

Diyelim ki “baba olma” bağıntısı:

Modern yazım:

• ( father(x, y) )
  → “x, y’nin babasıdır”
  

Russell tarzı (kabaca):

• ilişkiyi öyle tanımlar ki
  
• ifade y’den x’e doğru okunur
  

Yani:

> bizim “x → y” dediğimiz şeyi
> o “y ← x” gibi kurabiliyor

Asıl fark şurada ortaya çıkar:

Modern:

• \(xRy\)
  

Russell’da:

• bazen aynı şeyi ifade etmek için
  
• sıralamayı (y, x) olarak alır
  

Yani:

> Bizim (x, y) dediğimiz sıralı çift
> onun sisteminde (y, x) gibi davranabilir

Bunun iki nedeni var:

(a) Mantık merkezli yaklaşım

Russell için:

• bağıntı = “özne + yüklem” gibi bir şey değil
  
• daha çok mantıksal yapı
  

Dolayısıyla:

> yön, dilsel alışkanlıktan bağımsız

(b) Fonksiyon–bağıntı farkı henüz oturmamış

Bugün:

• fonksiyon → \(x \mapsto f(x)\)
  
• bağıntı → küme olarak \((x,y)\)
  

Ama Russell döneminde:

• bu ayrımlar henüz standartlaşmamış
  

Russell okurken en kritik şey:

> “Bu bağıntı hangi yönde okunuyor?”

Yani kendine şunu sor:

• İlk yazılan mı etkileyen?
  
• Yoksa ikinci yazılan mı?
  

“Bağıntı yönünü ters almak” demek:

> Russell’ın, iki öğe arasındaki ilişkiyi
> bizim alıştığımız (x → y) yönü yerine
> bazen (y → x) gibi kurması

Bu da:

• sıralı çiftlerin
  
• bağıntı tanımlarının
  ters gibi görünmesine neden olur.
  

İstersen bir sonraki adımda Russell’dan kısa bir gerçek cümle alıp “modern notasyona çeviri” yapabiliriz—o zaman bu fark çok net oturuyor.

Yayınevlerinin böyle demesi biraz pazarlama refleksi.

Gerçekten “çığır açan” olan eser:

• Principia Mathematica
  

Çünkü:

• matematiği mantıktan kurma projesinin ana teknik metni odur
  
• sembolik mantıkta devrim yaratır
  

Buna karşılık:

> Introduction to Mathematical Philosophy
> → daha çok açıklayıcı / popülerleştirici / sadeleştirici bir kitaptır

Yani:

• yeni teori kurmaz
  
• mevcut projeyi anlatır
  

Bu yüzden:

> Matematik açısından “çığır açıcı” değil,
> tarihsel olarak önemli bir açıklama metni​dir.

Bu çok kritik ve doğru.

Ama burada ince bir fark var:

Russell’ın amacı:

> “Kümeler kuramı öğretmek” değil

Asıl amacı:

> “Matematiğin temelleri mantıksaldır” tezini göstermek

Fakat bugün baktığımızda:

• onun “sınıf” dediği şey → bizim “küme”
  
• onun analiz ettiği şeyler → bugün set theory + logic
  

olduğu için kitap:

> modern okuyucuya kümeler kuramı kitabı gibi görünür

Bu bir tür tarihsel perspektif kayması.

Oldukça yerinde, ama biraz rafine edebiliriz.

(a) Profesyonel matematikçiler

Evet:

• teknik olarak yeni bir şey vermez
  
• modern aksiyomatik set teoriden çok geride
  

Ama:

• mantığın tarihini anlamak isteyenler için değerli
  

(b) Matematik öğrencileri

Burada sana %100 katılmıyorum.

Doğru:

• standart ders kitabı değil
  
• doğrudan faydalı değil
  

Ama:

> iyi bir öğrenci için “ufuk açıcı” olabilir

Çünkü:

• “2 nedir?” sorusuna farklı bir cevap verir
  
• sayı kavramını inşa etmeye çalışır
  

Bu, normal müfredatta pek yapılmaz.

Burada tamamen haklısın:

> Bu kitap popüler bilim değil

Sebepler:

• eski terminoloji
  
• yoğun mantıksal analiz
  
• pedagojik değil, argümantif
  

Bugün “popüler matematik” diye satılsa:
→ çoğu kişi yarıda bırakır

Bence ideal okuyucu:

• Matematik veya felsefe altyapısı olan
  
• “temeller” sorusuna meraklı biri
  

Yani:

> “Matematik nedir?” sorusunu ciddiye alan kişi

Bu çok yaygın bir deneyim.

Başlık:

> “Mathematical Philosophy’ye giriş”

beklenti:

• büyük, soyut, derin bir disiplin
  
• belki Kant–Hegel tarzı bir şey
  

gerçek:

• sayılar nedir?
  
• sınıflar nedir?
  
• 1 nasıl tanımlanır?
  

Yani:

> Russell “yüksekten uçmuyor”,
> temelden kazıyor

Bu da hayal kırıklığı yaratabiliyor.

Bence şu üç noktada:

(1) Kavramların inşası

• “2 nedir?” sorusuna verilen cevap:
  → “iki elemanlı tüm kümelerin kümesi”
  

Bu, alışılmış sezgiyi kırar.

(2) Matematiğin doğasına dair bir tez

• matematik = mantık mı?
  
• yoksa bağımsız mı?
  

Bu tartışmanın klasik metni

(3) Tarihsel pencere

• kriz döneminde yazılmış
  
• paradoksların hemen sonrası
  

Şunu söyleyebilirim:

> Sen kitabı yanlış anlamamışsın—
> doğru yerden eleştirmişsin.

Sadece küçük düzeltme:

• Bu kitap “kümeler kuramı kitabı” değil
  
• Ama bugün öyle görünmesi kaçınılmaz
  

• “Çığır açıcı” → hayır (bu kitap için)
  
• “Önemli” → evet (tarihsel ve felsefi açıdan)
  
• “Herkese uygun” → kesinlikle hayır
  
• “Yanıltıcı başlık?” → biraz evet
  

İstersen çok ilginç bir şey yapabiliriz:

Russell’ın “1 sayısı nedir?” tanımını alıp
modern kümeler kuramıyla karşılaştıralım.

Orada kitap bir anda “basit bir ders” olmaktan çıkıp
gerçekten felsefi bir şeye dönüşüyor.

1. Evet bu metni yazan pazarlama metni yazmayı çok iyi biliyormuş iyi yazmış
   
2. Ama işte bu kitap o kitap değil. Bu kitap sadece set teorisine giriş ders kitabı, Russell hapishanede vakit geçirmek için yazdığı bir kitap. Tabii, hapishanede hücresinde oturup çalakalem böyle bir kitap yazabiliyorsa doğru kendisine karşı saygım arttı
   
3. Bu kitapla ilgili olarak "mantık" kelimesi geçiyor. Bu bağlamda bu kelimenin anlamı nedir? Bu kelime tanımlanmadıktan sonra burada söylenenlerin hepsi boşa düşer, düşüyor zaten
   
4. Yukarda bahsedilen, sayı, sonsuz, çıkarım, ve matematiksel kesinlik konuları hakkında zaten ayrı ayrı kitaplar yazılabilir
   
5. Öte yandın iyiki çevrilmiş ve güzel çevrilmiş