3 ms·
This is a misinterpretation equivalent to saying "The halting problem indicates it is impossible to say if this loop terminates: while true: break "
by legobmw99 1y ago
This is a misinterpretation equivalent to saying "The halting problem indicates it is impossible to say if this loop terminates:
while true:
break
"
It is true that it is impossible in general, but that says nothing about whether or not it is possible in almost every useful case
- strbean 1y agoI sometimes wonder how big the category of "programs that break (or rather, cause) the halting problem" really is. If we carve out "programs that run themselves on themselves and then do the opposite", what remains?
- jam0wal 1y agoYou both rather miss the point that the op ref talks of making illegal states unrepresentable. An objective that either depends on only handling simplistic data or ... most likely is impossible.