Hay muchas funciones que fallan en la prueba de línea horizontal para la que, sin embargo, parece que tenemos funciones inversas para. Por ejemplo, x^2 falla HLT pero la raíz cuadrada de x es una inve...Hay muchas funciones que fallan en la prueba de línea horizontal para la que, sin embargo, parece que tenemos funciones inversas para. Por ejemplo, x^2 falla HLT pero la raíz cuadrada de x es una inversa bastante razonable para ello; solo hay que tener cuidado con el problema de “más o menos”. Esta aparente contradicción puede resolverse utilizando la noción de restricción.
