The author seems to be totally clueless. In addition to seeming to claim that this guy invented subset and union notation ("U, or union, makes a new relation or set out of the relations or sets that are passed to it"), he/she completely misunderstands the halting problem.
"Computers occasionally hang on one line of code and fail to move on to the next, and no one can reliably predict when that will happen."
"Computers occasionally hang on one line of code and fail to move on to the next, and no one can reliably predict when that will happen."
Seriously, Wired?