Hilbert's 10th Problem and Chaitin's Diophantine Equation "Computer"?
Good question.  It sounds like you might need some additional background on Hilbert's 10th Problem.  I hope this isn't overkill.
The problem asks:

Is there an algorithm that, given a Diophantine polynomial, decides whether or not there is a setting of its variables that makes it equal to $0$?

This was resolved in the 70's as a consequence of the MRDP (also called Matiyasevich's theorem, if you feel like searching it) which states:

Define: A set $D \subset \mathbb{N}$ is Diophantine if there is a Diophantine polynomial $p$ on $k+1$ inputs such that $D = \{ x \, | \, \exists y \in \mathbb{R}_+^k \, p(x, y) = 0\}$.
The Diophantine sets are precisely those that are recognizable by Turing machines.

This theorem is obvious in one direction (every Diophantine set is recognizable by a Turing Machine -- on input $x$, simply have your machine start guessing vectors $y \in \mathbb{R}_+^k$, evaluate $p(x, y)$, and halt if/when you find that $p(x, y) = 0$).  It is very non-obvious in the other direction -- why is it true that every Turing recognizable set is Diophantine?  The encoding schemes are disgusting, but trust me, it can be done.
Anyways, how does the MRDP theorem resolve Hilbert's 10th problem?  Well...
For the sake of contradiction, let's pretend we have an algorithm that, given a Diophantine polynomial $p(y)$, decides whether or not there is an input vector $y$ that causes $p(y) = 0$.
Now I'm going to use this magical algorithm to solve the halting problem.  Given a machine, I will use the disgusting encoding of Diophantine equations to convert the problem &quot;Does $M$ halt on input $x$?&quot; into the problem &quot;Does the Diophantine polynomial $p(y | x)$ have a set of inputs that make it equal to $0$?&quot;  Then I will use my magical algorithm to solve this problem, and now I have solved the halting problem.
Of course, this is impossible, so in reality there can't be a magical algorithm that searches for an input vector that causes $p(y) = 0$.  Similarly, there can't be an algorithm that looks at two Diophantine polynomials and decides if they're ever equal.  That's what Chaitin is saying.