Comment on They are watching
MonkderZweite@feddit.ch 1 year agoHalting Problem
Goes for me into the same bucket as proofs of god.
Comment on They are watching
MonkderZweite@feddit.ch 1 year agoHalting Problem
Goes for me into the same bucket as proofs of god.
Swiggles@lemmy.blahaj.zone 1 year ago
Why? The answer is known. You can easily proof it by contradiction. Therefore the halting problem is unsolvable.
This solution actually provides some good insight into other problems and wether or not they are solvable. It is useful, even though the negative result might seem disappointing.