Вільгельм Аккерман: біографія

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

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

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

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

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

Комментарии

Сайт: Википедия