Hacker News new | ask | show | jobs
by tsimionescu 714 days ago
If it's not sound, than the result is meaningless. If it is not complete, then it only works on a subset of problems, which is equivalent to what I said.
1 comments

Agree that soundness is desirable, but "it only works on a subset of instances" and "you are restricted to a non-Turing complete subset" are not equivalent in the slightest.
Not sure what are you trying to say. Surely the "subset of instances" is non-Turing complete.