WikiDer > Вильгельм Аккерманн
эта статья нужны дополнительные цитаты для проверка. (Сентябрь 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Вильгельм Аккерманн | |
---|---|
Вильгельм Аккерманн в c. 1935 | |
Родился | |
Умер | 24 декабря 1962 г. | (66 лет)
Национальность | Немецкий |
Альма-матер | Геттингенский университет |
Известен | |
Научная карьера | |
Поля | Математика |
Докторант | Дэвид Гильберт |
Вильгельм Фридрих Аккерманн (/ˈækərмəп/; Немецкий: [Akman]; 29 марта 1896 г. - 24 декабря 1962 г.) Немецкий математик наиболее известен Функция Аккермана, важный пример в теория вычислений.
биография
Аккерманн родился в Herscheid, Германия, и был удостоен степени доктора философии. посредством Геттингенский университет в 1925 г. за диссертацию Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, что было доказательством непротиворечивости арифметики, очевидно, без Индукция Пеано (хотя он использовал, например, индукцию по длине доказательств). С 1929 по 1948 год преподавал в гимназии Арнольдинум в г. Бургштайнфурт, а затем в Люденшайд до 1961 года. Он также был членом-корреспондентом Akademie der Wissenschaften (Академия Наук) в Геттингене и был почетным профессором Университет Мюнстера.
В 1928 году Аккерманн помог Дэвид Гильберт поворот его 1917 г. - 22 лекции вводных математическая логика в текст, Принципы математической логики. Этот текст содержал первое в истории изложение логика первого порядка, и поставил проблему полнота и разрешимость (Entscheidungsproblem). Аккерман продолжил строительство доказательства непротиворечивости для теория множеств (1937), полная арифметика (1940), бестиповая логика (1952 г.) и новый аксиоматизация из теория множеств (1956).
В свою очередь, поддержка Гильберта исчезла, когда Аккерман женился:
- Анита Элерс. Liebes Hertz! Physiker und Mathematiker в анекдотенах. Базель: Birkhäuser Verlag, 1994, стр. 161. См. Также Констанс Рид Гильберта.
Позже Акерман продолжил работать учителем в средней школе. Тем не менее, он продолжал постоянно заниматься исследованиями и до конца своей жизни опубликовал множество статей, посвященных основам математики. Он умер в Люденшайд, Германия в декабре 1962 г.
Смотрите также
- Кодирование Аккермана
- Порядковый номер Аккермана
- Теория множеств Аккермана
- Функция Аккермана
- Обратная функция Аккермана
Список используемой литературы
- 1928. "О построении Гильбертом действительные числа" в Жан ван Хейеноорт, изд., 1967. От Фреге до Гёделя: Справочник по математической логике, 1879-1931 гг.. Harvard Univ. Пресс: 493–507.
- 1940. Zur Widerspruchsfreiheit der Zahlentheorie, Mathematische Annalen, т. 117, стр. 162–194.
- 1950 (1928). (с участием Дэвид Гильберт) Принципы математической логики. Челси. Перевод немецкого издания 1938 года.
- 1954. Решаемые случаи проблема решения. Северная Голландия.
внешние ссылки
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Вильгельм Аккерманн", Архив истории математики MacTutor, Сент-Эндрюсский университет.
- Вильгельм Аккерманн на Проект "Математическая генеалогия"
- Страница Эриха Фридмана об Аккермане в Стетсонский университет
- Гермес, In memoriam ВИЛЬГЕЛЬМА АККЕРМАНА 1896-1962 (PDF, 945 КБ)
- Профиль автора в базе данных zbMATH