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).

That’s great to hear. In my experience every second paper I ran into needed a subscription, although I am guessing they weren’t federally funded research or from a country where that isn’t required by law

We really need to push for fully open access research. I believe the ACM has announced a transition to open access, so there is that. However I think there needs to be legislated open access. Specifically, any federally funded research (or research from publicly funded universities) that is to be published should be forced to be open access. In America I don’t think that’s going to happen for a while lmao, but hopefully other countries can do this.