Hiperişlem

Hiperişlem, matematik'te aritmetik işlemlerin sonsuz dizisidir. 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:n = 0, 1, 2, 3 için bu tanım, ardıl (birli işlem), toplama, çarpma ve üs almanın temel artimetik işlemlerini sırasıyla şu şekilde yeniden üretir;ve n ≥ 4 için, bu temel işlemleri, üs almanın da ötesine götürerek Knuth yukarı ok gösterimiyle şöyle yazabiliriz;Knuth gösterimi ≥ -2 negatif altgöstergelerinde (indislerinde), tüm hiperişlem dizisi için geçerli olduğunu kabul ederek, genişletilebilir, Sadece aşağıdaki altgösterge aralığı hariç:"Sonraki dizi nedir?" sorusunun cevabını hiperişlem şunlarla gösterebilir: Ardıl, toplama, çarpma, üs alma ve böylece devam eder.Temel aritmetik işlemler arasındaki ilişki, yukarıda da gösterildiği gibi, daha yüksek işlem tanımlanarak gösterilir. Hiperişlem hiyerarşisinin parametreleri, bazen kendi örnek hiperişlem terimi; tarafından ifade edilir. Böylece a taban, b üsGenellikle hiperişlemler, önceki hiperişlem tekrarının yükseliş tabanında, artan birleşim sayılarının yolları olarak bilinir. Ardıl, toplama, çarpma ve üs alma kavramlarının hepsi hiperişlemdir. Ardıl işlemi (x den x+1 üretme) en ilkelidir. 1'lerin sayısını belirten toplama işareti, son değeri üretene kadar kendine eklenir. Çarpma, kendisiyle kaç kez tekrarlandığını ifade eder. Üs alma, kendisiyle kaç kez çarpıldığının sayısını ifade eder.Hiperişlemlerle ilgili ilk tartışma 1914'te Albert Bennett'in, değişmeli hiperişlemleri geliştirdiğinde başladı. Yaklaşık 12 yıl sonra Wilhelm Ackermann hiperişlem dizisine benzeyen  fonksiyonunu tanımladı.1947'de R. L. Goodstein, hiperişlem olarak adlandırılan özel işlemler dizisini geliştirdi ve genişleyen üslü işlemleri ifade edebilmek için Yunanca adlar olan tetrasyon, pentasyon, hekzasyon, vb. önerdi. Örn  gibi üç argümanlı (değişkenli) fonksiyonun hiperişlem dizisi, özgün  Ackermann işlevinin bir çeşididir.Farklı başlangıç şartları veya farklı özyineleme kuralları için birçok işlem ortaya çıktı. Bazı matematikçiler tümünü,  hiperişlemlerin örnekleri olarak kabul ediyor.Genel duyarlılık, bir  hiperişlem hiyerarşisi, ikili işlemin 'deki ailesi 'dir ve  şartını sağlayan  tarafından dizinlenir. BuradaHiperişlemde çözüm aranılan açık bir problem, hiperişlem hiyerarşisi 'nin, 'yi genelleştirebileceğimi yoksa 'nin sözdegrup gibi davranacağı (kısıtlı tricted domains).1928'de Wilhelm Ackermann, 3 argümanlı  fonksiyonunu tanımladı. Bu 2 argümanlı olan ve Ackermann işlevi olarak bilinen fonksiyonun azar azar geliştirilmiş şeklidir. Özgün Ackermann işlevi olan , modern hiperişlemlere birazcık benziyordu. Çünkü onun başlangıç şartları, tüm  için   dan başlar. Ayrıca eklemeyi 'a, çarpmayı 'e ve üs almayı 'a atadı. Böylece başlangıç şartları, tetrasyon ve ilerisi için çok farklı işlemler üretti.1984'te, C. W. Clenshaw ve F. W. J. Olver, bilgisayardaki kayan noktaların akışını engellemek için hiperişlemlerin kullanımıyla ilgili tartışma başlattıDeğişimli hiperişlemler 1914 başlarında Albert Bennett tarafından dikkate alındı. Değişimli hiperişlemler özyineleme kuralı tarafından tanımlanırbu, a ve b de simetriktir ve tüm hiperişlemlerin değişimli olduğu anlamına gelir. Bu dizi üstelleri içermez ve bu yüzden hiperişlem hiyerarşisi formu değildir.Dengeli hiperişlemler, ilk önce Clément Frappier tarafından 1991'de ortaya atıldı.  fonksiyon tekrarının temelini oluşturur ve bu yüzden Steinhaus-Moser gösterimi ile ilişkilidir. Dengeli hiperişlemlerde kullanılan özyineleme kuralı şudur:n>3 için  nasıl 'den çok farklı olabilir ki? Bu, simetriden dolayı, + ve × içinde tanımlanan birleşme olarak adlandırılır (cisime bakınız) fakat ^ eksik.