Giuseppe Peano: Modern Matematik Mantığının Öncülerinden

Cuneo'lu çiftçi çocuğu

Giuseppe Peano 27 Ağustos 1858'de Kuzey İtalya'nın Cuneo eyaletinde, Spinetta kasabasında çiftçi bir ailenin oğlu olarak doğdu. Çocukluğu tarlada geçti; ama matematik için doğa üstü bir yetenek gösterdi.

12 yaşında Cuneo'da liseye başladı. Torino Üniversitesi'nde matematik okudu (1876-1880). 22 yaşında doktorasını verdi; o sıralarda Enrico D'Ovidio'nun asistanı olarak çalışıyordu.

Torino kariyeri

Peano hayatı boyunca Torino'da kaldı. 1890'da Torino Üniversitesi profesörü oldu; aynı zamanda Askeri Akademi'de matematik dersi verdi. 1932'de ölümüne kadar Torino'da yaşadı.

1889: Peano aksiyomları

Peano'nun matematikteki en ünlü katkısı: doğal sayıların aksiyomatik tanımı. 1889'da yayımladığı "Arithmetices principia, nova methodo exposita" eserinde:

Peano aksiyomları:

1. 0 doğal sayıdır.
2. Her doğal sayının bir ardılı (successor) vardır.
3. 0 hiçbir doğal sayının ardılı değildir.
4. Farklı doğal sayıların ardılları farklıdır.
5. Tümevarım ilkesi: Bir özellik 0 için doğruysa ve bir $n$ için doğru olduğunda $n+1$ için de doğruysa, tüm doğal sayılar için doğrudur.

Bu beş aksiyom tüm aritmetiği tanımlar. Toplama, çarpma, sıralama — hepsi bu aksiyomlardan türetilir.

Bu, modern matematiğin aksiyomatik yaklaşımının temel örneklerinden. Hilbert'in 1900 problemlerinin ve modern mantığın altyapısını etkiledi.

Sembolik mantık

Peano sembolik mantığa büyük katkı yaptı. Bugün kullandığımız sembollerden bazıları onun yaratımıdır:

• $\in$ ("üyedir") — küme teorisi simgesi.
• $\cup$, $\cap$ (birleşim, kesişim) — popüler hale getirdi.
• $\exists$ ("vardır") — niceleyici (logician Frege ile birlikte).

"Formulario Mathematico" (Matematik Formülerleri, 1894-1908): tüm temel matematiği sembolik olarak yazdığı dev eser. 5 ciltlik proje.

Vektör uzayı tanımı (1888)

Peano 1888'de yayımladığı "Calcolo geometrico" kitabında vektör uzayının modern aksiyomatik tanımını verdi. Bu, vektör cebrinin sistematik bir formülasyonudur.

Daha sonra Banach (1922) bu tanımı sonsuz boyutlu uzaylara genişletip modern fonksiyonel analizi kurdu.

Peano eğrisi (1890)

Peano'nun en şaşırtıcı sonucu uzay-doldurucu eğri: 1890'da yayımladığı bir makalede, birim aralığı ($[0, 1]$) birim kareye ($[0, 1] \times [0, 1]$) sürekli ve örten olarak haritalayan bir fonksiyon inşa etti.

Yani 1 boyutlu bir eğri 2 boyutlu bir kareyi tamamen doldurabilir. Bu, "boyut" sezgisini sarstı.

Eğrinin grafiği fraktal benzeri; kendine benzer iterasyon ile inşa edilir. Cantor'un sezgi karşıtı küme teorisi sonuçları gibi, Peano eğrisi de klasik geometrinin sınırlarını gösterdi.

Bu, daha sonra Hilbert ve Sierpiński tarafından farklı uzay-doldurucu eğri varyantları ile genişletildi.

"Latino sine flexione" (1903)

Peano sadece matematikçi değildi; dilbilimci ve uluslararasıcıydı. 1903'te "Latino sine flexione" (Esnek Olmayan Latince) adlı evrensel bir dil icat etti.

Klasik Latince + sadeleştirilmiş gramer (sıklı eklerini kaldırarak). Amaç: bilim dünyasında ortak bir dil.

Bu dil bir süre kullanıldı; Esperanto ve diğer uluslararası dil projelerine yakındır. Bugün hâlâ uzmanlar tarafından inceleniyor.

İlginç: Peano matematik makalelerinin bazılarını "Latino sine flexione"'da yayımladı.

Diğer önemli katkılar

• Peano eğrisi (yukarıda).
• Peano-Jordan ölçüsü: ölçü teorisine erken katkı.
• Diferansiyel denklemlerin var olma teoremi (Peano teoremi, 1886): tek tip sürekli koşul altında.
• Toplam türev ve gradyan kavramının matematik formalizasyonu.

Eğitim ve mentörlük

Peano Torino'da onlarca öğrenci yetiştirdi. Onun mentörlüğü altında "Peano okulu" — Italian matematiksel mantık ve aksiyomatik aritmetik geleneği — gelişti.

Öğrencilerinden:

• Cesare Burali-Forti (küme teorisi paradoksu).
• Mario Pieri (geometrinin aksiyomatik temelleri).
• Alessandro Padoa (mantık aksiyomları).

Kişilik

Peano mütevazı, akademik düşünmüş, uluslararasıcı bir entelektüeldi. Aile hayatına bağlıydı; eşi Carola ile mutlu bir evlilik sürdü.

Pek çok meslektaşı onu "çok sade, dostça, derinden ilgili" bir kişi olarak hatırlardı.

Son yıllar

Peano 1932'de Torino'da 73 yaşında öldü. Cenazesinde İtalyan akademik camiası, sayısız uluslararası matematikçi ve dilbilimciler yer aldı.

Mirası

Peano'nun matematik dünyasındaki etkisi:

• Peano aksiyomları: modern matematiksel mantığın aritmetik temeli.
• Vektör uzayı tanımı: modern lineer cebrin başlangıcı.
• Peano eğrisi: boyut ve süreklilik sezgisinin kırılışı.
• Sembolik mantık katkıları: bugünkü matematiksel notasyonun bir parçası.
• "Latino sine flexione": uluslararası bilim dili projesi.
• Torino matematik okulu: birden çok büyük mantıkçı yetiştirme.

Bir Cuneo çiftçi çocuğu, modern matematiksel mantığın ve aksiyomatik düşüncenin önde gelen mimarlarından biri oldu. Giuseppe Peano: 19. yüzyıl sonu - 20. yüzyıl başının İtalyan dahisi.

Bugün bir matematik öğrencisi "$\in$" sembolünü kullandığında, doğal sayıların aksiyomlarından bahsettiğinde, soyut vektör uzayını düşündüğünde — Peano'nun mirası ile çalışıyor.