Мартин Дэвис | |
---|---|
Родился | ( 1928-03-08)8 марта 1928 г. (93 года) Нью-Йорк |
Национальность | Американец |
Альма-матер | Университет Принстона |
Известен | Алгоритм Дэвиса – Патнэма Алгоритм DPLL работает над десятой проблемой Гильберта |
Награды | Приз Шовене (1975) |
Научная карьера | |
Учреждения | Нью-Йоркский университет |
Тезис | К теории рекурсивной неразрешимости (1950) |
Докторант | Церковь Алонсо |
Докторанты | Моше Коппель, Дональд В. Ловленд |
Мартин Дэвид Дэвис (родился 8 марта 1928 г.) - американский математик, известный своей работой над десятой проблемой Гильберта.
Родители Дэвиса были еврейскими иммигрантами в США из Лодзи, Польша, и поженились после того, как снова встретились в Нью-Йорке. Дэвис вырос в Бронксе, где родители поощряли его получить полное образование.
Он получил докторскую степень. из Принстонского университета в 1950 году, где его советником был Алонзо Черч. Во время преподавательской работы в Университете Иллинойса в Урбана-Шампейн в начале 1950-х годов он присоединился к лаборатории систем управления и стал одним из первых программистов ORDVAC. Он почетный профессор в Университете Нью - Йорка.
Дэвис является соавтором изобретателем алгоритма Davis-Putnam и алгоритмов DPLL. Он также известен своей моделью машин Пост-Тьюринга и своей работой над десятой проблемой Гильберта, ведущей к теореме MRDP.
В 1975 году Дэвис получил премию Лероя П. Стила, премию Шовене (вместе с Рубеном Хершем ) и в 1974 году премию Лестера Р. Форда за пояснительные работы, связанные с его работой над десятой проблемой Гильберта. Он стал парень из Американской академии искусств и наук в 1982 году, а в 2012 году он был выбран в качестве одного из инаугурационных стипендиатами Американского математического общества.