Turing: it's impossible to tell whether an arbitrary abstract program will halt
everyone since: it's impossible to tell whether an arbitrary actual program will do god damn *anything* and how expensive it'll be to find out. get in the sandbox, proggie.