Sorting colors [case study]

Why is it so difficult? - Sorting colors is a canonical example of something easy to formulate, however, unsolvable in the sense we expect. Is not that is computationally difficult. Is......