Hans Hermes

1970 yılında Oberwolfach Matematik Araştırma Enstitüsü'nde Hans Hermes

Hans Hermes (doğum 12 Şubat 1912 yılında Neunkirchen (Saar) ; † 10 Kasım 2003 ) bir Alman idi matematikçi temellerine büyük katkılarda matematiksel mantık .

Hayat

1931'den itibaren Hermes, Freiburg im Breisgau, Münih ve Münster üniversitelerinde matematik, fizik, kimya, biyoloji ve felsefe okudu. 1937'de Münster'de devlet sınavını geçti ve doktorasını 1938'de fizikçi Adolf Kratzer ve filozof ve mantıkçı Heinrich Scholz ( Mekaniğin aksiyomatizasyonu ) eşliğinde aldı . Daha sonra burslu olarak Göttingen Üniversitesi'ne gitti ve ardından Bonn Üniversitesi'nde asistan oldu . İkinci Dünya Savaşı sırasında, 1940'tan beri Alman Wehrmacht tarafından 1943'e kadar işgal edilen Jersey Channel Island'da ve daha sonra Kiel'deki Donanma Kimyasal-Fiziksel Enstitüsünde ve savaşın sonuna doğru bir askerdi . Toplitz Gölü . 1947'de habilitasyonunu Bonn'daki Ernst Peschl'den ( Riemannian Bölgelerinde Analitik Manifoldlar ) aldı ve daha sonra matematiksel mantığa geri döndüğü Münster'deki Westfalian Wilhelms Üniversitesi'nde diyet hocası ve 1949'dan öğretim görevlisi oldu .

Hans Hermes, öngörülebilirliğin merkezi kavramı olarak Turing makinesine öncülük etti. 1937 gibi erken bir tarihte, Hermes , Turing makinesiyle ilgili olarak, Turing'e çok yakından bağlı olan, ancak evrensel makineyi ve karar problemine referansı içermeyen , Kesin Terimler ve Hesaplanabilir Sayılar başlığı altında bir makale bildirdi . 1954'te, programlanabilir dijital bilgisayarların olanaklarının hesaplanabilir işlevleri içerdiğine, somut hesaplama makinelerinin Turing makineleriyle aynı güce sahip olduğuna dair gayri resmi bir kanıt ortaya çıktı (bkz. Turing tamlığı ).

1952'de Heinrich Scholz ile birlikte matematiksel mantığın gelişimini önemli ölçüde etkileyen ve teşvik eden ansiklopedik bir rapor yayınladı.

1953'te Münster'deki Westphalia Wilhelms Üniversitesi'ndeki etkili Matematiksel Mantık ve Temel Araştırma Enstitüsü'nün yönetimini Heinrich Scholz'dan devraldı . Onun liderliğinde Münster Enstitüsü, sadece Federal Cumhuriyet'i değil, aynı zamanda yurt dışında da etkisi olan genç disiplinin merkezi haline geldi. Wilhelm Ackermann ve Gisbert Hasenjaeger, diğerlerinin yanı sıra Hermes ile oradaydı . 1966 yılında yeni kurulan sandalyeye bir çağrı kabul matematiksel mantık ve matematik temelleri de Albert-Ludwigs Universität Freiburg ve Matematik Enstitüsü'ndeki aynı adlı bir bölüm kurmak başladı. 1977'de orada emekli oldu.

1967'de Hermes Heidelberg Bilimler Akademisi'ne seçildi .

Heinz-Dieter Ebbinghaus'a göre, Hermes'in ders kitapları ve bilimsel çalışmaları, orijinallikleri, doğrulukları ve sezgisel netlikleri ile ikna edicidir . Aynı zamanda zor konuları ve karmaşık kanıtları son derece anlaşılır bir şekilde nasıl aktaracağını bilen seçkin bir akademik öğretmendi.

Hermes, Gottlob Frege'nin Scholz'un çoktan başlamış olduğu eserlerinin yayınlanmasında da yer aldı . Journal of Symbolic Logic'in yardımcı editörüydü. 1962'de Alman Matematiksel Mantık ve Tam Bilimlerde Temel Araştırma Derneği'nin (DVMLG) kurucu üyelerinden biriydi . 1950 yılında kurucuları arasında Matematiksel Mantık ve Matematik Fundamentals Arşiv ile Arnold Schmidt ve Jürgen von Kempski .

Öğrencileri arasında Heinz-Dieter Ebbinghaus , Werner Markwald , Arnold Oberschelp , Walter Oberschelp , Jörg Flum bulunmaktadır .

Yazı tipleri

• Kesin terimler ve hesaplanabilir sayılar . Münster 1937, 110–123 matematik seminerlerinden üniversite ve okul arasındaki bağlantının sürdürülmesine ilişkin dönem raporları.
• Genel mekaniğin aksiyomatizasyonu . Mantık ve kesin bilimlerin temelleri üzerine araştırma, Cilt 3, Leipzig 1938.
• Matematik problemlerini çözmek için makineler . Matematiksel-Fiziksel Dönem Raporları (Göttingen) (1952), 179–189.
• Program kontrollü hesaplama makinelerinin evrenselliği . Matematiksel-Fiziksel Dönem Raporları (Göttingen) 4 (1954), 42–53.
• Dernek Teorisine Giriş , Berlin - Göttingen - Heidelberg 1955, 2. genişletilmiş baskı 1967
• Numaralandırılabilirlik - karar verilebilirlik - öngörülebilirlik. Özyinelemeli fonksiyonlar teorisine giriş , Berlin - Göttingen - Heidelberg 1961, 2. baskı 1971 (Heidelberg ciltsiz olarak).
• Matematiksel mantığa giriş - klasik yüklem mantığı , Teubner Verlag, Stuttgart 1963, 2. genişletilmiş 1969.
• Seçim operatörüyle terim mantığı , Berlin, 1965.
• Klaus Heidler ve Friedrich-Karl Mahn ile: Özyineli fonksiyonlar , Mannheim - Viyana - Zürih 1977.
• Sayılar ve oyunlar , Heinz-Dieter Ebbinghaus , Friedrich Hirzebruch , Hermes ve diğerleri: Numbers , Springer Verlag, 3. baskı 1992
• Karar problemi ve domino oyunları , Konrad Jacobs (Ed.) Selecta Mathematica II , Springer, Heidelberger Taschenbücher, 1970
• Werner Markwald ile: Matematiğin Temelleri, Behnke, Süss, Fladt: Matematiğin Temelleri , Cilt 1, 1958, Vandenhoeck ve Ruprecht
• Heinrich Scholz Mathematical Logic , Encyclopedia of Mathematical Sciences, New Series, 1952 ile
• ile Gottfried Köthe : Dernekleri Teorisi , Matematiksel Bilimler Ansiklopedisi, Yeni Serisi, 1939

Edebiyat

• Friedrich Ludwig Bauer : Von Neumann hesap makinesini kim icat etti? , Informatik-Spektrum 21 (1998) 2, 84-88
• Heinz-Dieter Ebbinghaus: Hafızada Hans Hermes : Freiburger Universitaetsblaetter, Heft 162 (2003), sayfa 219-221.
• Walter Oberschelp: Hans Hermes , Yıllık Rapor DMV, Cilt 112, 2007, s. 99–109

İnternet linkleri

• Münster Üniversitesi'nde matematik tarihi, Hermes Biyografisi, pdf
• Alman Milli Kütüphanesi kataloğunda Hans Hermes tarafından yazılmış ve Hans Hermes hakkında literatür
• Adolf Kratzer'in biyografisinin 4.1. Bölümü

Bireysel kanıt

1. ^ Gabriele Dörflinger: Heidelberg Bilimler Akademisi'nde Matematik . 2014, s. 26-27.