ABSTRACT
In this chapter, we investigate connections between Diophantine equations and topics in mathematical logic, particularly the theory of recursive sets and recursively enumerable sets and the theory of undecidability. Studying these connections helps us to determine what is possible and what is impossible in solving Diophantine equations. It also illustrates how two great areas of mathematics, number theory and logic, have complemented each other and enriched each other’s development.
