cRIRIc

Martin David Davis (New York, 8 marzo 1928 – Berkeley, 1º gennaio 2023) è stato un matematico statunitense noto per il suo contributo significativo nei campi della teoria della calcolabilità e della logica matematica. È meglio conosciuto per il suo lavoro sul decimo problema di Hilbert che porta al teorema di Matijasevič. Ha anche proposto il modello di macchine Post-Turing e ha co-sviluppato l'algoritmo Davis-Putnam-Logemann-Loveland (DPLL). Davis ha vinto il Leroy P. Steele Prize, il Premio Chauvenet (con Reuben Hersh) e il Lester R. Ford Award. Inoltre, è stato membro dell'American Academy of Arts and Sciences e membro dell'American Mathematical Society. Wikipedia