Número de Loader: Um Desafio de Programação em uma Máquina Teórica com Memória Infinita

O Número de Loader é a saída de loader.c, um programa C de Ralph Loader que venceu a competição Bignum Bakeoff. O objetivo era escrever um programa C (com menos de 512 caracteres) que gerasse a maior saída possível em uma máquina teórica com memória infinita. O cálculo se baseia no Cálculo de Construções de Huet-Coquand, resultando em um número inimaginavelmente grande, muito maior do que outros números grandes conhecidos, como a saída de Marxen.c. Embora não haja prova formal, as estimativas o colocam além de certos valores em hierarquias de crescimento rápido. Calcular o Número de Loader é computacionalmente intensivo e sua escala pura representa uma exploração fascinante dos limites computacionais na ciência da computação.