For that matter, it’s perfectly possible to build algorithms that can accurately tell you whether or not some systems will halt—certain types of infinite loop are easily machine-detectable, to give one simple example. It’s doing it in the general case that’s impossible.
For that matter, it’s perfectly possible to build algorithms that can accurately tell you whether or not some systems will halt—certain types of infinite loop are easily machine-detectable, to give one simple example. It’s doing it in the general case that’s impossible.