Hacker News new | ask | show | jobs
by arjvik 619 days ago
Termination is decidable, it's just that the finite program which decides if it terminates would take unfeasibly long to run.