Ганс Гермес | |
---|---|
Родившийся | |
Умер | 10 ноября 2003 г. | (91 год)
Научная карьера | |
Тезисов |
|
Докторант | Адольф Крацер , Генрих Шольц (1938), Эрнст Пешль (1947) |
Ганс Гермес ( немецкий: [ˈhɛʁmɛs] ; 12 февраля 1912 - 10 ноября 2003) был немецким математиком и логиком , внесшим значительный вклад в основы математической логики . [1] Гермес родился в Нойнкирхене , Германия . [2]
Личная жизнь [ править ]
С 1931 года Гермес изучал математику, физику, химию, биологию и философию во Фрайбургском университете . В 1937 году он сдал государственный экзамен в Мюнстере и поступил туда в 1938 году, когда присутствовал физик Адольф Крацер . После этого он поступил на стипендию в Геттингенский университет, а затем стал ассистентом в Боннском университете . Во время Второй мировой войны он был солдат на острове канал в Джерси до 1943 года , а затем в Институт химической физики ВМФ в Киле . В конце войны он переехал в Топлицзее., где ему было поручено разработать новые методы шифрования. В 1947 году он стал лектором в Боннском университете, где получил степень абилитации , свою диссертацию под названием « Аналитические многообразия в римановых областях» . В 1949 году он стал профессором Мюнстерского университета , где снова вернулся к математической логике. [2]
Работа [ править ]
Ганс Гермес был пионером машины Тьюринга как центральной концепции предсказуемости . В 1937 году Гермес опубликовал под заголовком « Определенные термины и предсказуемые числа» статью о машине Тьюринга, которая по-прежнему тесно связана с идеями Тьюринга, но не содержит концепций универсальной машины и проблемы решения .
В 1952 году он опубликовал вместе с Генрихом Шольцем энциклопедию, которая значительно способствовала развитию математической логики в Германии . [3]
В 1953 г. он принял руководство влиятельным Институтом математической логики и фундаментальных исследований в Мюнстерском университете от Генриха Шольца. [4] Под его руководством Институт стал известным центром привлечения молодых исследователей как в Федеративной Республике, так и за рубежом. Вместе с Гермесом там, среди прочих, были Вильгельм Акерманн и Гисберт Хазенджегер . В 1966 году он принял назначение на недавно созданную кафедру математической логики и основ математики во Фрайбургском университете и начал создавать одноименное отделение в Математическом институте, став там в 1977 году почетным профессором.
В 1954 году Гермес представил неофициальное доказательство того , что возможности программируемых собственных значений включают в себя предсказуемые функции , поэтому вычислительные машины имеют ту же мощность, что и машины Тьюринга, относительно полноты по Тьюрингу . [2]
Учебник Гермеса, а также его научная работа убедили Хайнца-Дитера Эббингауза отметить оригинальность, точность и интуитивную ясность его учебников. [2] Он также был выдающимся академическим учителем, который умел передавать сложные вопросы и сложные доказательства и делать их предельно понятными. [2]
Гермес также работал над компиляцией и публикацией статей Готтлоба Фреге , которые уже были начаты Шольцем. В 1962 году он был одним из основателей Немецкой ассоциации математической логики и фундаментальных исследований точных наук (DVMLG). [5] В 1950 году он был с Арнольдом Шмидтом и Юргеном фон Кемпски, соучредителем Архива математической логики и основ математики. В 1967 году он стал членом Гейдельбергской академии наук. [6]
Публикации [ править ]
- Определенные сроки и предсказуемые числа. , Семестровые отчеты о взаимоотношениях между университетом и школой из математических семинаров, Münster 1937, 110–123.
- Аксиоматизация общей механики. , Исследования по логике и основам точных наук, Выпуск 3, Лейпциг, 1938.
- Машины для решения математических задач. , Математика и физические отчеты за семестр (Геттинген) (1952), 179–189.
- Универсальность программно-управляемых вычислительных машин. , Математика и физические отчеты за семестр (Геттинген) 4 (1954), 42–53.
- Введение в теорию решеток. Берлин - Геттинген - Гейдельберг 1955 г. 2 Расширенное издание 1967 г.
- Перечислимость - Разрешимость - предсказуемость. Введение в теорию рекурсивных функций. , Берлин - Геттинген - Гейдельберг, 1961 г., 2-е издание, 1971 г. (в мягкой обложке Гейдельберга).
- Введение в математическую логику - классическая логика предикатов. Teubner Verlag, Штутгарт, 1963 г., 2-е расширенное издание в 1969 г.
- Термин-логика с оператором выбора. , Берлин, 1965.
- Рекурсивные функции. , С Клаусом Хайдлером и Фридрихом-К. Ман, Мангейм - Вена - Цюрих 1977.
- Фигурки и игры. , Хайнц-Дитер Эббингаус , Фридрих Хирцебрух , Гермес, среди прочего: числа, Springer-Verlag , 3-е издание 1992 г.
- Решающая задача и игры в домино. inc Конрад Якобс (редактор) Selecta Mathematica II, Springer, Heidelberg в мягкой обложке, 1970
- Основы математики. , с Вернером Марквальдом, в Behnke, sweet, Fladt: Principles of Mathematics, Vol.1, 1958, Vandenhoeck and Ruprecht
- Математическая логика, Энциклопедия математических наук. , с Генрихом Шольцем Новая серия, 1952
- Теория ассоциаций, Энциклопедия математических наук. , с Готфридом Кете Новая серия, 1939 г.
Ссылки [ править ]
- ^ Ганс Гермес, Генрих Шольц Mathematische Logik Teubner, 1952
- ^ a b c d e «Прошлые профессора Мюнстерского университета» (PDF) . wwmath.uni-muenster.de . Проверено 21 ноября 2013 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ «Математическая логика» (PDF) . www.uni-goettingen.de . Дата обращения 7 декабря 2013 . CS1 maint: обескураженный параметр ( ссылка )
- ^ "Институт математической логики и фундаментальных исследований" . Мюнстерский университет . Дата обращения 7 декабря 2013 . CS1 maint: обескураженный параметр ( ссылка )
- ^ "Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften" . DVMLG . Дата обращения 7 декабря 2013 . CS1 maint: обескураженный параметр ( ссылка )
- ^ Запись вбиблиотеке Гейдельбергского университета
Внешние ссылки [ править ]
- Гермес, Памяти Вильгельма Аккермана 1896–1962 (pdf 945 KB)
- Ганс Гермес на проекте « Математическая генеалогия»