無量大数の上には何がある？不可説不可説転から最新の巨大数まで徹底解剖

無量大数の上には何がある？不可説不可説転から最新の巨大数まで徹底解剖とは一体何なのか? 詳しい意味を丁寧に紐解いて紹介します。

計算可能な関数による巨大数競争が限界に近づく中、巨大数研究者たちは「論理学」と「集合論」の枠組みを用いた新たなアプローチへと舵を切りました。その頂点の一つとして知られるのが「ラヨ数（Rayo's number）」です。

2007年にMIT（マサチューセッツ工科大学）で開催された「巨大数コンテスト」において、数学者アグスティン・ラヨが定義したこの数は、「一階述語論理の言語において、10の100乗（1グーゴル）個以内の記号で記述できるいかなる有限の正の整数よりも大きい最小の整数」と定められています。

計算アルゴリズムの成長速度に依存するのではなく、「言語体系そのものの表現力の極限」を指定することで生み出されたラヨ数は、それまでに考案された計算可能な巨大数の概念を論理的に完全に包括・凌駕する存在となりました。現在知られている数学的な定義の中でも、最も大きい数の筆頭候補として君臨しています。