A Solution to the Halting Problem

nickdrozd.github.io

1 pointnickdrozd1 comment

Whenever you hear something like “this algorithm can sort an array in time O(N^3/2)” somebody proved that particular algorithm halts.