|
|
|
|
|
|
by ninetyninenine
402 days ago
|
|
|
I don’t think you realize how universal the halting problem is in the universe. Like the law governs everything that exists in the universe so it governs humans as well. If a human can know that a program halts it also means the program is provably haltable. If a human doesn’t know whether a program will halt it likely means that the program is not provably haltable. The halting problem refers to a general algorithm that can prove any program will halt. |
|
|