3 ms·A Solution to the Halting Problem1 points by nickdrozd 4y agoPaulHoule 4y agoWhenever you hear something like “this algorithm can sort an array in time O(N^3/2)” somebody proved that particular algorithm halts.