Loaders Zahl: Eine Programmierherausforderung auf einer theoretischen Maschine mit unendlichem Speicher

Loaders Zahl ist die Ausgabe von loader.c, einem C-Programm von Ralph Loader, das den Bignum Bakeoff-Wettbewerb gewann. Das Ziel war es, ein C-Programm (mit weniger als 512 Zeichen) zu schreiben, das die größtmögliche Ausgabe auf einer theoretischen Maschine mit unendlichem Speicher erzeugt. Die Berechnung basiert auf dem Huet-Coquand-Konstruktionskalkül und ergibt eine unvorstellbar große Zahl, die weit über andere bekannte große Zahlen wie die Ausgabe von Marxen.c hinausgeht. Obwohl es keinen formalen Beweis gibt, schätzen die Berechnungen, dass sie über bestimmten Werten in schnell wachsenden Hierarchien liegt. Die Berechnung von Loaders Zahl ist rechenintensiv, und ihre schiere Größe stellt eine faszinierende Erkundung der rechnerischen Grenzen in der Informatik dar.