[lodi]

Do you believe that human intelligence, given an algorithm and a set of inputs, is capable of deciding whether the algorithm halts or not?