4 ms·
That would also be false. There are many non-trivial programs that can proved to halt or proved not to halt.
by nickdrozd 6y ago
That would also be false. There are many non-trivial programs that can proved to halt or proved not to halt.
loading thread…