Liste de grands nombres

En mathématiques, grand nombre n'a pas de sens bien défini^[1] : d'une part, l'"ensemble des grands nombres entiers" admettrait un plus petit élément, créant un paradoxe analogue à celui du paradoxe des nombres intéressants ; d'autre part, tout "grand nombre" N est ridiculement petit devant, par exemple, 2^N. Ces deux remarques banales ont cependant pu être exploitées pour donner naissance, la première, à celle d'entier non standard, la seconde, à la notion d'entier inaccessible^[2].

Quelques grands nombres finis (classés par ordre de grandeur)

• $6,022 \times 10^{23}$ est une approximation du nombre d'Avogadro (nombre d'entités dans une mole)
• 10¹⁰⁰ est le gogol
• 10¹²⁰ est le nombre de Shannon, une approximation, de sa part, du nombre de parties possibles au jeu d'échecs
• 10¹⁴⁰ est l'Asamkhyeya
• $10^{({10}^{100})}$ est le gogolplex
• ${10}^{\,\! 4 \times 2^{10000}}$ est le myryllion
• La fonction d'Ackermann est connue pour générer de très grands nombres à partir du moment où les arguments sont assez grands; ainsi, A(4,4) est déjà immensément plus grand que tous les nombres précédents
• Le nombre de Graham G (ou g₆₄) ne peut plus être noté à l'aide de la fonction d'Ackermann ; il vérifie $3\rightarrow 3\rightarrow 64\rightarrow 2 < G < 3\rightarrow 3\rightarrow 65\rightarrow 2$ (voir notation des flèches chaînées de Conway)
  • Il est facile de créer des nombres encore plus grands ; un exemple est A(g₆₄,g₆₄) (écrit par xkcd « simplement pour horrifier les mathématiciens »^[3])
  • Cependant, ce dernier nombre est en fait lui aussi plus petit que $3\rightarrow 3\rightarrow 65\rightarrow 2$, lui-même immensément plus petit que $3\rightarrow 3\rightarrow 3\rightarrow 3$.

D'autres exemples sont donnés dans l'article Ordre de grandeur (nombres) ; l'article Hiérarchie de croissance rapide donne des moyens de construction de nombres (finis) dépassant toutes les notations précédemment mentionnées.

Nombres infinis

Article détaillé : Nombre transfini.

En théorie des ensembles on définit des nombres infinis, appelés nombres ordinaux, qui prolongent en l'incluant la suite des entiers naturels. L'idée est qu'un ordinal est l'ensemble de ses prédécesseurs, ainsi le plus petit ordinal infini est l'ensemble des ordinaux finis c'est-à-dire l'ensemble N des entiers naturels. Le processus de construction continue indéfiniment et par exemple le deuxième ordinal infini comporte tous les entiers plus N. Parmi ces nombres ordinaux, qui cernent la notion de bon ordre, on définit des nombres dits cardinaux, qui eux, cernent la notion intuitive de nombre d'éléments. Parmi ces nombres cardinaux, certains particulièrement grands sont justement appelés grands cardinaux et cardinaux inaccessibles.

Notes et références

1. ↑ Alain Bouvier, Michel George, François Le Lionnais, Dictionnaire des mathématiques, 7^e édition, Quadrige/Puf, 2005, p.386.
2. ↑ Émile Borel, Les nombres inaccessibles : Borel y remarque qu'on ne peut décrire dans l'univers physique (avec un nombre limité de symboles) qu'un nombre fini d'entiers ; les autres (en nombre infini) resteront donc à jamais individuellement indescriptibles.
3. ↑ http://xkcd.com/207/

Voir aussi

• Hiérarchie de croissance rapide
• Nom des grands nombres
• Notation des flèches chaînées de Conway
• Notation des puissances itérées de Knuth
• Ordre de grandeur (nombres)
• Paradoxe des nombres intéressants