This article is attacking a straw man. The reason why the halting problem is of minor importance for pragmatically minded programmers has nothing to do with ma

This article is attacking a straw man. The reason why the halting problem is of minor importance for pragmatically minded programmers has nothing to do with machine memory size. It's of minor importance because while it's intractably hard to prove an arbitrary program has some desired properties, it's considerably and practically easier to reliably construct a program with said properties. That problem of program construction is what we as programmers are trained and paid to do, and overall we do an adequate job of it.