3 ms·
Sure, you can do that with formal methods, but proving that a program is correct or that it halts is not the same as solving the halting problem.
by copperx 7y ago
Sure, you can do that with formal methods, but proving that a program is correct or that it halts is not the same as solving the halting problem.