My understanding is a bit fuzzy, but it basically says you can encode any recursively enumerable set in terms of solutions to Diophantine equations (i.e. integer polynomials).
In particular you can encode, say, the set of all Turing Machines which halt in terms of the solutions to some integer polynomial.
7 comments
[ 1.9 ms ] story [ 29.8 ms ] thread0: https://i.imgur.com/5QGR1Lt.jpeg
My understanding is a bit fuzzy, but it basically says you can encode any recursively enumerable set in terms of solutions to Diophantine equations (i.e. integer polynomials).
In particular you can encode, say, the set of all Turing Machines which halt in terms of the solutions to some integer polynomial.
The audience for these fruit problems don't 'do' typical multiplication-first arithmetic.