julia putnam (2 Ergebnisse)

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Davis, Martin (1928-2023); Hilary Putnam (1926-2016); Julia Robinson (1919-85). The decision problem for exponential Diophantine equations. In Annals of Mathematics 74 (1961): 425-436. Whole volume. 249 x 166 mm. Library buckram; original printed wrappers of all three numbers bound in. Very good. Library stamp on fore-edge. First Edition. Davis, Putnam and Robinson's investigation of Hilbert's tenth problemgiven a Diophantine equation, is there an algorithm that can decide if the equation is solvable?resulted in the MRDP theorem (1970), which states that "every computably enumerable set is Diophantine, and the converse" (Wikipedia article on MDRP theorem). Davis, in his Ph.D. thesis (1950) had conjectured that Hilbert's tenth problem was unsolvable, a conjecture borne out by the MDRP theorem. The "M" in MRDP stands for Yuri Matiyasevich, the Russian mathematician who came up with the final theorem; Matiyasevich relied heavily on the earlier work of Davis, Putnam and Robinson. .