En matemàtiques, la notació de fletxa de Knuth és un mètode de notació per a grans nombres enters, introduïda per Donald Knuth el 1976.[1]
En el seu article de 1947,[2] R. L. Goodstein introdueix la seqüència especifíca d'operacions que avui en dia es coneixen com hiperoperacions. Goodstein també suggereix els noms grecs tetració, pentació, etc., per a l'extensió de les operacions més enllà de l'exponenciació. La seqüència comença amb una operació unària (la funció successor amb n = 0), i continua amb les operacions binàries d'addició (n = 1), multiplicació (n = 2), exponenciació (n = 3), tetració (n = 4), pentació (n = 5), etc. Diverses notacions han estat emprades per representar les hiperoperacions. Una d'elles és la notació
, així com també ho és la notació de fletxa de Knuth
. Per exemple:
- una única fletxa
representa exponenciació (multiplicació iterada) ![{\displaystyle 2\uparrow 4=H_{3}(2,4)=2\times (2\times (2\times 2))=2^{4}=16}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f14ecc51fccf7e0ec37ab529d20d4c6cbc54c842)
- la doble fletxa
representa tetració (exponenciació iterada) ![{\displaystyle 2\uparrow \uparrow 4=2[4]4=2\uparrow (2\uparrow (2\uparrow 2))=2^{2^{2^{2}}}=2^{16}=65,536}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18a269e3f7c8538a9618619d9fba8e417f2c8b09)
- la triple fletxa
representa pentació (tetració iterada) ![{\displaystyle {\begin{aligned}2\uparrow \uparrow \uparrow 4=H_{5}(2,4)=2\uparrow \uparrow (2\uparrow \uparrow (2\uparrow \uparrow 2))\\&=2\uparrow \uparrow (2\uparrow \uparrow (2\uparrow 2))\\&=2\uparrow \uparrow (2\uparrow \uparrow 4)\\&=\underbrace {2\uparrow (2\uparrow (2\uparrow \dots ))} \;=\;\underbrace {\;2^{2^{\cdots ^{2}}}} \\&\;\;\;\;\;2\uparrow \uparrow 4{\mbox{ vegades }}2\;\;\;\;\;{\mbox{65,536 2s}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/514454192fb704e41938a47dabb57f07e3f3fe70)
La definició general de la notació de fletxa és la següent (per
):
Aquí,
denota n fletxes, així com per exemple
Els parèntesis quadrats són una altra notació per a hiperoperacions.
Introducció
Les hiperoracions estenen naturalment les operacions aritmètiques d'addició i multiplicació de la següent manera. L'addició per un nombre natural es defineix com un increment iterat:
![{\displaystyle {\begin{matrix}H_{1}(a,b)=a+b=&a+\underbrace {1+1+\dots +1} \\&b{\mbox{ vegades }}1\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10a675801b2cd3051bf169fa46adccfefe1e81e2)
La multiplicació per un nombre natural es defineix com addició iterada:
![{\displaystyle {\begin{matrix}H_{2}(a,b)=a\times b=&\underbrace {a+a+\dots +a} \\&b{\mbox{ vegades }}a\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdb3a318cca1e0cc711a75663890c489d5dbea48)
Per exemple,
![{\displaystyle {\begin{matrix}4\times 3&=&\underbrace {4+4+4} &=&12\\&&3{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05772ea01db32e9e45770c814fdfc1b1c231c29f)
L'exponenciació a una potència natural
es defineix com multiplicació iterada, la qual Knuth denota amb una sola fletxa:
![{\displaystyle {\begin{matrix}a\uparrow b=H_{3}(a,b)=a^{b}=&\underbrace {a\times a\times \dots \times a} \\&b{\mbox{ vegades }}a\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88272e0ee44202229e787266548e8d2fdca5867f)
Per exemple,
![{\displaystyle {\begin{matrix}4\uparrow 3=4^{3}=&\underbrace {4\times 4\times 4} &=&64\\&3{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d64ff1117d1e6e9d5f17f8ff9e9b0f093062ad0c)
La tetració es defineix com exponenciació iterada, la qual Knuth denota amb "dues fletxes":
![{\displaystyle {\begin{matrix}a\uparrow \uparrow b=H_{4}(a,b)=&\underbrace {a^{a^{{}^{.\,^{.\,^{.\,^{a}}}}}}} &=&\underbrace {a\uparrow (a\uparrow (\dots \uparrow a))} \\&b{\mbox{ vegades }}a&&b{\mbox{ vegades }}a\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a4aeb771fbc7c4a092dbca886ec017ae51b1429)
Per exemple,
![{\displaystyle {\begin{matrix}4\uparrow \uparrow 3=&\underbrace {4^{4^{4}}} &=&\underbrace {4\uparrow (4\uparrow 4)} &=&4^{256}&\approx &1.34078079\times 10^{154}&\\&3{\mbox{ vegades }}4&&3{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9d744ea8ff7d8ae6ffbed88c258b7d775d2c173)
Les expressions s'avaluen de dreta a esquerra, ja que els operadors es defineixen de manera associativa per la dreta.
D'acord amb aquesta definició,
![{\displaystyle 3\uparrow \uparrow 2=3^{3}=27}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5217b6f0699e9e634d31a294211ccbc027f3cd0)
![{\displaystyle 3\uparrow \uparrow 3=3^{3^{3}}=3^{27}=7,625,597,484,987}](https://wikimedia.org/api/rest_v1/media/math/render/svg/757b4d90f49bf6c6c26d19e27e205d5c424c54b2)
![{\displaystyle 3\uparrow \uparrow 4=3^{3^{3^{3}}}=3^{3^{27}}=3^{7625597484987}\approx 1.2580143\times 10^{3638334640024}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd1985e7bde58f1e22078cf13719526403f84fab)
![{\displaystyle 3\uparrow \uparrow 5=3^{3^{3^{3^{3}}}}=3^{3^{3^{27}}}=3^{3^{7625597484987}}\approx 3^{1.2580143\times 10^{3638334640024}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d1e6349b1b7c5883ced8923a460d6d880c22876)
- etc.
Això ja dona lloc a nombres notablement grans, però la seqüència d'hiperoperadors no s'atura aquí.
La pentació, definida com a tetració iterada, es representa amb "tres fletxes":
![{\displaystyle {\begin{matrix}a\uparrow \uparrow \uparrow b=H_{5}(a,b)=&\underbrace {a_{}\uparrow \uparrow (a\uparrow \uparrow (\dots \uparrow \uparrow a))} \\&b{\mbox{ vegades }}a\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c622e513b2dcd0e615cb64b59d6f4fd1a458cd5)
L'hexació, definida com a pentació iterada, es representa amb "quatre fletxes":
![{\displaystyle {\begin{matrix}a\uparrow \uparrow \uparrow \uparrow b=H_{6}(a,b)=&\underbrace {a_{}\uparrow \uparrow \uparrow (a\uparrow \uparrow \uparrow (\dots \uparrow \uparrow \uparrow a))} \\&b{\mbox{ vegades }}a\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0d76dd27df3f6687819d8617a445e6ed3f941f4)
i així successivament. La regla general és que l'operador amb
fletxes s'expandeix de manera associativa per la dreta en una sèrie d'operadors amb
fletxes. De manera simbòlica,
![{\displaystyle {\begin{matrix}a\ \underbrace {\uparrow _{}\uparrow \!\!\dots \!\!\uparrow } _{n}\ b=\underbrace {a\ \underbrace {\uparrow \!\!\dots \!\!\uparrow } _{n-1}\ (a\ \underbrace {\uparrow _{}\!\!\dots \!\!\uparrow } _{n-1}\ (\dots \ \underbrace {\uparrow _{}\!\!\dots \!\!\uparrow } _{n-1}\ a))} _{b{\text{ vegades }}a}\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54f621c9d3b48e4aba5b195d56fef74da532cd84)
Exemples:
![{\displaystyle 3\uparrow \uparrow \uparrow 2=3\uparrow \uparrow 3=3^{3^{3}}=3^{27}=7,625,597,484,987}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0c197272a8f7e1305f947d2c01c70877fb4b35c)
![{\displaystyle {\begin{matrix}3\uparrow \uparrow \uparrow 3=3\uparrow \uparrow (3\uparrow \uparrow 3)=3\uparrow \uparrow (3\uparrow 3\uparrow 3)=&\underbrace {3_{}\uparrow 3\uparrow \dots \uparrow 3} \\&3\uparrow 3\uparrow 3{\mbox{ vegades }}3\end{matrix}}{\begin{matrix}=&\underbrace {3_{}\uparrow 3\uparrow \dots \uparrow 3} \\&{\mbox{7,625,597,484,987 vegades 3}}\end{matrix}}{\begin{matrix}=&\underbrace {3^{3^{3^{3^{\cdot ^{\cdot ^{\cdot ^{\cdot ^{3}}}}}}}}} \\&{\mbox{7,625,597,484,987 vegades 3}}\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3e2f0926a53488d1f9c194f9e612b683bba41d8)
Notació
En expressions tals com
, la notació per exponenciació consisteix habitualment a escriure l'exponent
com un superíndex a la base del nombre
. Ara bé, en molts entorns — tals com llenguatges de programació i text simple en correu electrònic — no admeten l'escriptura amb superíndexs. La gent ha adoptat la notació lineal
per a tals entorns; on la fletxa cap amunt suggereix 'elevar a la potència de'. Si el conjunt de caràcters no conté una fletxa cap amunt, el símbol caret (^) és usat en el seu lloc.
La notació amb superíndex
no permet una fàcil generalització, motiu que explica per què Knuth va decidir treballar, en canvi, amb la notació
.
és una alterntavia més breu per a denotar n fletxes cap amunt. Per exemple,
.
Expressió de la notació de fletxa en termes de potències
Intentar escriure
usant la notació superíndex familiar dona lloc a una torre de potències.
- Per exemple:
![{\displaystyle a\uparrow \uparrow 4=a\uparrow (a\uparrow (a\uparrow a))=a^{a^{a^{a}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54cdd9813b6b6cfa5bd7d024e6ed63e9c705e013)
Si b és una variable (o és massa gran), la torre de potències pot escriure's usant punts suspensius i una nota indicant l'altura de la torre.
![{\displaystyle a\uparrow \uparrow b=\underbrace {a^{a^{.^{.^{.{a}}}}}} _{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/657de5a64d016cd2169ad6846c8a6b2dcbb75509)
Continuant amb aquesta notació,
pot ser reescrit com una pila de tals torres de potències, cadascuna descrivint l'altura de la torre que té just a sobre.
![{\displaystyle a\uparrow \uparrow \uparrow 4=a\uparrow \uparrow (a\uparrow \uparrow (a\uparrow \uparrow a))=\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {a^{a^{.^{.^{.{a}}}}}} _{a}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1e05ce657ac9a28026c070c2e563fb95f44656b)
De nou, si b és una variable o és massa gran, la pila pot escriure's mitjançant punts suspensius i una nota indicant l'altura.
![{\displaystyle a\uparrow \uparrow \uparrow b=\left.\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {\vdots } _{a}}}\right\}b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9eaf431ae1e3ae43dccbf865766fd86f401ebc8)
Encara més,
pot ser escrit usant diverses columnes de tals piles de torres de potències, amb cada columna descrivint el nombre de torres de potències en la pila de la seva esquerra:
![{\displaystyle a\uparrow \uparrow \uparrow \uparrow 4=a\uparrow \uparrow \uparrow (a\uparrow \uparrow \uparrow (a\uparrow \uparrow \uparrow a))=\left.\left.\left.\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {\vdots } _{a}}}\right\}\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {\vdots } _{a}}}\right\}\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {\vdots } _{a}}}\right\}a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1c5d03624b1026b546996ac9adf722c50fa2d00)
I més generalment:
![{\displaystyle a\uparrow \uparrow \uparrow \uparrow b=\underbrace {\left.\left.\left.\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {\vdots } _{a}}}\right\}\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {a^{a^{.^{.^{.{a}}}}}} _{\underbrace {\vdots } _{a}}}\right\}\cdots \right\}a} _{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dbe7a05b2b86adcc384edb1349ea7d6f72bfa1a)
Això pot ser dut a terme de manera indefinida per representar
com una exponenciació iterada d'una exponenciació iterada per qualssevol a, n i b (malgrat que és evident que esdevé ràpidament feixuc).
Usant tetració
La notació de Rudy Rucker
per a la tetració permet simplificar lleugerament els diagrames anteriors, alhora que encara dona una representació geomètrica (que podríem anomenar torres de tetració).
![{\displaystyle a\uparrow \uparrow b={}^{b}a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/561a1efc3143c2442f671d6a6692d20c123581d9)
![{\displaystyle a\uparrow \uparrow \uparrow b=\underbrace {^{^{^{^{^{a}.}.}.}a}a} _{b}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86cd0c41523276344c304fee5463abd5c6d7c942)
![{\displaystyle a\uparrow \uparrow \uparrow \uparrow b=\left.\underbrace {^{^{^{^{^{a}.}.}.}a}a} _{\underbrace {^{^{^{^{^{a}.}.}.}a}a} _{\underbrace {\vdots } _{a}}}\right\}b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7583fbfab215ee44047ad7a6f73adfc2d14bec85)
Finalment, com a exemple, el quart nombre d'Ackermann
pot ser representat com:
![{\displaystyle \underbrace {^{^{^{^{^{4}.}.}.}4}4} _{\underbrace {^{^{^{^{^{4}.}.}.}4}4} _{\underbrace {^{^{^{^{^{4}.}.}.}4}4} _{4}}}=\underbrace {^{^{^{^{^{4}.}.}.}4}4} _{\underbrace {^{^{^{^{^{4}.}.}.}4}4} _{^{^{^{4}4}4}4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9167a441053a1bd1ccb22f731b252972797511fe)
Generalitzacions
Alguns nombres són tan grans que múltiples fletxes de la notació de Knuth esdevenen massa feixugues; aleshores un operador n-fletxa
és útil (i també per a descripcions amb un nombre variable de fletxes), o equivalentment, hiperoperadors.
Alguns nombres són tan grans que fins i tot aquesta notació no és suficient. La notació de fletxes encadenades de Conway pot ser usada en aquest cas: una cadena de tres elements és equivalent a altres notacions, mentre que una cadena amb quatre és encara més potent.
Les funcions que creixen encara més ràpid poden ser categoritzades fent ús d'una anàlisis ordinal anomenat jerarquia de ràpid creixement. La jerarquia de ràpid creixement utilitza iteracions successives de funcions i diagonalització per tal de crear sistemàticament funcions que creixin més ràpidament que una funció base
. Per a la jerarquia de creixement ràpid estàndard, usant
,
ja presenta creixement exponencial,
és comparable al creixement de tetració i està acotada per sobre per una funció que involucra els quatre primers hiperoperadors. Aleshores,
és comparable a la funció d'Ackermann,
ja està més enllà de l'abast de les fletxes indexades, però pot ser emprada per aproximar el nombre de Graham, i
és comparable a cadenes arbitràriament llargues en la notació de fletxes encadenades de Conway.
Aquestes funcions són totes computables. Algunes funcions computables encara més ràpides, com la seqüència de Goodstein i la seqüència TREE requereixen l'ús de grans ordinals, i poden aparèixer en certs contextos combinatòrics i de teoria de demostracions. Existeixen també funcions que creixen ràpidament de manera no computable, com la Busy Beaver, la naturalesa de la qual està fora de l'abast de la notació de fletxes, o fins i tot de cap anàlisi basada en ordinals.
Definició
Sense fer referència a les hiperoperacions, els operadors de fletxa poden ser definits formalment per
![{\displaystyle a\uparrow ^{n}b={\begin{cases}a^{b},&{\text{si }}n=1;\\1,&{\text{si }}n>1{\text{ i }}b=0;\\a\uparrow ^{n-1}(a\uparrow ^{n}(b-1)),&{\text{altrament }}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ca80002944db1cfcf33e30b5286187a342325f0)
per a tots els enters
amb
[nb 1].
Aquesta definició usa exponenciació
com a cas base, i tetració
com a exponenciació repetida. Això és equivalent a la seqüència d'hiperoperacions llevat que omet les tres operacions més bàsiques successió, addició i multiplicació.
Alternativament, hom pot triar la multiplicació
com a cas base, i iterar a partir d'aquest. Aleshores, l'exponenciació esdevé multiplicació repetida. La definició formal seria doncs
![{\displaystyle a\uparrow ^{n}b={\begin{cases}a\times b,&{\text{si }}n=0;\\1,&{\text{si }}n>0{\text{ i }}b=0;\\a\uparrow ^{n-1}(a\uparrow ^{n}(b-1)),&{\text{altrament }}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/294a7287193db74621e22e051bb7579eb69746b8)
per a tots els enters
amb
.
Notem, però, que Knuth no va definir la "fletxa-buida" (
). Hom podria estendre la notació a índexs negatius (n ≥ -2) de tal manera que estigués d'acord amb tota la seqüència d'hiperoperacions, llevat per al desplaçament en la indexació:
![{\displaystyle H_{n}(a,b)=a[n]b=a\uparrow ^{n-2}b{\text{ per a }}n\geq 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c2354985f3f3381788cd5ed9a8348973d01e340)
L'operació de fletxa és una operació associativa per la dreta, això és,
s'entén que correspon a
, en lloc de
. Si l'ambigüitat no és un problema, els parèntesis sovint no s'escriuen.
Taula de valors
Avaluant 0↑n b
Avaluar
resulta en
- 0, quan n = 0 [nb 2]
- 1, quan n = 1 i b = 0 [nb 1][nb 3]
- 0, quan n = 1 i b > 0 [nb 1][nb 3]
- 1, quan n > 1 i b és parell (inclòs 0)
- 0, quan n > 1 i b és senar
Avaluant 2↑n b
Avaluar
pot ser expressat en termes d'una taula infinita. Si col·loquem els nombres
a la fila superior i omplim la columna de l'esquerra amb els valors 2. Per determinar un nombre a la taula, agafem el nombre immediatament a l'esquerra i, a continuació, cerquem el nombre requerit a la fila anterior, a la posició donada pel número que acabem de prendre.
Valors de
=
=
= 2 → b → n b ⁿ | 1 | 2 | 3 | 4 | 5 | 6 | fórmula |
1 | 2 | 4 | 8 | 16 | 32 | 64 | |
2 | 2 | 4 | 16 | 65536 | ![{\displaystyle 2^{65{,}536}\approx 2.0\times 10^{19{,}728}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f90c53ea1a874db9a44a89f6bcf24d01f2400bc9) | ![{\displaystyle 2^{2^{65{,}536}}\approx 10^{6.0\times 10^{19{,}727}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92ecdc8b1b8c100e09e006783e594e4c11f883f0) | |
3 | 2 | 4 | 65536 | ![{\displaystyle {\begin{matrix}\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\65{,}536{\mbox{ vegades }}2\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b28129fafdf44cef2131e7b3b2082dc19050f1b) | ![{\displaystyle {\begin{matrix}\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\65{,}536{\mbox{ vegades }}2\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9afcf61717f490295a80355069ae53827384a6e3) | ![{\displaystyle {\begin{matrix}\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\65{,}536{\mbox{ vegades }}2\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d5e0b4803d9e2a77a84a7c09bac97dd34740e38) | |
4 | 2 | 4 | ![{\displaystyle {\begin{matrix}\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\65{,}536{\mbox{ vegades }}2\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b28129fafdf44cef2131e7b3b2082dc19050f1b) | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{2}.}.}.}2}2} \\\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\65{,}536{\mbox{ vegades }}2\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23d3f988bf5b8ccefc90c926b0378f3c1a1214e0) | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{2}.}.}.}2}2} \\\underbrace {^{^{^{^{^{2}.}.}.}2}2} \\\underbrace {2_{}^{2^{{}^{.\,^{.\,^{.\,^{2}}}}}}} \\65{,}536{\mbox{ vegades }}2\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49986acf26abb69895786110ef90e32f3c0818b4) | | |
La taula és la mateixa que la de la funció d'Ackermann, malgrat que està desplaçada en
i
, i cal afegir 3 a tots els valors.
Avaluant 3↑n b
Col·loquem els nombres
a la fila superior, i omplim la columna esquerra amb els valors 3. Per determinar un nombre de la taula, prenem el nombre immediatament a l'esquerra, llavors mirem el nombre requerit a la fila anterior, a la posició donada pel número que acabem de prendre.
Valors de
=
=
= 3 → b → n b ⁿ | 1 | 2 | 3 | 4 | 5 | fórmula |
1 | 3 | 9 | 27 | 81 | 243 | |
2 | 3 | 27 | 7,625,597,484,987 | ![{\displaystyle 3^{7{,}625{,}597{,}484{,}987}\approx 1.3\times 10^{3{,}638{,}334{,}640{,}024}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad7b735b847133f914762fd81828e062c2d83680) | ![{\displaystyle 3^{3^{7{,}625{,}597{,}484{,}987}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b0436819e7b237d28b92b512afa6e7c86bb6739) | |
3 | 3 | 7,625,597,484,987 | ![{\displaystyle {\begin{matrix}\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\7{,}625{,}597{,}484{,}987{\mbox{ vegades }}3\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62e92587585f97e4481f59bd5f42816eaa68c656) | ![{\displaystyle {\begin{matrix}\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\7{,}625{,}597{,}484{,}987{\mbox{ vegades }}3\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c9d7368fe323f12d85253f71065a811e093713d) | ![{\displaystyle {\begin{matrix}\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\7{,}625{,}597{,}484{,}987{\mbox{ vegades }}3\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcaaf80ae6146e5150eafc5b33131371ed3c85ed) | |
4 | 3 | ![{\displaystyle {\begin{matrix}\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\7{,}625{,}597{,}484{,}987{\mbox{ vegades }}3\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62e92587585f97e4481f59bd5f42816eaa68c656) | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{3}.}.}.}3}3} \\\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\7{,}625{,}597{,}484{,}987{\mbox{ vegades }}3\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1657493ddf3b885cc19fa35396f798b952123b46) | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{3}.}.}.}3}3} \\\underbrace {^{^{^{^{^{3}.}.}.}3}3} \\\underbrace {3_{}^{3^{{}^{.\,^{.\,^{.\,^{3}}}}}}} \\7{,}625{,}597{,}484{,}987{\mbox{ vegades }}3\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e3c2d2b5f4b6b1bdbdb6535f78d1ba882f9d81b) | | |
Avaluant 4↑n b
Col·loquem els nombres
a la fila superior, i omplim la columna esquerra amb els valors 4. Per determinar un nombre de la taula, prenem el nombre immediatament a l'esquerra, llavors mirem el nombre requerit a la fila anterior, a la posició donada pel número que acabem de prendre.
Valors de
=
=
= 4 → b → n b ⁿ | 1 | 2 | 3 | 4 | 5 | fórmula |
1 | 4 | 16 | 64 | 256 | 1024 | |
2 | 4 | 256 | ![{\displaystyle 4^{256}\approx 1.34\times 10^{154}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84ea3bd4ffd638d23e11e3ccefef5ccc3d6b5b0d) | ![{\displaystyle 4^{4^{256}}\approx 10^{8.0\times 10^{153}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77a2e865851ce608e65bfe19693ac4f13ac4abad) | ![{\displaystyle 4^{4^{4^{256}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11eb34bb5ff309ec015e931c9e6fab8c901c6b3a) | |
3 | 4 | ![{\displaystyle 4^{4^{256}}\approx 10^{8.0\times 10^{153}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77a2e865851ce608e65bfe19693ac4f13ac4abad) | ![{\displaystyle {\begin{matrix}\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\4^{4^{256}}{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c364554f5d7edb5a7a7958a8ca6585a04745443) | ![{\displaystyle {\begin{matrix}\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\4^{4^{256}}{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eecf111cf48c36a365e248eea1ef91953396b665) | ![{\displaystyle {\begin{matrix}\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\4^{4^{256}}{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f16f0d34d55cd2e798e6eb402518fd38a1fe5ced) | |
4 | 4 | ![{\displaystyle {\begin{matrix}\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\4^{4^{256}}{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eecf111cf48c36a365e248eea1ef91953396b665) | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{4}.}.}.}4}4} \\\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\4^{4^{256}}{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08fc028559f255d035c171f51383361a1f9cadea) | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{4}.}.}.}4}4} \\\underbrace {^{^{^{^{^{4}.}.}.}4}4} \\\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\\underbrace {4_{}^{4^{{}^{.\,^{.\,^{.\,^{4}}}}}}} \\4^{4^{256}}{\mbox{ vegades }}4\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2782d24779e5c5a6e40e7eb7d71019e11ac9f7c) | | |
Avaluant 10↑n b
Col·loquem els nombres
a la fila superior, i omplim la columna esquerra amb els valors 10. Per determinar un nombre de la taula, prenem el nombre immediatament a l'esquerra, llavors mirem el nombre requerit a la fila anterior, a la posició donada pel número que acabem de prendre.
Valors de
=
=
= 10 → b → n b ⁿ | 1 | 2 | 3 | 4 | 5 | fórmula |
1 | 10 | 100 | 1,000 | 10,000 | 100,000 | |
2 | 10 | 10,000,000,000 | ![{\displaystyle 10^{10,000,000,000}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e67ec008015d2f00095e50673d22086c221e9bfc) | ![{\displaystyle 10^{10^{10,000,000,000}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e29b4d5c284015544180c03d596a7ffb477e5ebe) | ![{\displaystyle 10^{10^{10^{10,000,000,000}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/968cb43fe875add704cd66028fbea5136d5722cd) | |
3 | 10 | ![{\displaystyle {\begin{matrix}\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\10{\mbox{ vegades }}10\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c2c684a3ae550c1494865a1fa8b0863c1dc31a3) | ![{\displaystyle {\begin{matrix}\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\10{\mbox{ vegades }}10\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cabc6674e7816df619a93f3b79329760951e2a71) | ![{\displaystyle {\begin{matrix}\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\10{\mbox{ vegades }}10\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ae906f9b8b82eef29f7c5bb506d1e59174bfe8b) | ![{\displaystyle {\begin{matrix}\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\\underbrace {10_{}^{10^{{}^{.\,^{.\,^{.\,^{10}}}}}}} \\10{\mbox{ vegades }}10\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2ad470da48bf14d3b68d63396503eb656eac3e7) | |
4 | 10 | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{10}.}.}.}10}10} \\10{\mbox{ vegades }}10\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ce8afe839ca467f17df2aeac14722f5c71fe27c) | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{10}.}.}.}10}10} \\\underbrace {^{^{^{^{^{10}.}.}.}10}10} \\10{\mbox{ vegades }}10\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b26918880fb29a7db388f5e5c6a6d67096f00d32) | ![{\displaystyle {\begin{matrix}\underbrace {^{^{^{^{^{10}.}.}.}10}10} \\\underbrace {^{^{^{^{^{10}.}.}.}10}10} \\\underbrace {^{^{^{^{^{10}.}.}.}10}10} \\10{\mbox{ vegades }}10\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f493deb10593743a6bd4b640a8113d38f02442be) | | |
Per a 2 ≤ b ≤ 9 l'ordre numèric dels nombres
és l'ordre lexicogràfic amb n el nombre més significant, així que per als números d'aquestes 8 columnes l'ordre numèric és senzillament línia per línia. El mateix aplica per als números en les 97 columnes amb 3 ≤ b ≤ 99, i si comencem per n = 1 inclús per 3 ≤ b ≤ 9,999,999,999.
Vegeu també
Notes
- ↑ 1,0 1,1 1,2 Per a més detalls, vegeu Potències de zero.
- ↑ Tinguem present que Knuth no va definir l'operador
, i s'ha pres l'extensió de la definició per a concordar amb la seqüència d'hiperoperadors. - ↑ 3,0 3,1 Per a més detalls, vegeu Zero a la potència de zero.
Referències
- ↑ Knuth, Donald E. «Mathematics and Computer Science: Coping with Finiteness». Science, 194, 4271, 1976, pàg. 1235–1242. Bibcode: 1976Sci...194.1235K. DOI: 10.1126/science.194.4271.1235. PMID: 17797067.
- ↑ R. L. Goodstein «Transfinite Ordinals in Recursive Number Theory». Journal of Symbolic Logic, 12, 4, Dec 1947, pàg. 123–129. DOI: 10.2307/2266486. JSTOR: 2266486.
Enllaços externs
- Weisstein, Eric W., «Notació de fletxa de Knuth» a MathWorld (en anglès).
- Robert Munafo, Grans nombres: hiperoperadors superiors
|
---|
Primari | |
---|
Inversa per a l'argument esquerre | |
---|
Inversa per a l'argument dret | |
---|
Vegeu també | |
---|