hiperoperación

En matemáticas, la sucesión de hiperoperaciones​es una sucesión infinita de operaciones aritméticas (llamadas hiperoperaciones)​​​ que se inicia con la operación unaria sucesor (n = 0), siguiendo con las operaciones binarias de adición (n = 1), multiplicación (n = 2), y potenciación (n = 3), después de lo cual la sucesión continúa con más operaciones binarias, que se extienden más allá de la potenciación, mediante la asociatividad por derecha. Para las operaciones más allá de la potenciación, el n-ésimo miembro de esta sucesión es nombrado por Rubén Goodstein después del prefijo griego de n con el sufijo -ción (como tetración (n = 4), pentación (n = 5), hexación (n = 6), etc.)​ y puede ser escrito mediante el uso de n − 2 flechas en la notación flecha de Knuth.Cada hiperoperación puede ser entendida de forma recursiva en términos de la anterior por: (m ≥ 0) Esto también puede ser definido de acuerdo a la regla de recursividad con parte de la definición, como en la versión flecha hacia arriba de Knuth de la función de Ackermann: (m ≥ -1) Esta puede ser usada fácilmente para mostrar números mucho más grandes que las que la notación científica puede, tales como el número de Skewes y el googolplex, pero hay algunos números que incluso ellos no pueden mostrar fácilmente, tales como el número de Graham y ÁRBOL(3). Esta repetición de la regla es común a muchas variantes de hiperoperaciones (ver ).