Мартин Дэвис (математик) - Martin Davis (mathematician)
Мартин Дэвис | |
|---|---|
 | |
| Родившийся | 8 марта 1928 г. |
| Национальность | Американец |
| Альма-матер | Университет Принстона |
| Известен | Алгоритм Дэвиса – Патнэма Алгоритм DPLL работа над Десятая проблема Гильберта |
| Награды | Приз Шовене (1975) |
| Научная карьера | |
| Учреждения | Нью-Йоркский университет |
| Тезис | К теории рекурсивной неразрешимости (1950) |
| Докторант | Церковь Алонсо |
| Докторанты | Моше Коппель, Дональд В. Лавленд |
Мартин Дэвид Дэвис (родился 8 марта 1928 г.) Американец математик, известный своей работой над Десятая проблема Гильберта.[1][2]
биография
Родители Дэвиса были еврейскими иммигрантами в США из Лодзь, Польша, и поженились после того, как они снова встретились в Нью-Йорк. Дэвис вырос в Бронкс, где родители рекомендовали ему получить полное образование.[1][2]
Он получил докторскую степень. из Университет Принстона в 1950 году, когда его советник был Церковь Алонсо.[1][2][3] Он Заслуженный профессор в отставке в Нью-Йоркский университет.
Взносы
Дэвис - соавтор Алгоритм Дэвиса – Патнэма и Алгоритмы DPLL. Он также известен своей моделью Машины Пост-Тьюринга, и его работа над Десятая проблема Гильберта ведущий к Теорема MRDP.
Награды и отличия
В 1975 году Дэвис выиграл Приз Лероя П. Стила, то Приз Шовене (с Рубен Херш ), а в 1974 г. Лестер Р. Форд Премия за пояснительные работы, связанные с его работой над десятой проблемой Гильберта.[2][4]Он стал парень из Американская академия искусств и наук в 1982 г.,[2] а в 2012 году он был избран одним из первых стипендиатов Американское математическое общество.[5]
Избранные публикации
- Книги
- Дэвис, Мартин (1958). Вычислимость и неразрешимость. Нью-Йорк: Дувр. ISBN 0-486-61471-9.
- Дэвис, Мартин (1977). Прикладной нестандартный анализ. Нью-Йорк: Вили. ISBN 9780471198970.
- Дэвис, Мартин; Вейкер, Элейн Дж.; Сигал, Рон (1994). Вычислимость, сложность и языки: основы теоретической информатики (2-е изд.). Бостон: Academic Press, Harcourt, Brace. ISBN 9780122063824.
- Дэвис, Мартин (2000). Двигатели логики: математики и происхождение компьютера. Нью-Йорк: Нортон. ISBN 9780393322293.
- Статьи
- Дэвис, Мартин (1973), «Десятая проблема Гильберта неразрешима», Американский математический ежемесячный журнал, 80(3), 233–269.
- Дэвис, Мартин (1995), "Является ли математическое понимание алгоритмическим", Поведенческие науки и науки о мозге, 13(4), 659–60.
Смотрите также
Рекомендации
- ^ а б c Джексон, Аллин (сентябрь 2007 г.), "Интервью с Мартином Дэвисом" (PDF), Уведомления Американского математического общества, Провиденс, Род-Айленд: Американское математическое общество (опубликовано в мае 2008 г.), 55 (5), стр. 560–571, ISSN 0002-9920, OCLC 1480366.
- ^ а б c d е О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., «Мартин Дэвис (математик)», Архив истории математики MacTutor, Сент-Эндрюсский университет.
- ^ Мартин Дэвис на Проект "Математическая генеалогия"
- ^ Дэвис, Мартин (1973). «Десятая проблема Гильберта неразрешима». Амер. Математика. Ежемесячно. 80 (3): 233–269. Дои:10.2307/2318447. JSTOR 2318447.
- ^ Список членов Американского математического общества, получено 17 марта 2014.
внешняя ссылка
   | Эта статья об американском математике заглушка. Вы можете помочь Википедии расширяя это. |