 This is the result of combined work of Martin Davis, Yuri Matiyasevich, Hilary Putnam and Julia Robinson which spans 21 years, with Matiyasevich completing the theorem in 1970.The theorem is now known as Matiyasevich's theorem or the MRDP theorem.Hilbert formulated the problem as follows