Andrzej Odrzywołek, investigador posdoctoral del Instituto de Física Teórica de la Universidad Jaguelónica, ha propuesto un marco matemático que reduce todas las funciones elementales a un sistema de solo dos botones.
En un artículo recientemente actualizado y aún pendiente de revisión por pares, Odrzywołek sugiere que un único operador binario puede realizar las mismas tareas que una calculadora científica convencional. El sistema propuesto se basa en apenas dos elementos: el propio operador y la constante 1.
El núcleo de la propuesta es la función "exponencial menos logaritmo", o eml(x, y), definida como exp(x) - ln(y). Odrzywołek sostiene que este único operador puede generar desde aritmética básica hasta trigonometría compleja.
Un solo operador para funciones complejas
Según el artículo, el operador eml puede producir las funciones seno, coseno y tangente, así como operaciones algebraicas como suma, resta, multiplicación y división. También permite derivar constantes fundamentales como π, e e la unidad imaginaria i.
Odrzywołek argumenta que esta simplicidad podría transformar la computación científica. "Una calculadora con solo dos botones, EML y el dígito 1, puede calcular todo lo que hace una calculadora científica completa", afirma el documento.
El investigador sugiere que, dado que basta con un elemento repetible, las expresiones matemáticas pueden tratarse como circuitos uniformes, de forma similar a cómo la electrónica se construye a partir de transistores idénticos. Esto podría dar lugar a nuevos métodos para codificar y descubrir fórmulas.
Para abordar la falta de una definición universal para las funciones elementales, el investigador se centró en una lista de las 36 funciones más utilizadas. El objetivo era demostrar que cada función de esta lista puede expresarse mediante una composición finita del operador eml y el número 1.
Si bien el concepto ha ganado terreno en debates en plataformas como Hacker News, el artículo reconoce ciertas limitaciones. Odrzywołek señaló que la verificación simbólica directa mediante pruebas formales sigue siendo "intratable".
