Eternal Golden Braid, that is. Quite a bit of it's outdated at this point, but the explanation of uncomputability is probably still the best.