1937'de Münster'deki devlet sınavı, kariyerini matematiksel mantığın temellerine adamış bir Alman matematikçi olan Hans Hermes'in resmi akademik başlangıcını işaret ediyordu. 1912'de Neunkirchen'de doğan Hermes, 20. yüzyıl Almanya'sının değişen siyasi ve kurumsal manzaralarında yol alarak hesaplanabilirlik ve özyinelemeli fonksiyonlar çalışmasında merkezi bir figür haline geldi.
Erken Akademik Gelişim ve Askerlik Hizmeti
1931'den itibaren Hermes, Freiburg Üniversitesi'nde matematik, fizik, kimya, biyoloji ve felsefe okudu. 1937'de Münster'deki sınavının ardından, Bonn Üniversitesi'nde asistan olarak görev yapmadan önce Göttingen Üniversitesi'nde burslu olarak bulundu. İkinci Dünya Savaşı sırasında kariyeri, 1943'e kadar Jersey adasındaki askerlik hizmeti nedeniyle kesintiye uğradı. Daha sonra Kiel'deki Donanma Kimyasal Fizik Enstitüsü'nde çalıştı ve ardından Toplitzsee'deki kriptografik araştırmalara katıldı.
Matematiksel Mantığın İlerlemesi
1947'de Hermes, Bonn Üniversitesi'nde öğretim görevlisi oldu ve Riemann alanlarındaki analitik manifoldlarla ilgili teziyle habilitasyonunu tamamladı. 1949'da Münster Üniversitesi'nde profesör olarak atandı. Orada, 1953'te Heinrich Scholz'dan Matematiksel Mantık ve Temel Araştırmalar Enstitüsü'nün yönetimini devraldı. Onun rehberliğinde enstitü, Wilhelm Ackermann ve Gisbert Hasenjaeger gibi araştırmacılar için bir uğrak noktası haline geldi. 1950'de Arnold Schmidt ve Jürgen von Kempski ile birlikte 'Matematiksel Mantık ve Matematik Temelleri Arşivi'ni kurarak ve 1962'de Alman Matematiksel Mantık ve Kesin Bilimlerin Temel Araştırmaları Derneği'nin kurulmasına yardımcı olarak alanı daha da şekillendirdi.
Hesaplanabilirlik ve Turing Makineleri Üzerine Araştırmalar
Hermes, öngörülebilirlik için temel bir kavram olarak Turing makinesi konusunda önemli çalışmalar yaptı. 1937 tarihli 'Belirli Terimler ve Öngörülebilir Sayılar' adlı makalesi Turing'in fikirlerini inceledi, 1954 tarihli program kontrollü hesaplama makinelerinin evrenselliği üzerine yayını ise bu tür makinelerin Turing makineleriyle aynı kardinaliteye sahip olduğunu gösterdi. 1966'da, Freiburg Üniversitesi'nde yeni kurulan Matematiksel Mantık ve Matematik Temelleri Kürsüsü'ne atandı ve burada uzmanlaşmış bir bölüm kurdu. 1977'de profesör emeritus olarak emekli olana kadar orada kaldı. Araştırmalarının ötesinde, Gottlob Frege'nin makalelerinin ölümünden sonra derlenmesi ve yayınlanması üzerinde çalıştı.
Hızlı gerçekler
- Doğum: 1912, Neunkirchen, Almanya - Ölüm: 2003, Freiburg, Almanya - Eğitim: Münster Üniversitesi, Göttingen Üniversitesi - Akademik pozisyonlar: Münster Üniversitesi, Bonn Üniversitesi, Freiburg Üniversitesi - Üye: Heidelberg Bilim ve Beşeri Bilimler Akademisi - Ana Alan: Matematiksel mantık - Önemli katkılar: 'Matematiksel Mantık ve Matematik Temelleri Arşivi' kurucu ortağı
Okuyucuların sorduğu sorular
### Münster'deki enstitünün önemi neydi?
Hermes'in 1953'ten itibaren liderliğinde, matematiksel mantık ve temel araştırmalar için tanınmış bir uluslararası merkez haline geldi.
### Hans Hermes Turing makineleri çalışmasına katkıda bulundu mu?
Evet, 1937'de Turing'in kavramlarıyla ilgili erken çalışmalar yayınladı ve daha sonra programlanabilir makinelerin ve Turing makinelerinin aynı hesaplama erişimine sahip olduğunu kanıtladı.
.jpg)