Considere la posibilidad de construir expresiones utilizando el número de $1$, operadores aritméticos $+, -, *, /$ y exponenciación ^ (en caso de varios valores, el principal valor es asumido, de la misma manera como se implementa en el Poder de la función en Mathematica). Es un decidable problema para comprobar si tal expresión es igual a cero? Si es así, ¿podría usted por favor me apunte a un algoritmo que pueda resolver este problema?
Actualización: he encontrado una referencia a Richardson del Teorema, que establece undecidablity de la igualdad en un conjunto más amplio de expresiones, en particular, incluyendo el logaritmo y funciones de valor absoluto.
