İçeriğe atla

Ernst Zermelo

Ernst Zermelo
1900'larda Ernst Zermelo
Doğum27 Temmuz 1871(1871-07-27)
Berlin, Alman İmparatorluğu
Ölüm21 Mayıs 1953 (81 yaşında)
Freiburg im Breisgau, Batı Almanya
MilliyetAlman
Mezun olduğu okul(lar)Berlin Üniversitesi
Tanınma nedeni
  • Zermelo küme teorisi
  • Zermelo-Freankel küme kuramı
  • Zermelo seyrüsefer problemi
  • Zermelo ordinali
  • Zermelo teoremi
  • Zermelo teoremi (oyun teorisi)
EvlilikGertrud Seekamp (1944 - ölümüne kadar)
ÖdüllerAckermann–Teubner Memorial Award (1916)
Kariyeri
DallarıMatematik
Çalıştığı kurumlarZürich Üniversitesi
Doktora
danışmanı
Doktora öğrencileriStefan Straszewicz [pl]

Ernst Friedrich Ferdinand Zermelo (/zɜːrˈmɛl/, Almanca telaffuz: [tsɛɐ̯ˈmeːlo]; 27 Temmuz 1871-21 Mayıs 1953), çalışmalarının matematiğin temelleri üzerinde büyük etkileri olan bir Alman mantıkçı ve matematikçiydi. Zermelo–Fraenkel aksiyomatik küme teorisini geliştirmedeki rolü ve iyi-sıralılık ilkesi için kanıtıyla tanınır. Ayrıca, 1929'da[1] satranç oyuncularını sıralama üzerine çalışması, ikili karşılaştırma için bu yöntemi kullanan çeşitli uygulamalı alanlar üzerinde derin bir etkisi olmaya devam eden bir modelin ilk tanımıdır.

Yaşamı

Ernst Zermelo, Freiburg'da (1953)

Ernst Zermelo, Berlin'deki Luisenstädtisches Gymnasium'dan (şimdiki Heinrich-Schliemann-Oberschule [de]) mezun oldu. Daha sonra Berlin Üniversitesi, Halle Üniversitesi ve Freiburg Üniversitesi'nde matematik, fizik ve felsefe okudu. Doktorasını 1894'te Berlin Üniversitesi'nde tamamladı ve varyasyonlar hesabı (Untersuchungen zur Variationsrechnung) üzerine yazdığı tezi için ödüllendirildi. Zermelo, Berlin Üniversitesi'nde kaldı ve burada Planck'a asistan olarak atandı ve onun rehberliğinde hidrodinamik çalışmaya başladı. 1897'de Zermelo, o zamanlar dünyanın önde gelen matematiksel araştırma merkezi olan Göttingen Üniversitesi'ne gitti ve 1899'da habilitasyon tezini tamamladı.

1910'da Zermelo, 1916'da istifa ettiği Zürih Üniversitesi matematik kürsüsüne atandıktan sonra Göttingen'den ayrıldı. 1926'da Freiburg Üniversitesi fahri kürsüsüne atandı ve Adolf Hitler rejimini onaylamadığı için 1935'te istifa etti.[2] İkinci Dünya Savaşı'nın sonunda kendi isteği üzerine Zermelo, Freiburg'daki fahri görevine iade edildi.

Freiburg im Breisgau'nun Günterstal semtindeki Friedhof Günterstal'daki Ernst Zermelo'nun mezar taşı

Küme teorisindeki araştırmaları

1900'de, Uluslararası Matematikçiler Kongresi'nin Paris konferansında, David Hilbert matematik camiasına, gelecek yüzyılda matematikçilerin odaklanması gereken 23 çözülmemiş temel problem listesi olan ünlü Hilbert problemleri ile meydan okudu. Bunlardan ilki, küme teorisi problemi, Cantor tarafından 1878'de tanıtılan süreklilik hipoteziydi ve Hilbert açıklaması sırasında İyi sıralılık ilkesini kanıtlama ihtiyacından da bahsetti.

Zermelo, Hilbert'in etkisi altında küme teorisinin problemleri üzerinde çalışmaya başladı ve 1902'de sonlu ötesi kardinaller'in toplanmasıyla ilgili ilk çalışmasını yayınladı. O zamana kadar Russel paradoksu denen şeyi de keşfetmişti. 1904'te, İyi sıralılık ilkesi'ni (her küme iyi sıralanabilir) kanıtlayarak, süreklilik hipotezine doğru Hilbert tarafından önerilen ilk adımı atmayı başardı. Bu sonuç, 1905 yılında Göttingen'de Profesör olarak atanan Zermelo'ya ün kazandırdı. Güç kümesi aksiyomu ve seçim aksiyomu'na dayanan İyi sıralılık ilkesi hakkındaki kanıtı, çoğunlukla seçim aksiyomunun yapıcı olmayan matematiğin bir paradigması olması nedeniyle tüm matematikçiler tarafından kabul edilmedi. 1908'de Zermelo, Dedekind'in bir kümenin "zinciri" nosyonunu kullanarak daha yaygın olarak kabul edilen gelişmiş bir kanıt üretmeyi başardı; bunun başlıca nedeni, aynı yıl küme teorisinin bir aksiyomatizasyonunu önermesiydi.

Zermelo, 1905'te küme teorisini aksiyomatize etmeye başladı; 1908'de aksiyomatik sisteminin tutarlılığını kanıtlayamamasına rağmen sonuçlarını yayınladı. Orijinal numaralandırmayla ve orijinal aksiyomlarla birlikte bu makalenin ana hatları için Zermelo küme teorisi hakkındaki makaleye bakın.

1922'de Abraham Fraenkel ve Thoralf Skolem bağımsız olarak Zermelo'nun aksiyom sistemini geliştirdi. Ortaya çıkan 8 aksiyom sistemi, şimdi Zermelo–Fraenkel aksiyomları (ZF), şimdi aksiyomatik küme teorisi için en yaygın kullanılan sistemdir.

Zermelo seyrüsefer problemi

1931'de önerilen Zermelo seyrüsefer problemi klasik bir optimal kontrol problemidir. Problem, bir su kütlesi üzerinde O noktasından D varış noktasına doğru seyreden bir tekne ile ilgilidir. Tekne belirli bir maksimum hıza sahiptir ve D'ye mümkün olan en kısa sürede ulaşmak için mümkün olan en iyi kontrolü elde etmek istiyoruz.

Akım ve rüzgar gibi dış kuvvetleri hesaba katmadan, en uygun kontrol, teknenin her zaman D'ye yönelmesidir. Bu durumda yolu, O'dan D'ye bir çizgi parçasıdır ve bu, önemsiz derecede optimaldir. Akım ve rüzgar dikkate alındığında, tekneye uygulanan birleşik kuvvet sıfır değilse, akım ve rüzgar kontrolü optimal yolu sağlamaz.

Yayınları

  • 2013: Zermelo, Ernst, Ebbinghaus, Heinz-Dieter; Fraser, Craig G.; Kanamori, Akihiro (Ed.), Ernst Zermelo—collected works. Vol. I. Set theory, miscellanea, Schriften der Mathematisch-Naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften, 21, Berlin: Springer-Verlag, doi:10.1007/978-3-540-79384-7, ISBN 978-3-540-79383-0, MR 2640544 
  • 2013: Zermelo, Ernst, Ebbinghaus, Heinz-Dieter; Kanamori, Akihiro (Ed.), Ernst Zermelo—collected works. Vol. II. Calculus of variations, applied mathematics, and physics, Schriften der Mathematisch-Naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften, 23, Berlin: Springer-Verlag, doi:10.1007/978-3-540-70856-8, ISBN 978-3-540-70855-1, MR 3137671 
  • 1967: Jean van Heijenoort, From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press.
    • 1904: "Proof that every set can be well-ordered," 139−41.
    • 1908: "A new proof of the possibility of well-ordering," 183-98.
    • 1908: "Investigations in the foundations of set theory I," 199-215.
  • 1913: "On an Application of Set Theory to the Theory of the Game of Chess" in Rasmusen E., ed., 2001. Readings in Games and Information, Wiley-Blackwell: 79-82.
  • 1930: "On boundary numbers and domains of sets: new investigations in the foundations of set theory" in Ewald, William B., ed., 1996. From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols. Oxford University Press: 1219-33.

Başkaları tarafından hakkında yapılan çalışmalar:

  • 1982: Zermelo's Axiom of Choice, Its Origins, Development, & Influence, Gregory H. Moore, being Volume 8 of Studies in the History of Mathematics and Physical Sciences, Springer Verlag, New York.

Ayrıca bakınız

  • Seçim aksiyomu
  • Sonsuzluk aksiyomu
  • Boyut sınırlaması aksiyomu
  • Birlik aksiyomu
  • Boltzmann beyni
  • Seçim fonksiyonu
  • Kümülatif hiyerarşi
  • Çift karşılaştırması
  • Von Neumann evreni
  • 14990 Zermelo asteroidi

Notlar

  1. ^ Zermelo, Ernst (1929). "Die Berechnung der Turnier-Ergebnisse als ein Maximumproblem der Wahrscheinlichkeitsrechnung". Mathematische Zeitschrift. 29 (1): 436-460. doi:10.1007/BF01180541. 
  2. ^ KAPLANSKY, IRVING (2020). SET THEORY AND METRIC SPACES. PROVIDENCE: AMER MATHEMATICAL SOCIETY. ss. 36-37. ISBN 9781470463847. 

Kaynakça

Dış bağlantılar

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Matematik</span> nicelik, yapı, uzay ve değişim gibi konularla ilgilenen bilim dalı

Matematik ; sayılar, felsefe, uzay ve fizik gibi konularla ilgilenir. Matematikçiler ve filozoflar arasında matematiğin kesin kapsamı ve tanımı konusunda görüş ayrılığı vardır.

<span class="mw-page-title-main">Leopold Kronecker</span> Sayılar teorisi ve cebir üzerine çalışan Alman matematikçi (1823-1891)

Leopold Kronecker sayı teorisi, cebir ve mantık üzerine çalışan bir Alman matematikçiydi. Georg Cantor'un küme teorisi üzerine çalışmalarını eleştirdi ve Weber (1893) tarafından "Almanca: Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk " söylemiyle alıntılandı. Kronecker, Ernst Kummer'in öğrencisi ve ömür boyu arkadaşıydı.

<span class="mw-page-title-main">Kurt Gödel</span> Avusturyalı-Amerikalı matematikçi (1906 – 1978)

Kurt Gödel, Avusturyalı-Amerikalı mantıkçı, matematikçi ve matematik felsefecisidir. Kendi ismiyle anılan Gödel'in Eksiklik Teoremi ile tanınır. Aristoteles'ten bu yana en büyük mantıkçılardan biri olarak kabul edilir.

<span class="mw-page-title-main">Richard Dedekind</span> Alman matematikçi (1831–1916)

Julius Wilhelm Richard Dedekind, sayılar teorisi, soyut cebir konularına önemli katkılarda bulunan bir Alman matematikçiydi. En iyi bilinen katkısı, Dedekind kesimi kavramı aracılığıyla reel sayıların tanımıdır. Ayrıca modern küme teorisi ve Mantıkçılık' olarak bilinen matematik felsefesi'nin gelişiminde öncü olarak kabul edilir.

<span class="mw-page-title-main">Eduard Kummer</span> Alman matematikçi

Ernst Eduard Kummer bir Alman matematikçiydi. Uygulamalı matematik konusunda yetenekli olan Kummer, Alman ordusu subaylarını balistik konusunda eğitti; daha sonra, Leopold Kronecker'in matematik kariyerine ilham verdiği, lisenin Almanca karşılığı olan gymnasium’da 10 yıl öğretmenlik yaptı.

<span class="mw-page-title-main">Küme</span> matematiksel anlamda tanımsız bir kavramdır. Bu kavram "nesneler topluluğu veya yığını" olarak yorumlanabilir.

Küme, matematikte farklı nesnelerin topluluğu veya yığını olarak tanımlanmaktadır. Bu tanımdaki "nesne" soyut ya da somut bir şeydir. Fakat her ne olursa olsun iyi tanımlanmış olan bir şeyi, bir eşyayı ifade etmektedir. Örneğin, "Tüm canlılar topluluğu", "Dilimiz alfabesindeki harflerin topluluğu", "Masamın üzerindeki tüm kâğıtlar" tümcelerindeki nesnelerin anlaşılabilir, belirgin oldukları, kısaca iyi tanımlı oldukları açıkça ifade edilmektedir. Dolayısıyla bu tümcelerin her biri bir kümeyi tarif etmektedir. O halde, matematikte "İyi tanımlı nesnelerin topluluğuna küme denir." biçiminde bir tanımlama yapılmaktadır.

<span class="mw-page-title-main">Gérard Debreu</span> Amerikalı matematikçi (1921-2004)

Gérard Debreu, Fransız asıllı fakat 1975'te ABD vatandaşlığına geçmiş olan bir matematikçi ve iktisatçı. 1962'de Kaliforniya Üniversitesi, Berkeley'ye iktisat profesörü olarak atanıp ün yapmıştır. 1983'te Nobel Ekonomi Ödülü'nü kazanmıştır.

<span class="mw-page-title-main">Saul Kripke</span> Amerikalı filozof (1940 – 2022)

Saul Aaron Kripke Princeton Üniversitesi'nden emekli Amerikalı filozof ve mantıkçı. Rockefeller Üniversitesi ve Princeton Üniversitesi'nde dersler verdi. Emekli olduktan sonra, 2003'ten itibaren New York Şehir Üniversitesi'nde öğretim görevlisi oldu. Model mantığın anlambilimine büyük katkılar yaptı. 1960'larda önemli yayınlar çıkardı. İsimlendirme ve Gereklilik adlı kitabı en önemli çalışması olarak bilinir. Ludwig Wittgenstein'ın Felsefi Soruşturmalar adlı eserindeki önermelerinden ilham alarak dilbilimsel anlama şüphecilikle yaklaştı. Wittgenstein ve dilbilim hakkında yayınları vardır.

<span class="mw-page-title-main">Hilbert problemleri</span>

Hilbert problemleri Alman matematikçi David Hilbert tarafından 1900 yılında yayınlanan 23 problemden oluşur. O zamanlar problemlerden hiçbiri çözülemedi ve 20. yüzyıl matematikçileri üzerinde oldukça etkili oldu. Hilbert problemlerinin 10 tanesini Uluslararası Matematikçiler Kongresi'nin 8 Ağustos'ta Paris Üniversitesi'teki kongresinde sundu. Problemlerin tam listesi daha sonra 1902'de Mary Frances Winston Newson tarafından İngilizce olarak Bulletin of the American Mathematical Society'de yayınlandı.

<span class="mw-page-title-main">Hermann Schwarz</span> Alman matematikçi

Karl Hermann Amandus Schwarz karmaşık analiz üzerine çalışan bir Alman matematikçiydi.

<span class="mw-page-title-main">Emmy Noether</span> Soyut cebir ve kuramsal fiziğe çığır açıcı katkılarıyla bilinen Alman Yahudi kadın matematikçi (1882-1935)

Emmy Noether, soyut cebir ve kuramsal fiziğe çığır açıcı katkılarıyla bilinen bir Alman matematikçidir. Pavel Alexandrov, Albert Einstein, Jean Dieudonné, Hermann Weyl, Norbert Wiener ve daha birçok kişi tarafından halka, alan ve cebir teorilerinde devrim yaratan, tarihin en önemli matematikçilerinden biri olarak nitelendirilmiştir. Noether teoremi, simetri ile korunum yasaları arasındaki temel bağı açıklar.

Matematiğin temellerinde, 1901'de Bertrand Russell tarafından keşfedilen Russell Paradoksu, Georg Cantor tarafından yaratılan sezgisel kümeler kuramının resmileştirilmesinin bazı girişimlerin bir çelişkiye yol açtığını gösterdi. Aynı paradoks 1899'da Ernst Zermelo tarafından da keşfedilmişti ancak Zermelo, sadece David Hilbert, Edmund Husserl ve Göttingen Üniversitesi'nin diğer üyeleri tarafından bilinen fikri yayınlamadı. 1890'ların sonunda Cantor, tanımının Hilbert ve Richard Dedekind'e mektupla söylediği bir çelişkiye yol açacağını fark etmişti.

<span class="mw-page-title-main">Set teorisi</span>

Makalenin kısa özeti; farklı nesnelerin koleksiyonları olarak kümeler hakkında konuşur, matematikte birçok kullanımları olduğunu ve matematiğin set teorisinde kodlanabileceğini ve matematiğin çoğunu yapmak için yeterince küme teorisinin aksiyomatize edilebileceğini belirtir. Konunun aksiyomları veya amaçlanan yorumu ile tanımlanıp tanımlanmadığı konusunda tarafsız kalır. Antinomilerden bahsedilirse, aksiyomatizasyonun çözüm olduğunu iddia etmemeli, ancak bazılarının onları aksiyomatizasyon ile çözüldüğünü, diğerleri de kümülatif hiyerarşi ile değerlendirdiğini belirtmelidir. -> Venn diyagramı, ikisinin set matematik Kümeleri. Küme teorisi, gayri resmi olarak nesne koleksiyonları olan matematiksel mantığın ' kümeleri üzerinde çalışan bir dalıdır. Herhangi bir nesne türü bir kümede toplanabilse de, küme teorisi çoğunlukla matematikle ilgili nesnelere uygulanır. Küme teorisinin dili neredeyse tüm matematiksel nesne leri tanımlamak için kullanılabilir.

Demet, matematikte öğelerin sonlu sıralı bir dizisidir. Bir n-demeti, n öğeden oluşan bir dizi, burada n negatif olmayan bir tam sayıdır. Boş demet olarak adlandırılan tek bir 0-demeti vardır. Bir n-demeti, sıralı bir çiftin yapısı kullanılarak endüktif olarak tanımlanır.

<span class="mw-page-title-main">Bronisław Knaster</span> Polonyalı matematikçi

Bronisław Knaster Polonyalı bir matematikçi

<span class="mw-page-title-main">Edmund Landau</span> Yahudi Alman matematikçi (1877-1938)

Edmund Georg Hermann Landau sayı teorisi ve karmaşık analiz alanlarında çalışan Alman matematikçi.

<span class="mw-page-title-main">Heinz Hopf</span> Alman matematikçi (1894–1971)

Heinz Hopf topoloji ve geometri alanlarında çalışan Alman matematikçidir.

<span class="mw-page-title-main">Max Dehn</span>

Max Wilhelm Dehn geometri, topoloji ve geometrik grup teorisindeki çalışmaları ile ünlü, Alman matematikçidir. Almanya'da Yahudi bir ailenin çocuğu olarak dünyaya gelen Dehn'in hayatının ilk yılları ve kariyeri Almanya'da geçti. Ancak, 1935'te emekli olmaya zorlandı ve sonunda 1939'da Almanya'dan kaçtı ve Amerika Birleşik Devletleri'ne göç etti.

Naif küme teorisi, 19. yüzyılın sonlarında geliştirilen orijinal küme teorisidir. Bu teori, bir kümenin bazı ortak özelliklerle birleştirilen farklı şeylerin bir koleksiyonu olarak düşünülmesini sağlar. Ayrık matematikten zaten bilinen örneğin, bir kümede hangi öğelerin bulunduğunu gösteren Venn diyagramları veya Boole cebiri gibi kavramların çoğu kullanılır. Saf küme teorisindeki ciddi kusurların keşfine yanıt olarak geliştirilen aksiyomatik küme teorisi ile karıştırılmamalıdır. Çağdaş matematik ve mühendisliğin birçok alanı için yeterince güçlüdür.

Matematikte, Alman matematikçi David Hilbert tarafından 1920'lerin başında formüle edilen Hilbert'in programı, matematiğin temellerini açıklığa kavuşturmaya yönelik ilk girişimlerin tutarsız olduğu bulunduğunda, matematiğin temel krizine önerilen bir çözümdü. Çözüm olarak Hilbert, mevcut tüm teorileri sonlu, sonlu bir aksiyom dizisine dayandırmayı ve bu aksiyomların tutarlı olduğuna dair bir kanıt sunmayı önerdi. Hilbert, gerçek analiz gibi daha karmaşık sistemlerin tutarlılığının daha basit sistemleri kullanarak kanıtlayabileceğini gösterdi.Sonuçta matematiğin tamamının tutarlılığı temel aritmetiğe indirgenebilir.