Ünlü Matematikçiler
David Hilbert portresi
Matematikçi & Mantıkçı
David
Hilbert

20. yüzyılın en etkili matematikçisi. 23 problemle bir çağı yönlendirdi, aksiyomatik temeli kurdu, Hilbert uzaylarını inşa etti ve matematiğin sınırlarını Gödel'e bırakmak zorunda kaldı.

23 Problem Paris 1900 Kongresi
"Geleceğin matematik gündemini belirledi"
"Wir müssen wissen, wir werden wissen." — Bilmeliyiz, bileceğiz. (Hilbert'in son sözleri)
1862 Königsberg, Prusya
1895 Göttingen'e taşınma
1900 23 Problem
1920 Hilbert Programı
1943 Göttingen
23
Paris 1900'de önerilen açık problem
Hilbert uzayının boyutu — sonsuz boyutlu
69
Göttingen'deki öğrenci doktora sayısı
1931
Gödel'in eksiklik teoremini yayımladığı yıl
Hilbert'in gençlik yılları ve Königsberg
01 — Erken Yaşam
Königsberg'den Göttingen'e

David Hilbert, 23 Ocak 1862'de Königsberg'de doğdu. Lise yıllarında matematiğe derin bir ilgi geliştirdi; Königsberg Üniversitesi'nde doktorasını tamamladıktan sonra burada öğretim üyesi olarak kaldı. Genç yaşta ürettiği çalışmalar, özellikle değişmezler teorisindeki devrimci yaklaşımı, onu kısa sürede tanınan bir isim yaptı.

1895'te Felix Klein'ın daveti üzerine Göttingen Üniversitesi'ne geçti. Burası, Hilbert'in ölümüne dek mesleğini sürdüreceği, dünyanın matematik başkentine dönüştüreceği yer oldu. Gauss, Riemann ve Dirichlet'in de yurdu olan Göttingen, Hilbert önderliğinde 20. yüzyılın ilk otuz yılında matematiğin küresel merkeziydi.

erken yaşam
Hilbert'in 23 problemi — Paris 1900
02 — 23 Problem
Bir Kongreyle Yüzyılı Yönetmek

1900 Paris Matematik Kongresi'nde Hilbert, 20. yüzyıl için 23 açık problem sundu. Bu liste, o yüzyılın matematik araştırma gündemini büyük ölçüde belirledi. Problemlerin bir kısmı çözüldü, bir kısmı hâlâ açık:

1 Cantor'un süreklilik hipotezi
2 Aritmetiğin tutarlılığı
3 Eş hacimli çokyüzlüler
7 Aşkın sayılar
8 Riemann hipotezi — açık
10 Diyofant denklemleri — çözüldü
16 Cebirsel eğrilerin topolojisi
17 Pozitif tanımlı formlar
23 Varyasyonlar hesabı
23 problem
Hilbert uzayları ve fonksiyonel analiz
03 — Matematiğe Katkılar
Hilbert Uzayları ve Aksiyomatik Temel

Hilbert Uzayları: Sonsuz boyutlu iç çarpım uzayı kavramını geliştirdi. Kuantum mekaniğinin matematiksel dili olan bu yapı, bugün fizik, mühendislik ve veri biliminin temel aracıdır.

⟨u,v⟩ İç çarpım — uzayın geometrisi
‖f‖ Norm — sonsuz boyutlu mesafe
Kare integrallenebilir fonksiyonlar uzayı
φₙ Ortonormal baz — Fourier'in genellemesi

Değişmezler Teorisi: Hilbert'in ilk büyük başarısı, o güne kadar çözülemeyen sonlu üretim teoremine varoluş ispatı getirmesiydi. Paul Gordan buna "Bu matematik değil, teoloji!" dedi; Hilbert güldü ve doğruladı.

Geometrinin Temelleri (1899): Öklid geometrisini modern aksiyomatik sistemde yeniden kurdu; matematiğin titiz temellendirilmesinin şablonunu oluşturdu.

hilbert uzayları
Hilbert Programı ve Gödel'in yanıtı
04 — Program ve Miras
Büyük Hayal ve Gödel'in Cevabı

1920'lerde Hilbert, tüm matematiği eksiksiz, tutarlı ve karar verilebilir bir aksiyom sistemi üzerine inşa etmeyi hedefleyen "Hilbert Programı"nı başlattı. Temel soru şuydu: Matematiğin her doğru önermesi ispat edilebilir mi?

1931'de genç Kurt Gödel, iki eksiklik teoremiyle bu programın imkânsız olduğunu kanıtladı: yeterince güçlü her tutarlı sistem, kendi içinde ispat edilemeyen doğru önermeler barındırır. Hilbert bu sonucu büyük bir hayal kırıklığıyla karşıladı; ama program beraberinde mantık, bilgisayar bilimi ve temel matematikte devasa bir araştırma dalgası getirdi.

14 Şubat 1943'te 81 yaşında Göttingen'de hayatını kaybetti. Mezar taşına kendi sözleri kazındı: "Wir müssen wissen, wir werden wissen."

  • Grundlagen der Geometrie (1899) — Geometrinin aksiyomatik temeli
  • Über die Grundlagen der Logik und der Arithmetik (1904)
  • Methoden der mathematischen Physik (1924, Courant ile)
  • Grundlagen der Mathematik (1934–39, Bernays ile)
miras