Talk:Constant problem

then there is an algorithm…
“For example, if x1, ..., xn are real numbers then there is an algorithm for deciding if there are integers a1, ..., an such that[…]”

What does that mean? For given x it is of course decidable, by using the algorithm returning “true” or the algorithm returning “false”. And if x is a parameter? What model of computation should be used? Usual models cannot handle real valued input. --Chricho ∀ (talk) 12:43, 12 April 2012 (UTC)
 * Oh, $$x_i$$ are just variables. It should be reformulated… --Chricho ∀ (talk) 18:12, 7 September 2012 (UTC)