True. It is proven that there is no algorithm that compares arbitrary computable numbers.

In other words, min and max are algorithms, but (==) and (<=) are not.