Hilbert's tenth problem, Gödel's incompleteness, Halting problem, a unifying perspective

Tarek Sayed Ahmed

We formulate a property $P$ on a class of relations on the natural numbers, and formulate a general theorem on $P$, from which we get as corollaries the insolvability of Hilbert's…