Ганс Гермес

Ганс Гермес
Около 1970 года в Обервольфахе.
Рожденный	( 1912-02-12 ) 12 февраля 1912 г. Нойнкирхен , Германская империя
Умер	10 ноября 2003 г. (10 ноября 2003 г.) (91 год)
Научная карьера
Тезисы	Аксиоматизация общей механики   (1938) Аналитические многообразия в римановых областях   (1947)
Докторантура	Адольф Скретч , Генрих Шольц (1938), Эрнст Пешль (1947)

Ганс Гермес (англ. Немецкий: [ˈhɛʁmɛs] ; 12 февраля 1912 — 10 ноября 2003) — немецкий математик и логик , внесший значительный вклад в основы математической логики .

Личная жизнь

Гермес родился в Нойнкирхене . С 1931 года он изучал математику, физику, химию, биологию и философию во Фрайбургском университете . В 1937 году он сдал государственный экзамен в Мюнстере и учился там в 1938 году, когда физик Адольф Кратцер присутствовал . После этого он поступил на стипендию в Геттингенский университет , а затем стал ассистентом в Боннском университете . Во время Второй мировой войны он служил солдатом на острове Джерси Нормандском до 1943 года, а затем поступил в Институт химической физики ВМФ в Киле . В конце войны он переехал в Топлицзее , где ему было поручено работать над новыми методами шифрования. В 1947 году он стал преподавателем в Боннском университете , где защитил диссертацию на тему «Аналитические многообразия в римановых областях» . В 1949 году он стал профессором Мюнстерского университета , где снова обратился к предмету математической логики.

Работа

Ганс Гермес был пионером машины Тьюринга как центральной концепции предсказуемости . В 1937 году «Гермес» опубликовал под заголовком « Определённые термины и предсказуемые числа» статью о машине Тьюринга, которая до сих пор тесно связана с идеями Тьюринга, но не содержит концепций универсальной машины и проблемы решения .

В 1952 году он опубликовал совместно с Генрихом Шольцем энциклопедию, которая значительно способствовала развитию математической логики в Германии .

В 1953 году он принял управление влиятельным Институтом математической логики и фундаментальных исследований Мюнстерского университета от Генриха Шольца. Под его руководством институт стал заметным центром привлечения молодых ученых как внутри Федеративной Республики, так и за ее пределами. Вместе с Гермесом там, среди прочих, были Вильгельм Аккерманн и Гисберт Хазеньегер . В 1966 году он принял назначение на недавно созданную кафедру математической логики и основ математики во Фрайбургском университете и начал создавать одноименный отдел в Математическом институте, став там почетным профессором в 1977 году.

В 1954 году Гермес представил неформальное доказательство того, что возможности программируемых собственных значений включают в себя предсказуемые функции , поэтому вычислительные машины имеют ту же мощность, что и машины Тьюринга: полнота по Тьюрингу .

Учебники Гермеса, а также его научные работы убедили Хайнца-Дитера Эббингауза отметить оригинальность, точность и интуитивную ясность его учебников. Он также был выдающимся академическим преподавателем, умевшим излагать трудные вопросы и сложные доказательства и делать их предельно понятными.

Гермес также работал над компиляцией и публикацией статей Готлоба Фреге , уже начатой ​​Шольцем. В 1962 году он был одним из основателей Немецкой ассоциации математической логики и фундаментальных исследований точных наук (DVMLG). В 1950 году он был вместе с Арнольдом Шмидтом и Юргеном фон Кемпски, соучредителем Архива математической логики и основ математики. В 1967 году он стал членом Гейдельбергской академии наук.

Публикации

• Определенные сроки и предсказуемые цифры. , Семестровые отчеты о взаимоотношениях между университетом и школой по математическим семинарам, Мюнстер, 1937, 110–123.
• Аксиоматизация общей механики. , Исследования по логике и основам точных наук, Выпуск 3, Лейпциг, 1938.
• Машины для решения математических задач. , Отчеты за семестр по математике и физике (Геттинген) (1952), 179–189.
• Универсальность вычислительных машин с программным управлением. , Отчеты за семестр по математике и физике (Геттинген) 4 (1954), 42–53.
• Введение в теорию решеток. Берлин – Геттинген – Гейдельберг 1955 г. 2 Расширенное издание 1967 г.
• Перечислимость – Разрешимость – предсказуемость. Введение в теорию рекурсивных функций. , Берлин – Геттинген – Гейдельберг 1961 г., 2 издания 1971 г. (в мягкой обложке Гейдельберга).
• Введение в математическую логику – Классическая логика предикатов. Teubner Verlag, Штутгарт, 1963 г., 2-е расширенное издание 1969 г.
• Логика Term с оператором выбора. , Берлин, 1965 год.
• Рекурсивные функции. , С Клаусом Хайдлером и Фридрихом-К. Ман, Мангейм – Вена – Цюрих, 1977 год.
• Фигурки и игры. , Хайнц-Дитер Эббингауз , Фридрих Хирцебрух , Гермес, среди прочего: цифры, Springer-Verlag , 3-е издание 1992 г.
• Проблема решения и игры в домино. Inc. Конрад Джейкобс (редактор) Selecta Mathematica II, Springer, книги в мягкой обложке Гейдельберга, 1970 г.
• Основы математики. , с Вернером Марквальдом, в Бенке, Свит, Фладт: Принципы математики, Том 1, 1958, Ванденхук и Рупрехт.
• Математическая логика, Энциклопедия математических наук. , с Генрихом Шольцем, новая серия, 1952 г.
• Теория ассоциаций, Энциклопедия математических наук. , с Готфридом Кете Новая серия, 1939 г.

Внешние ссылки

• Гермес, Памяти ВИЛЬГЕЛЬМА АККЕРМАНА 1896–1962 (pdf 945 КБ)
• Ганс Гермес в проекте «Математическая генеалогия»