¿Qué es una función recursiva elemental?

Esto está en el ámbito de la teoría de la computabilidad, que podría decirse que está más cerca de las matemáticas que de la informática.

Nunca he oído hablar de la clase de funciones recursivas ELEMENTALES antes. Me avergüenzo teniendo en cuenta

  • Está estrechamente relacionado con las funciones recursivas primitivas que están asociadas con el matemático húngaro Rózsa Péter.

  • Fue definido por ese otro eterno teórico húngaro de computabilidad, su colega y amigo, László Kalmár, a quien realmente conocí una vez cuando era joven.

En términos generales, las funciones recursivas elementales son funciones sobre números naturales que se pueden construir a partir de cero, sucesor, proyección y sustracción no negativa y que se combinan con la composición y la suma limitada y el producto.

Es una subclase de funciones recursivas primitivas que a su vez es una subclase de funciones recursivas (totales).

Vea las referencias de Wikipedia para los detalles.