Hacker News new | ask | show | jobs
by k_sze 2954 days ago
Well, everything halts then, so that just solved the Halting Problem.
1 comments

But you need to prove that it halted - to you manager obviously - that's the impossible and stressful part.
But is it provable in nondeterministic polynomial stress?
Need to explain it to 10 managers if you work in enterprise software.