Yeah I suspect this is a tongue in cheek (but still silly) title. The halting problem is not about probabilities at all. If there's even one single program tha

Yeah I suspect this is a tongue in cheek (but still silly) title. The halting problem is not about probabilities at all. If there's even one single program that cannot be proven to halt or not, that already makes the halting problem undecidable, regardless of the fact that an infinity of programs can be proven to halt / not halt.