> Programs that never halt but for which there is no proof > We just can’t give a specific example. This is the third category of such programs per author. T

> Programs that never halt but for which there is no proof > We just can’t give a specific example. This is the third category of such programs per author. The other two are > Programs that eventually finish executing (or “halt”) > Programs that provably never halt