DE CERO A ÁLEF: MATEMÁTICAS Y JUDAÍSMO, CON AMELIA MUÑOZ GARCÍA – Martin David Davis (1928 – 2023) fue un matemático judío americano, de padres polacos, que destacó por sus contribuciones en teoría de la computabilidad y lógica matemática. Su trabajo en el décimo problema de Hilbert le llevó a desarrollar el algoritmo DPLL, y eventualmente a hallar la respuesta del mismo en un trabajo conjunto entre varios matemáticos, él incluido. A mediados de la década de 1970 recibió los premios Leroy P. Steele, Chauvenet y Lester R. Ford, así como la beca Guggenheim para el curso 1983-84.