ローダー数

ウィキペディアから、無料の百科事典

ローダー数(ローダーすう、英: Loader's number)は、グラハム数を超える巨大数の一つ。

歴史

ローダー数は、ラルフ・ローダー(Ralph Loader)[1]が1999年に発表したC言語のプログラム「loader.c」によって生成された非常に大きな数であり、このプログラムは計算理論の分野で知られる「CoC」を対角化することで、という数を生成する。は、CoCの表記で最初の個の表現で表現できるすべてのビット列の合計を指し、すべてを2進数に変換したものです。デビッド・ジョン・モーズ(David John Moews)によれば、はより大きいとされている。

その大きさ

ローダー数は非常に大きな数であり、その大きさを直感的に理解するのは困難である。具体的な数値を示すことは困難だが、ローダー数はグラハム数を超える巨大数の一つとして知られている。

このような巨大数は、数学や計算理論の分野で、数の大きさや増加速度を示す指標として研究されている。ローダー数のような数は、計算可能性や数理論理学の研究において、理論的な限界を探るための重要な役割を果たしている。グラハム数やトリトリような巨大数の表記方法としては、拡張チェーン系の表記、配列表記、BEAF表記、ハイパーE表記、超階乗配列表記などが挙げられる。

関連項目

脚注

  1. ↑ “Ralph's Home Page”. web.archive.org (2018年10月25日). 2025年2月2日閲覧。

外部リンク