Аккерман, Вільгельм

Вільгельм Аккерман
Wilhelm Ackermann
Ackermann Wilhelm.jpg
Дата народження:

29 березня 1896 ( 1896-03-29 )

Місце народження:

Хершайд, Німецька імперія

Дата смерті:

24 грудня 1962 ( 1962-12-24 ) (66 років)

Місце смерті:

Люденшайд, ФРН

Країна:

Flag of the German Empire.svg Німецька імперія
Flag of Germany (3-2 aspect ratio). Svg Веймарська республіка
Flag of the NSDAP (1920-1945). Svg Третій рейх
Flag of Germany.svg ФРН

Наукова сфера:

математика, логіка

Вільгельм Фрідріх Аккерман ( ньому. Wilhelm Friedrich Ackermann ; 29 березня 1896, Хершайд - 24 грудня 1962, Люденшайд) - німецький математик і логік.

Аккерман отримав вчений ступінь доктора філософії в Геттінгенському університеті в 1925 з дисертацією по темі Обгрунтування "tertium non datur" за допомогою гильбертовськой теорії доказу несуперечності ( ньому. Begrndung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit ), Доказ несуперечності арифметики без очевидного використання аксіоми повної індукції Пеано (хоча все ж неявно була використана). З 1929 по 1948 він викладає в гімназії Штайнфурт, потім до 1961 в Люденшайд. Він був членом-кореспондентом Академії наук у Геттінгені і почесним професором Вестфальського університету.

В 1928 Аккерман допомагав Давид Гільберт підготувати до публікації лекції 1917-1922 рр.. по введенню в математичну логіку - Основи теоретичної логіки ( ньому. Grundzge der theoretischen Logik ). У книзі міститься перший виклад логіки першого порядку і питань, які згодом дозволив Гедель в теоремі про повноті і теоремі про неповноту.

Незважаючи на вибір Аккермана трудової діяльності швидше в системі шкільної освіти, ніж університетського, він активно займався наукою і мав безліч публікацій. Аккерман працював над доказом несуперечності теорії множин (1937), повної арифметики (1940), вільної логіки (1952) і нової аксіоматизації теорії множин (1956). В теорії алгоритмів широко відома функція Аккермана.


Публікації російською мовою

  • Гільберт Д., Аккерман В. Основи теоретичної логіки. М.: Видавнича група URSS, 2010, 304 с. ISBN 978-5-484-01144-5

Література

  • Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S.12 f.
  • Constance Reid: Hilbert, Springer 1970, S.173.
  • Dieter Remus: Professor Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. In: 400 Jahre Arnoldinum 1588-1988. Festschrift. Greven 1988, S.211-219.