בחינת המדינה במינסטר בשנת 1937 סימנה את תחילת דרכו האקדמית הרשמית של הנס הרמס (Hans Hermes), מתמטיקאי גרמני שהקדיש את הקריירה שלו ליסודות הלוגיקה המתמטית. הוא נולד ב-1912 בנוינקירכן, וניווט בין הנופים הפוליטיים והמוסדיים המשתנים של גרמניה במאה ה-20 כדי להפוך לדמות מרכזית בחקר החישוביות והפונקציות הרקורסיביות.
התפתחות אקדמית מוקדמת ושירות צבאי
החל משנת 1931 למד הרמס מתמטיקה, פיזיקה, כימיה, ביולוגיה ופילוסופיה באוניברסיטת פרייבורג. בעקבות בחינתו ב-1937 במינסטר, הוא החזיק במלגה באוניברסיטת גטינגן לפני ששירת כעוזר באוניברסיטת בון. במהלך מלחמת העולם השנייה, המסלול שלו נקטע בשל שירות צבאי באי ג'רזי עד 1943. לאחר מכן עבד במכון לפיזיקה כימית של הצי בקיל, ובהמשך השתתף במחקר קריפטוגרפי בטופליצזה (Toplitzsee).
קידום הלוגיקה המתמטית
בשנת 1947 הפך הרמס למרצה באוניברסיטת בון, והשלים את עבודת ההביליטציה שלו בנושא יריעות אנליטיות במרחבים רימניים. ב-1949 מונה לפרופסור באוניברסיטת מינסטר. שם, הוא קיבל לידיו את המכון ללוגיקה מתמטית ומחקר יסודות מהיינריך שולץ (Heinrich Scholz) ב-1953. תחת הדרכתו, המכון הפך ליעד עבור חוקרים, בהם וילהלם אקרמן (Wilhelm Ackermann) וגיסברט האזנייגר (Gisbert Hasenjaeger). הוא עיצב את התחום עוד יותר על ידי הקמה משותפת של ה-Archive for Mathematical Logic and Foundations of Mathematics (ארכיון ללוגיקה מתמטית ויסודות המתמטיקה) בשנת 1950 לצד ארנולד שמידט (Arnold Schmidt) וירגן פון קמפסקי (Jürgen von Kempski), וסיוע בייסוד האגודה הגרמנית ללוגיקה מתמטית וליסודות המחקר של המדעים המדויקים ב-1962.
מחקר על חישוביות ומכונות טיורינג
הרמס יצר עבודה משמעותית בנוגע למכונת טיורינג כמושג יסודי לחיזוי. מאמרו משנת 1937, "Definite terms and predictable numbers" (מונחים מוגדרים ומספרים בני-חיזוי), בחן את הרעיונות של טיורינג, בעוד פרסומו משנת 1954 על האוניברסליות של מכונות חישוב מתוכנתות הוכיח כי למכונות כאלו יש את אותה העוצמה (cardinality) כמו למכונות טיורינג. בשנת 1966, הוא קיבל מינוי לקתדרה ללוגיקה מתמטית ויסודות המתמטיקה שהוקמה זה מכבר באוניברסיטת פרייבורג, שם הקים מחלקה מתמחה. הוא נשאר שם עד פרישתו כפרופסור אמריטוס ב-1977. מעבר למחקרו, הוא עבד על ליקוט ופרסום לאחר המוות של כתבי גוטלוב פרגה (Gottlob Frege).
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →עובדות מהירות
- נולד: 1912, נוינקירכן, גרמניה - נפטר: 2003, פרייבורג im Breisgau, גרמניה - השכלה: אוניברסיטת מינסטר, אוניברסיטת גטינגן - משרות אקדמיות: אוניברסיטת מינסטר, אוניברסיטת בון, אוניברסיטת פרייבורג - חברות: האקדמיה למדעים ומדעי הרוח של היידלברג - תחום עיקרי: לוגיקה מתמטית - תרומות בולטות: מייסד שותף של הארכיון ללוגיקה מתמטית ויסודות המתמטיקה
שאלות נפוצות של קוראים
### מה הייתה החשיבות של המכון במינסטר?
תחת הנהגתו של הרמס החל משנת 1953, הוא הפך למרכז בינלאומי מוכר ללוגיקה מתמטית ומחקר יסודות.
### האם הנס הרמס תרם לחקר מכונות טיורינג?
כן, הוא פרסם עבודה מוקדמת בשנת 1937 בנוגע למושגים של טיורינג ובהמשך הוכיח שמכונות הניתנות לתכנות ומכונות טיורינג חולקות טווח חישובי זהה.