Martin Davis, (Nueva York, 1928-1 de enero de 2023) fue un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert. Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. wikipedia.org