3 ms·
> So what's uncomputable here? Deciding whether the universal machine will ever halt on a particular input. I.e. the good old halting problem.
by tromp 3y ago
> So what's uncomputable here?
Deciding whether the universal machine will ever halt on a particular input. I.e. the good old halting problem.