Мартин Дэвид Дэвис (родился 8 марта 1928 г.) - американский математик , известный своей работой над десятой проблемой Гильберта . [1] [2]
Мартин Дэвис | |
---|---|
Родившийся | |
Национальность | Американец |
Альма-матер | Университет Принстона |
Известен | Алгоритм Дэвиса – Патнэма Алгоритм DPLL работает над десятой проблемой Гильберта |
Награды | Приз Шовене (1975) |
Научная карьера | |
Учреждения | Нью-Йоркский университет |
Тезис | К теории рекурсивной неразрешимости (1950) |
Докторант | Церковь Алонсо |
Докторанты | Моше Коппель , Дональд В. Лавленд |
биография
Родители Дэвиса были еврейскими иммигрантами в США из Лодзи , Польша , и поженились после того, как снова встретились в Нью-Йорке . Дэвис вырос в Бронксе , где родители поощряли его получить полное образование. [1] [2]
Он получил докторскую степень. из Принстонского университета в 1950 году, где его советником был Алонзо Черч . [1] [2] [3] [1] Во время преподавательской работы в Университете Иллинойса в Урбана-Шампейн в начале 1950-х годов он присоединился к лаборатории систем управления и стал одним из первых программистов ORDVAC . [1] Он является заслуженным профессором в Университете Нью - Йорка .
Взносы
Дэвис является соавтором изобретателем алгоритма Davis-Putnam и алгоритмов DPLL . Он также известен своей моделью машин Пост-Тьюринга и своей работой над десятой проблемой Гильберта, ведущей к теореме MRDP .
Награды и почести
В 1975 году Дэвис получил премию Лероя П. Стила , премию Шовене (вместе с Рубеном Хершем ) и в 1974 году премию Лестера Р. Форда за пояснительные работы, связанные с его работой над десятой проблемой Гильберта. [2] [4] Он стал парень из Американской академии искусств и наук в 1982 году, [2] , а в 2012 году он был выбран в качестве одного из инаугурационных стипендиатами Американского математического общества . [5]
Избранные публикации
- Книги
- Дэвис, Мартин (1958). Вычислимость и неразрешимость . Нью-Йорк: Дувр. ISBN 0-486-61471-9. 1982 Dover переиздание
- Дэвис, Мартин (1977). Прикладной нестандартный анализ . Нью-Йорк: Вили. ISBN 9780471198970. 2014 Dover переиздание
- Дэвис, Мартин; Вейкер, Элейн Дж .; Сигал, Рон (1994). Вычислимость, сложность и языки: основы теоретической информатики (2-е изд.). Бостон: Academic Press, Harcourt, Brace. ISBN 9780122063824.
- Дэвис, Мартин (2000). Двигатели логики: математики и происхождение компьютера . Нью-Йорк: Нортон. ISBN 9780393322293.
- Статьи
- Дэвис, Мартин (1973), «Десятая проблема Гильберта неразрешима», American Mathematical Monthly , 80 (3), 233–269. DOI : 10,1080 / 00029890.1973.11993265
- Дэвис, Мартин (1995), «Является ли математическое понимание алгоритмическим?», Behavioral and Brain Sciences , 13 (4), 659–60.
- Дэвис, Мартин (2020), «Семьдесят лет компьютерных наук», В: Бласс А., Сегельски П., Дершовиц Н., Дросте М., Финкбайнер Б. (ред.) Поля логики и вычислений III , 105–117 . Конспект лекций по информатике, т. 12180. Шпрингер: Чам, Швейцария. DOI : 10.1007 / 978-3-030-48006-6_8
Смотрите также
- Критика нестандартного анализа
- Проблема с остановкой
- Влияние нестандартного анализа
Рекомендации
- ^ а б в г д Джексон, Аллин (сентябрь 2007 г.), «Интервью с Мартином Дэвисом» (PDF) , Уведомления Американского математического общества , Провиденс, Род-Айленд : Американское математическое общество (опубликовано в мае 2008 г.), 55 (5), стр. 560–571, ISSN 0002-9920 , OCLC 1480366.
- ^ а б в г д О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , «Мартин Дэвис (математик)» , архив истории математики MacTutor , Университет Сент-Эндрюс.
- ^ Мартин Дэвис в проекте математической генеалогии
- ^ Дэвис, Мартин (1973). «Десятая проблема Гильберта неразрешима» . Амер. Математика. Ежемесячно . 80 (3): 233–269. DOI : 10.2307 / 2318447 . JSTOR 2318447 .
- ^ Список членов Американского математического общества , получено 17 марта 2014 г.
Внешние ссылки
- Цитаты, связанные с Мартином Дэвисом (математиком) в Wikiquote
- Сайт Мартина Дэвиса