Hiperişlem

Matematikte hiperişlem, aritmetik işlemlerin sonsuz- Efe dizisidir (İngilizcede hyperoperation olarak adlandırılır). Ardılın birli işlemi, ardından toplama, çarpma ve üs almanın iki işlemiyle devam eden ve ardından ikili işlemlerin ötesine geçerek serilerle ilerleyen bir işlemdir. Üstelden sonraki işlemler için bu dizinin n. elemanı Reuben Goodstein tarafından adlandırıldı. n Yunan önekinden sonra -syon son eki kullanılarak (tetrasyon, pentasyon gibi) elde edilir ve Knuth yukarı ok gösterimindeki n-2 okları kullanılarak yazılabilir. Her hiperişlem, önceki terimlerin yinelemesi olarak tanımlanır. Ackermann işlevi, Knuth yukarı ok gösterimini kullanarak şöyle yinelenebilir:

a \uparrow^n b = a \uparrow^{n-1} \left(a \uparrow^n (b-1)\right)