Agree that soundness is desirable, but "it only works on a subset of instances" ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

lou1306 3 months ago | parent | context | favorite | on: Did Turing prove the undecidability of the halting...

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.

lostmsu 3 months ago [–]

Not sure what are you trying to say. Surely the "subset of instances" is non-Turing complete.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact