Un reciente artículo matemático que afirma que un único operador puede expresar todas las funciones elementales está siendo sometido a un riguroso escrutinio técnico. La crítica, publicada por Robert Smith en www.stylewarning.com, sostiene que la función 'exp-menos-log' carece de la capacidad necesaria para representar ciertas estructuras matemáticas fundamentales.
El debate se centra en un trabajo de Andrzej Odrzywołek titulado 'All Elementary Functions from a Single Operator' (Todas las funciones elementales a partir de un único operador). La obra original ha cobrado relevancia en internet, y algunos observadores han calificado sus hallazgos como un 'gran avance' o 'revolucionarios'. Odrzywołek sugiere que la función E(x,y) := exp(x) - log(y), combinada con constantes básicas, puede construir desde la suma hasta el número pi.
Sin embargo, Smith sostiene que la definición de 'elemento' de Odrzywołek es demasiado restrictiva. Según el informe de www.stylemente.com, Odrzywołek limita su alcance a 36 símbolos específicos e ignora la definición matemática más amplia que se utiliza desde el siglo XIX.
Los límites de los términos EML
En las matemáticas estándar, las funciones elementales incluyen raíces polinómicas arbitrarias. Smith argumenta que los 'términos EML' —expresiones construidas a partir del operador exp-menos-log— no pueden expresar dichas raíces.
Utilizando la teoría de Galois topológica de Khovanskii, Smith demuestra que el grupo de monodromía de las funciones construidas con estos términos sigue siendo resoluble. Esto les impide alcanzar la complejidad de la clase completa de funciones elementales.
'El resultado principal no se sostiene en este entorno', escribe Smith, señalando que la función EML no puede servir como un análogo continuo a las puertas lógicas universales, como la puerta NAND.
Aunque Smith reconoce que el artículo de Odrzywołek es 'ingenioso y estimulante', mantiene que la afirmación de universalidad es matemáticamente incorrecta bajo las definiciones estándar. La crítica sugiere que, si bien el operador es expresivo, sigue siendo solo un subconjunto del vasto panorama matemático.
