Bernard Bolzano: Bir Rahibin Sessiz Matematik Devrimi
Çağdaşları onu bir rahip olarak tanırdı. Ölümünden 50 yıl sonra el yazmaları açıldığında matematikçiler modern analizin daha 1817'de kurulmuş olduğunu gördü.

İtalyan-Çek bir oğul
Bernard Placidus Johann Nepomuk Bolzano 1781'de Prag'da doğdu. Babası İtalyan göçmeniydi, annesi Almanca konuşan Bohemyalı. Bolzano üç dilde büyüdü; çocukluğunda matematik ve felsefe ile yoğun ilgilendi.
Prag Üniversitesi'nde matematik, felsefe ve teoloji okudu. 1804'te aynı anda iki sınava girdi: bir matematik kürsüsü, bir de din felsefesi kürsüsü. Din felsefesini kazandı; o zamandan itibaren resmi unvanı "Profesör Rahip" oldu — ama matematikten asla kopmadı.
Tehlikeli vaazlar
Bolzano vaazlarında sosyal eşitsizlik, savaş karşıtlığı, mantıksal düşünce gibi konuları işledi. Bu, 19. yüzyıl başının muhafazakâr Avusturya İmparatorluğu için tehlikeliydi. 1819'da İmparator Franz II onu kürsüsünden uzaklaştırdı, kitaplarını yasakladı, vaaz vermesini engelledi.
Bolzano vaazlardan men edildi ama matematikten men edilemedi. 30 yıl boyunca sessiz bir çiftlikte yaşadı; her gün 6 saat matematik üzerinde çalıştı. Ölene kadar 350+ matematiksel el yazması üretti — çoğu yayımlanmadan kaldı.
1817: "Rein analytischer Beweis"
Sürgün edilmeden hemen önce, 1817'de Bolzano matematik tarihinin önemli makalelerinden birini yayımladı: "Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werten, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege" (Saf Analitik Kanıt: İki Zıt Sonuç Veren Değerler Arasında Denklemin En Az Bir Reel Kökü Olduğu Teoreminin).
Uzun başlığın altında bir bomba var: Ara Değer Teoremi'nin ilk modern, kesin, geometrik veya fiziksel sezgilere başvurmadan kanıtı. Aynı makalede:
- Süreklilik kavramının ilk modern tanımı (- stilinde).
- Cauchy dizilerinin ilk tanımı (Cauchy'den 4 yıl önce!).
- Süreklilik ile sürekli olmamanın titiz farkı.
- Reel sayıların tamlığı sezgisi.
Bunlar bir buçuk asır sonra hâlâ analiz derslerinin temel tanımları olarak okutulur. Bolzano 1817'de moderni inşa etmişti — ama dünyaya neredeyse hiç ulaşmadı.
"Paradoxien des Unendlichen" (1851, ölümünden sonra)
Bolzano sonsuzluk üzerine derin düşündü. Ölümünden 3 yıl sonra yayımlanan "Sonsuzun Paradoksları" kitabında Cantor'dan 25 yıl önce sonsuz kümelerin tuhaf özelliklerini keşfetti:
- Bir sonsuz kümenin kendi öz alt kümesine denk olabileceği gözlemi.
- Doğal sayıların ve çift sayıların "aynı büyüklükte" olduğu sezgisi.
- Sürekli fonksiyonlar üzerinde sonsuz-küçüklerin kullanımının eleştirisi.
Cantor 1870'lerde bu fikirleri sistematik bir teori haline getirdiğinde Bolzano'nun zaten benzer yerlerde dolaştığını fark etti. Modern küme teorisinin "kayıp öncülü" olarak Bolzano anılır.
"Bolzano-Weierstrass teoremi"
- yüzyıl başında Bolzano'nun el yazmaları açıldığında, içlerinde gizli kalmış bir başka teorem ortaya çıktı: Sınırlı her sonsuz reel sayı dizisinin yakınsak bir alt dizisi vardır.
Bu teorem analiz öğretiminde Bolzano-Weierstrass teoremi olarak bilinir — çünkü Karl Weierstrass 1860'larda bunu yeniden keşfedip sistematik biçimde kullandı. Modern analiz, topoloji, fonksiyonel analiz için temel taşlardan biri.
Bolzano bunu 1830'larda biliyordu; ama yayımlamadı. Eğer yayımlasaydı, "Bolzano teoremi" olarak anılacaktı.
Felsefe ve mantık
Bolzano sadece matematikçi değildi; "Wissenschaftslehre" (Bilim Öğretisi, 1837) adlı dört ciltlik felsefi-mantıksal eserinde:
- Tümce-anlam (proposition) kavramının modern temellerini attı.
- Mantıksal sonuç (logical consequence) kavramını formelleştirdi.
- "Analitik" ve "sentetik" doğru ayrımını derinleştirdi (Kant'tan ileri götürdü).
Frege, Husserl, Russell, Carnap — 20. yüzyıl mantıkçılarının çoğu Bolzano'dan ya doğrudan ya dolaylı etkilendi. Modern analitik felsefenin öncülerinden sayılır.
Trajik geç tanınma
Bolzano 1848'de Prag'da öldü. 350 el yazması bir kasada bekledi. 19. yüzyıl sonu ve 20. yüzyıl başında matematikçiler ve felsefeciler bu kasanın açılmasıyla şaşırdı: modern matematiğin neredeyse tüm temel kavramları zaten yazılmıştı, 50-100 yıl önce.
Sonuç: Cauchy, Weierstrass, Cantor, Dedekind — hepsi farkında olmadan Bolzano'nun keşfettiği şeyleri yeniden keşfetti. Bolzano'nun isminin modern terminolojide az olması (sadece Bolzano-Weierstrass teoremi) bu trajik gecikmenin sonucudur.
"Çağının önünde" olmanın bedeli
Bolzano matematik tarihinde "çağının önünde olmak ne işe yarar?" sorusunun klasik bir örneğidir. Yayımlamamak, sürgün edilmek, dilini bilen az kişi olmak — bu üç engel onun katkılarının 50 yıl gecikmesine neden oldu.
Buna rağmen modern matematiğin kurucularından biri olarak hak ettiği yeri buldu. Prag'da onun adına anıt vardır; Çek matematik camiası onu ulusal bilimsel kahraman sayar.
Sessiz bir rahip, sürgünde 30 yıl, 350 el yazması, bir saklı kasa — Bolzano'nun hikâyesi, matematik tarihinde "görünmeyen kurucular"'ın sembolüdür.
Etiketler
Kendinizi Test Edin
Cevaplarınız profilinizde istatistik olarak saklanır.
1. Bolzano 1817'de hangi temel teoremin kesin kanıtını verdi?
2. Bolzano neyden dolayı 1819'da kürsüsünden uzaklaştırıldı?
3. "Bolzano-Weierstrass teoremi" ne der?
4. Bolzano'nun sonsuzluk konusundaki keşifleri kimden ne kadar önceydi?
5. Bolzano'nun felsefedeki ana eseri hangi alana temel oldu?
İlgili Yazılar
Brahmagupta: Sıfıra Kurallar Koyan ve Negatif Sayıları Borç Olarak Tanımlayan 7. Yüzyıl Hintlisi
628 yılında Brahmagupta, sıfırın aritmetiğini ve negatif sayıların kurallarını ilk kez sistematik biçimde yazdı. Borç-mülk metaforuyla negatif sayıları meşrulaştırdı, ikinci dereceden denklem formülünü genelleştirdi.
Bilim TarihiHypatia: İskenderiye'nin Son Büyük Kadın Matematikçisi ve Bir Çağın Sonu
M.S. 4. yüzyıl İskenderiye'sinde, dünyanın en büyük kütüphanesinin gölgesinde bir kadın geometri ve astronomi dersleri veriyordu. Hikâyesi, bir bilim insanının ötesinde, bir çağın bittiğini anlatır.
Bilim TarihiÉtienne Bézout: Fransız Donanmasının Matematik Hocası ve Adı Yanlış Yere Yapışmış Cebirci
Adı bugün her kriptografi dersinde geçen Bézout, hayatta sınava hazırlanan denizci adaylarına ders kitabı yazdı. Ünü, kendi bulmadığı bir teoremden geldi; kendi büyük teoremi ise nesiller boyunca anlaşılamadı.