A human being doesn't solve the halting problem either.