3 ms·
True, but that's proving that the level can be finished. Proving the level will be finished is more analogous to the halting problem.
by mpnordland 9y ago
True, but that's proving that the level can be finished. Proving the level will be finished is more analogous to the halting problem.