• floopus@lemmy.ml
    link
    fedilink
    arrow-up
    1
    ·
    19 hours ago

    I suggest you re-read through the proof of the halting problem, and consider precisely what it’s saying. It really has been mathematically proven.

    But fair enough, the program made in the halting problem you probably wouldn’t ever encounter. But the consequence is, if you were trying to write an algorithm that solves the halting problem, you would have to sacrifice some level of correctness - and technically any algorithm you write would fail or loop forever on an infinite number of programs, surely one of them would be useful. Consider the Collatz conjecture. I severely doubt anyone would be able to “decide” the collatz conjecture program halting without it being a very specific proof of it (with maybe some generalisations).