Notasi anak panah atas Knuth

Versi yang bisa dicetak tidak lagi didukung dan mungkin memiliki kesalahan tampilan. Tolong perbarui markah penjelajah Anda dan gunakan fungsi cetak penjelajah yang baku.

Notasi anak panah atas Knuth adalah salah satu cara untuk merepresentasikan bilangan bulat yang sangat besar. Notasi ini diciptakan oleh Donald Knuth pada tahun 1976.[1] Dalam makalahnya pada tahun 1947,[2]  R. L. Goodstein memperkenalkan urutan operasi spesifik yang sekarang disebut hiperoperasi, yang mana perkalian dianggap sebagai iterasi atau perulangan dari penjumlahan, perpangkatan adalah iterasi dari perkalian, iterasi selanjutnya adalah tetrasi, kemudian pentasi, dan seterusnya, di mana notasi anak panah Knuth dapat digunakan. misalnya:

  • Anak panah tunggal mewakili eksponenisasi yang merupakan perkalian berulang.

  • Anak panah ganda mewakili tetrasi yang merupakan eksponenisasi yang berulang.

  • Anak panah tripel mewakili pentasi yang merupakan tetrasi yang berulang.

Definisi umum dari notasi anak panah adalah sebagai berikut, dimana :

Disini, merupakan singkatan dari anak panah yang berjumlah n sebagai contoh:

dan kurung siku adalah notasi lain dari hiperoperasi

Pengenalan

Hiperoperasi secara alami memperluas operasi aritmetika dari operasi yang lebih kecil seperti Perkalian yang merupakan iterasi, lelaran, perulangan atau Rekursi dari penjumlahan. yang direpresentasikan dengan notasi dibawah ini:

Penambahan dengan bilangan asli didefinisikan dengan penjumlahan yang berulang

 

Misalnya

 

Perkalian merupakan iterasi atau perulangan dari penjumlahan

 

Misalnya:

 

Perpangkatan adalah iterasi dari perkalian, dalam notasi Knuth dilambangkan dengan satu anak panah:

 

Misalnya:

 

Tetrasi merupakan Iterasi dari perpangkatan, yang merupakan perpangkatan yang berulang, dilambangkan dengan dua anak panah:

 

Misalnya:

 

Berdasarkan definisi ini dapat diketahui bahwa anak panah ganda   ini mewakili perpangkatan dengan tingkat sebanyak n tingkat, maka

 

 

 

 

Dan seterusnya, Walaupun bilangan ini sudah terlihat sangat besar. Hiperoperasi tidak berhenti disitu. Iterasi selanjutnya seperti pentasi, heksasi, dan lain-lain dilakukan dengan menambah jumlah anak panah pada notasi anak panah knuth:

Pentasi, mendefinisikan iterasi dari tetrasi. Direpresentasikan dengan panah tripel atau rangkap tiga  :

 

Heksasi mendefinisikan iterasi dari pentasi. Direpresentasikan dengan panah tripel atau rangkap empat  :

 

Jadi, notasi anak panah-  didefinisikan sebagai deret anak panah ( ):

 

Sebagai contoh:

 

 

Notasi

Terdapat notasi versi simpel yang lebih pendek, dengan menggunakan  , contohnya  . Tapi perlu diingat bentuk ini tidak sama dengan notasi hiperoperasi, misalnya dalam hiperoperasi contoh tersebut seharusnya bernama tetrasi karena n-nya adalah empat, bukan heksasi yang n-nya enam. Dalam hiperoperasi notasi tersebut berbentuk  , contohnya  , dan diberinama pentasi sesuai dengan n-nya yaitu lima.

Notasi anak panah dipilih karena beberapa hal seperti bahasa pemrograman dan e-mail berupa teks tidak mendukung simbol pangkat. Jika suatu pengodean karakter tidak memiliki simbol anak panah dapat digunakan simbol "caret" atau Superskrip (^).

Notasi alternatif lainnya adalah notasi anak panah berantai yang diciptakan John Horton Conway dan digunakan untuk melambangkan angka yang sangat besar, lebih besar dari notasi Knuth:

 

Merepresentasi notasi anak panah knuth dalam bentuk menara daya

notasi   dapat direpresentasikan dengan menggunakan menara daya atau tetrasi yang berarti   pangkat   sebanyak   kali.

 

Menambahkan satu anak panah lagi akan menghasilkan menara daya bertumpuk yang menunjukkan jumlah anak panah untuk tingkat yang lebih tinggi diatasnya.

 

Melanjutkan dari notasi ini,   bisa digambar dengan titik diantara menara dengan informasi tambahan mengenai berapa jumlah tingkat menara yang disigkat menjadi titik.

 

Lebih-lebih lagi, anak panah 4.   dapat ditulis dengan menumpuk menara anak panah tripel sebanyak b kali.

 

Dan lebih lanjut, lagi secara umum akan direpresentasikan setidaknya seperti ini:

 

Cara ini dapat terus dilakukan untuk merepresentasi   sebagai eksponenisasi iterasi dari eksponenisasi untuk a,b dan n. Meskipun ini akan semakin sulit dilakukan.

Menggunakan tetrasi

Notasi Rudy Rucker   membuat representasi notasi anak panah knuth menjadi sedikit lebih mudah sambil terus menggunakan menara daya (representasi geometris)

 

 

 

Dan akhirnya, bilangan keempat dari Fungsi Ackerman,   dapat direpresentasikan dengan:

 

Penyederhanaan

Saat bilangan yang dibahas terlalu besar, dan jumlah anak panah terlalu panjang untuk ditulis, operator   dapat sangat membantu,   dapat merepresentasikan jumah panah yang ada. Jika bilangan tersebut masih terlalu besar maka Notasi anak panah berantai Conway dapat digunakan, notasi panah berantai tiga mungkin sama dengan notasi anak panah knuth, tapi jika rantai mencapai 4 anak panah, ini akan sangat jauh lebih kuat daripada anak panah Knuth.

 

 

 =   =  

Fungsi yang tumbuh lebih cepat dari ini oun dapat dikategorikan menggunakan analisis ordinal yang disebut hierarki cepat bertumbuh Hirarki cepat bertumbuh menggunakan iterasi fungsi dan diagonalisasi yang berurutan untuk secara sistematis membuat fungsi yang tumbuh lebih cepat dari beberapa fungsi dasar.   untuk hirarki cepat bertumbuh dapat menggunakan  ,   menunjukkan perkalian,   sudah menunjukkan eksponensial,   menunjukkan iterasi eksponenisasi berupa tetrasi. Kemudian   sebanding dengan Fungsi Ackermann , sudah berada di luar jangkauan panah bertingkat, tetapi masih dapat digunakan untuk memperkirakan Bilangan Graham , dan sebanding dengan notasi panah berantai Conway yang bisa dipanjangjan sepanjang apapun.

Semua fungsi ini dapat dihitung. Bahkan fungsi yang dapat dihitung lebih cepat, seperti Deret Goodstein dan Deret TREE yang memerlukan penggunaan ordinal besar, dapat terjadi dalam konteks kombinatorik dan teori pembuktian tertentu. Ada fungsi yang tumbuh sangat cepat, seperti Fungsi Busy Beaver , yang sifatnya akan sepenuhnya berada di luar jangkauan panah atas, atau bahkan analisis berbasis ordinal apa pun.

Definisi

Tanpa referensi dari hiperoperasi, Notasi anak panah atas Knuth masih dapat dijabarkan dengan rumus formal matematika.

 

Dimana Bilangan bulat   adalah  .

Definisi ini menggunakan eksponenisasi   sebagai kasus atau tingkatan dasar, dan tetrasi   sebagai eksponenisasi yang diulang(iterasi). ini setara dengan tingkatan hiperoperasi kecuali suksesi, penjumlahan dan perkalian.

Seseorang juga dapat memilih perkalian  sebagai kasus dasar dan ulangi dari sana. Kemudian eksponensial menjadi perkalian berulang. Definisi formalnya adalah:

 

Dimana Bilangan bulat   adalah  .

Namun perlu dicatat bahwa simplifikasi Notasi anak panah Knuth tidak mendefinisikan "panah nol"  , notasi ini daspat diperluas ke indeks   sedemikian rupa sehingga sesuai dengan seluruh rangkaian hiperoperasi kecuali untuk jeda dalam pengindeksan:

 

Operasi panah ke atas adalah termasuk operasi asosiatif kanan. Yaitu dimana operasi  , dipahami sebagai  , alih-alih   Jika ambiguitas bukan masalah, tanda kurung terkadang dihilangkan.

Tabel nilai bilangan

Menghitung 0↑nb

Menghitung   akan menghasilkan:

  • 0, jika n = 0  
  • 1, jika n = 1 dan b = 0
  • 0, jika n = 1 dan b > 0  
  • 1, jika n > 1 dan b genap (termasuk juga ketika b = 0)
  • 0, jika n > 1 dan b ganjil

Menghitung 1↑nb

Menghitung angka 1 dengan cara mengalikannya, memangkatkannya atau bahkan menumpuknya dengan tetrasi akan selalu menghasilkan angka 1.

Menghitung 2↑nb

Komputasi   dapat direpresentasikan dalam bentuk tabel yang berukuran tak terbatas. disini hanya ditampilan angka-angka  pada baris paling atas, dan isi kolom kiri dengan nilai 2.

Nilai dari   =   =   =  
b
1 2 3 4 5 6 formula
1 2 4 8 16 32 64  
2 2 4 16 65536      
3 2 4 65536        
4 2 4          

Menghitung 3↑nb

Komputasi   dapat direpresentasikan dalam bentuk tabel yang berukuran tak terbatas. disini hanya ditampilan angka-angka  pada baris paling atas, dan isi kolom kiri dengan nilai 3.

Nilai dari   =   =   =  
b
1 2 3 4 5 formula
1 3 9 27 81 243  
2 3 27 7.625.597.484.987      
3 3 7.625.597.484.987        
4 3          

Menghitung 4↑nb

Komputasi   dapat direpresentasikan dalam bentuk tabel yang berukuran tak terbatas. disini hanya ditampilan angka-angka  pada baris paling atas, dan isi kolom kiri dengan nilai 4.

Nilai dari   =   =   =  
b
1 2 3 4 5 formula
1 4 16 64 256 1024  
2 4 256        
3 4          
4 4          

Menghitung 10↑nb

Komputasi   dapat direpresentasikan dalam bentuk tabel yang berukuran tak terbatas. disini hanya ditampilan angka-angka  pada baris paling atas, dan isi kolom kiri dengan nilai 10.

Nilai dari   =   =   =  
b
1 2 3 4 5 formula
1 10 100 1.000 10.000 100.000  
2 10 10.000.000.000        
3 10          
4 10          


Pranala luar

Referensi

  1. ^ Knuth, Donald E. (1976-12-17). "Mathematics and Computer Science: Coping with Finiteness". Science (dalam bahasa Inggris). 194 (4271): 1235–1242. doi:10.1126/science.194.4271.1235. ISSN 0036-8075. PMID 17797067. 
  2. ^ R. L. Goodstein (Dec 1947). "Transfinite Ordinals in Recursive Number Theory". Journal of Symbolic Logic. 12 (4): 123–129. doi:10.2307/2266486. JSTOR 2266486.