Мартин Дэвид Дэвис (англ. Martin Davis, 8 марта 1928 — 1 января 2023) — американский математик, известный своей работой, которая посвящена десятой проблеме Гильберта[5][6].
Родители Дэвиса иммигрировали в США из города Лодзь (Польша). Встретившись уже в Нью-Йорке, они поженились. Дэвис родился и вырос в городе Бронкс. Родители с детства поощряли Мартина получить высшее образование[5][6].
В 1950 году под руководством Алонзо Черча Мартин получил степень доктора в Принстонском университете, который является одним из старейших и самых престижных университетов США.
Дэвис — один из изобретателей алгоритма Дэвиса-Путнама и алгоритма DPLL. Также он известен благодаря своей модели машины Поста.
В 30-х годах XX века формализуется понятие алгоритм, а также появляются первые примеры алгоритмически неразрешимых теорий в математической логике. Важным моментом стало доказательство Андреем Марковым и Эмилем Постом (независимо друг от друга) неразрешимости задачи Туе[7] в 1947 году. Это было первое доказательство неразрешимости алгебраической задачи. Трудности, с которыми столкнулись исследователи диофантовых уравнений, вызвали предположение, что необходимого Гильбертом алгоритма не существует. Немного ранее, в 1944 году, Эмиль Пост в одной из своих работ уже писал, что десятая проблема «молит о доказательстве неразрешимости» (англ. «Begs for an unsolvability proof»).
Слова Поста вдохновили студента Мартина Дэвиса на поиск доказательств неразрешимости десятой проблемы. Дэвис перешёл от её формулировки в целых числах к более естественной для теории алгоритмов формулировки в натуральных числах. Это две разные задачи, однако каждая из них сводится к другой. В 1953 году он опубликовал работу, в которой наметил путь решения десятой проблемы в натуральных числах.