Número de Loader: Un Desafío de Programación en una Máquina Teórica con Memoria Infinita

El Número de Loader es el resultado de loader.c, un programa C de Ralph Loader que ganó el concurso Bignum Bakeoff. El objetivo era escribir un programa C (de menos de 512 caracteres) que generara la salida más grande posible en una máquina teórica con memoria infinita. El cálculo se basa en el Cálculo de Construcciones de Huet-Coquand, resultando en un número inimaginablemente grande, mucho mayor que otros números grandes conocidos, como la salida de Marxen.c. Aunque no hay una prueba formal, las estimaciones lo sitúan más allá de ciertos valores en jerarquías de crecimiento rápido. Calcular el Número de Loader es computacionalmente intensivo y su pura escala representa una exploración fascinante de los límites computacionales en la informática.