Государственный экзамен в Мюнстере в 1937 году ознаменовал официальное начало академической карьеры Ханса Хермеса (Hans Hermes), немецкого математика, посвятившего свою жизнь основам математической логики. Родившись в 1912 году в Нойнкирхене, он прошел через меняющиеся политические и институциональные ландшафты Германии XX века, став центральной фигурой в изучении вычислимости и рекурсивных функций.
Раннее академическое развитие и военная служба
С 1931 года Хермес изучал математику, физику, химию, биологию и философию в Фрайбургском университете. После экзамена 1937 года в Мюнстере он получил стипендию в Геттингенском университете, а затем работал ассистентом в Боннском университете. Во время Второй мировой войны его карьера была прервана военной службой на острове Джерси до 1943 года. Впоследствии он работал в Институте химической физики ВМС в Киле, а затем участвовал в криптографических исследованиях на озере Топлицзее.
Развитие математической логики
В 1947 году Хермес стал преподавателем в Боннском университете, завершив хабилитацию диссертацией об аналитических многообразиях в римановых областях. К 1949 году он был назначен профессором Мюнстерского университета. Там в 1953 году он принял руководство Институтом математической логики и фундаментальных исследований у Генриха Шольца. Под его руководством институт стал местом притяжения для таких исследователей, как Вильгельм Аккерман и Гисберт Хазенегер. Он также сформировал эту область, став соучредителем «Архива математической логики и основ математики» в 1950 году вместе с Арнольдом Шмидтом и Юргеном фон Кемпски, а также помогая создать Немецкую ассоциацию математической логики и фундаментальных исследований точных наук в 1962 году.
Исследования вычислимости и машин Тьюринга
Хермес провел значительную работу по изучению машины Тьюринга как фундаментальной концепции предсказуемости. Его статья 1937 года «Определенные термины и предсказуемые числа» исследовала идеи Тьюринга, а публикация 1954 года об универсальности программно-управляемых вычислительных машин доказала, что такие машины обладают той же мощностью, что и машины Тьюринга. В 1966 году он принял назначение на вновь созданную кафедру математической логики и основ математики во Фрайбургском университете, где основал специализированный факультет. Он оставался там до выхода на пенсию в качестве почетного профессора в 1977 году. Помимо исследований, он работал над посмертным составлением и публикацией трудов Готлоба Фреге.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Краткие факты
- Рождение: 1912, Нойнкирхен, Германия - Смерть: 2003, Фрайбург, Германия - Образование: Мюнстерский университет, Геттингенский университет - Академические должности: Мюнстерский университет, Боннский университет, Фрайбургский университет - Членство: Гейдельбергская академия наук - Основная область: Математическая логика - Значимые вклады: Соучредитель «Архива математической логики и основ математики»
Вопросы читателей
### Каково было значение института в Мюнстере?
Под руководством Хермеса с 1953 года он стал известным международным центром математической логики и фундаментальных исследований.
### Внес ли Ханс Хермес вклад в изучение машин Тьюринга?
Да, он опубликовал ранние работы в 1937 году, касающиеся концепций Тьюринга, и позже доказал, что программируемые машины и машины Тьюринга имеют идентичные вычислительные возможности.
.jpg)