I think of the dialogues between Achilles and the Tortoise in the Godel, Escher, Bach book. They would have tried adding a classifier that can tell when it is wrong and when it is right, but that is of course undecidable.