Computing the uncomputable