koob.ru

Мартин Дэвис. Книги онлайн

Мартин Дэвис

Мартин Дэвид Дэвис (англ. Martin Davis, 8 марта 1928 — 1 января 2023) — американский математик, известный своей работой, которая посвящена десятой проблеме Гильберта.

В 1950 году под руководством Алонзо Черча Мартин получил степень доктора в Принстонском университете, который является одним из старейших и самых престижных университетов США.

Дэвис — один из изобретателей алгоритма Дэвиса-Путнама и алгоритма DPLL. Также он известен благодаря своей модели машины Поста.

В 1975 году Дэвис был награждён премией Стила, премией «Chauvenet Prize» и премией Лестера Форда за работу, которая посвящена десятой проблеме Гильберта.

В 1982 году стал членом и Американской академии искусств и наук. В 2012 был избран стипендиатом Американского математического общества.

Книги (1)

Прикладной нестандартный анализ
Раздел библиотеки: Математика

Книга посвящена актуальному, но совершенно недостаточно освещенному в монографической литературе разделу математической логики — теории нестандартных моделей математического анализа. Этот раздел представляет фундаментальный общематематический интерес, так как позволяет по-новому взглянуть на логические основы анализа, заложенные еще Лейбницем и Ньютоном. Изложение очень отчетливое и не требует специальных знаний.

Книга рассчитана на математиков различных специальностей, аспирантов и студентов университетов.

Добавить отзыв об авторе
Библиотека «Куб» Почта