“We can program a machine such that ‘Machine X halts iff Machine X never halts.’”—good point. I can see that now.
“We can program a machine such that ‘Machine X halts iff Machine X never halts.’”—good point. I can see that now.