Le nombre de Loader : un défi de programmation sur une machine théorique à mémoire infinie

Le nombre de Loader est la sortie de loader.c, un programme C de Ralph Loader qui a remporté le concours Bignum Bakeoff. L’objectif était d’écrire un programme C (de moins de 512 caractères) générant la plus grande sortie possible sur une machine théorique à mémoire infinie. Le calcul repose sur le Calcul des Constructions de Huet-Coquand, ce qui donne un nombre incroyablement grand, bien supérieur à d’autres grands nombres connus, comme la sortie de Marxen.c. Bien qu’il n’existe pas de preuve formelle, les estimations le placent au-delà de certaines valeurs dans les hiérarchies à croissance rapide. Le calcul du nombre de Loader est coûteux en calcul et son ampleur pure représente une exploration fascinante des limites computationnelles en informatique.