Quote:
Originally Posted by flouran
I think that the incorporation of certain ingredients of Matiyasevich's proof and a variant of FLT can be used to prove that x^10+y^10+z^10 = t^4 does not have any solutions in positive integers.

I think not.
1. It's not obvious how Matiyasevich's theorem (Hilbert X, RobinsonDavisPutnumMatiyasevich, etc.) applies; it doesn't show that there are no solutions, only that proving that you've found all solutions is hard in the general case.
2. This isn't like the general case. Diophantine equations with 9 variables are known to be universal, but only with ridiculously high degrees (~10^45 as I recall). You have a degree10 equation with only four variables.
3. Wiles' theorem doesn't seem wellequipped for the additive explosion on the LHS. Three terms is vastly different from two terms.
Also, there aren't many mathematicians in the world capable of extending his proof, and (to my knowledge) none here/