Ганс Гермес ( нем. Hans Hermes ; 12 февраля 1912 — 10 ноября 2003) — немецкий математик и логик , внёсший значительный вклад в основы математической логики . [1]
Гермес родился в Нойнкирхене . [2] С 1931 года он изучал математику, физику, химию, биологию и философию в университете Фрайбурга . В 1937 году он сдал государственный экзамен в Мюнстере и посещал его в 1938 году, когда там присутствовал физик Адольф Кратцер . После этого он отправился по стипендии в Гёттингенский университет , а затем стал ассистентом в Боннском университете . Во время Второй мировой войны он был солдатом на Нормандском острове Джерси до 1943 года, а затем перешел в Институт химической физики Военно-морского флота в Киле . В конце войны он переехал в Топлицзее , где ему было поручено работать над новыми методами шифрования. В 1947 году он стал преподавателем в Боннском университете , где он получил степень доктора наук , защитив диссертацию под названием «Аналитические многообразия в римановых областях» . В 1949 году он стал профессором Мюнстерского университета , где вновь обратился к предмету математической логики. [2]
Ганс Гермес был пионером машины Тьюринга как центральной концепции предсказуемости . В 1937 году Гермес опубликовал под заголовком « Определенные термины и предсказуемые числа» статью о машине Тьюринга, которая по-прежнему тесно придерживается идей Тьюринга, но не содержит концепций универсальной машины и проблемы принятия решений .
В 1952 году он опубликовал совместно с Генрихом Шольцем энциклопедию, которая значительно способствовала развитию математической логики в Германии . [3]
В 1953 году он принял на себя управление влиятельным Институтом математической логики и фундаментальных исследований в Университете Мюнстера от Генриха Шольца. [4] Под его руководством Институт стал известным центром привлечения молодых исследователей как в Федеративной Республике, так и за рубежом. Вместе с Гермесом там работали, среди прочих, Вильгельм Аккерман и Гисберт Хазенйегер . В 1966 году он принял назначение на недавно созданную кафедру математической логики и оснований математики в Университете Фрайбурга и начал создавать одноименный отдел в Математическом институте, став там почетным профессором в 1977 году.
В 1954 году Гермес представил неформальное доказательство того, что возможности программируемых собственных значений включают предсказуемые функции , поэтому вычислительные машины имеют ту же мощность, что и машины Тьюринга, относительно полноты по Тьюрингу . [2]
Учебники Hermes, а также его научная работа убедили Хайнца-Дитера Эббингауза отметить оригинальность, точность и интуитивную ясность его учебников. [2] Он также был выдающимся академическим учителем, который знал, как донести сложные вопросы и запутанные доказательства и сделать их чрезвычайно понятными. [2]
Гермес также работал над составлением и публикацией статей Готтлоба Фреге , уже начатых Шольцем. В 1962 году он был одним из основателей Немецкой ассоциации математической логики и фундаментальных исследований точных наук (DVMLG). [5] В 1950 году он был вместе с Арнольдом Шмидтом и Юргеном фон Кемпски, соучредителем Архива математической логики и оснований математики. В 1967 году он стал членом Гейдельбергской академии наук. [6]
