Hilbert's Tenth Problem was a question concerning existence of an algorithm to determine if there were integer solutions to arbitrary polynomial equations over the integers. Building on the work by Martin Davis, Hilary ...