ローダー数

ローダー数 (Loader's number) は、Ralph Loader が巨大数ベイクオフ大会で作成して優勝したC言語プログラム loader.c によって出力される数字である。巨大数ベイクオフ大会の目的は、512文字以内のC言語プログラムで、最大の数を出力することである。 loader.c は、Thierry Coquand の calculus of constructions を対角化する。その出力は親しみを込めて ローダー数 (Loader's number) と名付けられ、D5(99) で定義される。ここで、 D(k) は calculus of constructions の表現で最初のk個の表現で表記出来るすべてのビット列の合計である。ここで、すべてを2進数に変換することとする。 David Moews は D(99) は 2↑↑30419より大きいとしており、さらに

[sea_side]

512字以内のC言語プログラムで、最大の数を出力するコンテストの優勝作品。今あるコンピューターじゃ出力できないくらい大きな数らしいが、そもそもどれくらい大きい数なのかという見積もりすら出来てないらしい。