Accept the Consequences

Communications of the ACM 

The implications of such models can apply to real-world computers, as long as resource utilization does not exceed their physical limitations. Even when those bounds are reached, there is still the question of what could in the future be computed on machines of ever-greater size and speed (https://bit.ly/3FiNjgW). However, when even futuristic physical limitations and issues like power consumption are addressed, the correspondence between the infinitary models and reality starts to fray. A widely understood example of this divergence can be found in the application of the theory of algorithmic complexity to sorting. The classical analysis of sorting yields the well-known result (https://bit.ly/3D7gIKE)