3 ms·
> Maybe replace "your" with "any given"? I'd be more inclined to replace it with "any non-trivial" in this case.
by commandlinefan 6y ago
> Maybe replace "your" with "any given"?
I'd be more inclined to replace it with "any non-trivial" in this case.
- nickdrozd 6y agoThat would also be false. There are many non-trivial programs that can proved to halt or proved not to halt.