La fonction d'Ackermann croît extrêmement rapidement; A(4,2) a déjà 19829 chiffres, et représente bien plus que le nombre d'atomes estimé dans l'univers. Cette extrême croissance peut être exploitée ...

Le théorème d'inversion locale précise les conditions d'existence locale d'une application réciproque pour une fonction f. C'est une généralisation d'un théorème simple sur les fonctions de la ...