Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability

Hilbert's tenth problem is one of 23 problems proposed by David Hilbert in 1900. It asked for a general algorithm to determine if a given Diophantine equation has a solution in integers. It was finally resolved by Julia Robinson, Martin Davis, Hilary Putnam, and finally Yuri Matiyasevich in 1970. This book is an exposition of their achievement.