a) this problem is solvable

or

b) this problem is unsolvable

"I take "This problem is solvable" to mean "this problem has at least one solution that doesn't violate any given constraints.""

No, it means only what is said, that the problem can be solved.
This implies that the problem can be proved solvable or unsolvable
starting from the formulation. The transformation you suggest
is not clearly justified..

I also thought about postulating a solution, but it does not
seem correct..

Posted by Cheradenine on 2002-08-12 22:15:51