>>14300264I didn't even hint at an explanation of Matiyasevich's theorem, so stop imagining things, you schizophrenic retard.
>p(x)=x?b where b=0 if CH is false and b=1 otherwise.That's not a concrete polynomial, as there is no effective method for determining its coefficients.
>>14300256I cannot give you the exact answer here, because it's much too complicated to write down.
The proof of the result gives an actual algorithm to transform Pi_1 arithmetic propositions, of which Godel's statement G_T is one, into a polynomial. It gives you an algorithm for how to compute the coefficients of the polynomial, although in practice the coefficients are too large for the computation to be feasible. The result is then, that the truth of the Pi_1 propositions is equivalent to the nonexistence of natural number solutions to the polynomial.
