Talk:Constant problem

then there is an algorithm…

“For example, if x₁, ..., x_n are real numbers then there is an algorithm for deciding if there are integers a₁, ..., a_n 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)