A conjecture which implies that there is an algorithm which to each Diophantine equation assigns an integer which is greater than the heights of integer (non-negative integer, rational) solutions, if these solutions form a finite set
Apoloniusz Tyszka · arXiv (Cornell University) · 2011
We conjecture that if a system S \subseteq {x_i=1, x_i+x_j=x_k, x_i*x_j=x_k: i,j,k \in {1,...,n}} has only finitely many solutions in integers x_1,...,x_n, then each such solution (x_1,...,x_n) satisfies |x_1|,...,|x_n|= =2. If the conjecture is false, then the code sequentially displays the integers 2,...,n-1, where n>=4, the value of n is unknown beforehand, and the conjecture is false for all integers m with m>=n.