Mathematical certainty is what to leverage, not what to fight. You'd use it before you run into the halting prbblem, not after. Just like mathematics was used to discover the halting problem in the first place.
And what you're describing as happening in practice is precisely the disappointing part of prgramming.
And what you're describing as happening in practice is precisely the disappointing part of prgramming.
reply