Martin Davis

Biography

Martin Davis spent his life in pursuit of understanding the foundations of mathematics, an endeavor marked by deep inquiry into logic, computability, and the nature of problems that can be solved by machines. He taught and mentored generations of students while producing work that continues to inform theoretical computer science.

His contributions to resolving aspects of Hilbert’s tenth problem and his lucid writings opened pathways between abstract theory and practical computation, earning him a place of honor among mathematicians who bridged disciplines and eras. He is remembered fondly by colleagues and admirers at Cypress Lawn Memorial Park.