somebody wrote:
> Isn't adding "this problem is solvable" more or less like writing code like> "if x = true then ..."
No. See my rationale in my post.
"This problem is solvable" actually means that you can assume
something about the problem, as I described in that post. Without
knowing that it is indeed solvable it would be quite hard to prove that
it indeed is. Would require quite complicated math.
