Non‐Computable Functions in Optimality Theory